6274 search results - page 673 / 1255 » Proofs, Programs, Processes |
169
click to vote
CSMR
2003
IEEE
16 years 14 days ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...
192
click to vote
SAC
2003
ACM
16 years 12 days ago
2003
ACM
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
234
click to vote
ITCC
2002
IEEE
16 years 2 days ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...
187
click to vote
JTRES
2009
ACM
15 years 12 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
174
click to vote
PPOPP
2009
ACM
15 years 11 months ago
2009
ACM
Boosted transactions offer an attractive method that enables programmers to create larger transactions that scale well and offer deadlock-free guarantees. However, as boosted tran...