2302 search results - page 97 / 461 » The Evolution of Concurrent Programs |
156
click to vote
SNPD
2008
15 years 7 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
136
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Pipeline, Delta, and Black Hole are three simple patterns used in concurrent software design. We recently presented these and other patterns for parallelism at a nine-hour worksho...
176
click to vote
GECCO
2009
Springer
16 years 22 days 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...
192
click to vote
IEEEPACT
2009
IEEE
15 years 3 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
145
click to vote
HOPL
2007
15 years 10 months ago
2007
We report on the birth and evolution of Lua and discuss how it moved from a simple configuration language to a versatile, widely used language that supports extensible semantics, ...