2302 search results - page 108 / 461 » The Evolution of Concurrent Programs |
161
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
130
click to vote
EUROGP
2007
Springer
16 years 11 days ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
127
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
165
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...
167
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
The design and implementation of the initial release of class evolution technology for PJama persistent language is described. This technology supports modi cations to individual ...