1628 search results - page 189 / 326 » Compiler Construction Using Scheme |
161
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
154
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
129
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
144
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
110
Voted
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...