2302 search results - page 21 / 461 » The Evolution of Concurrent Programs |
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
147
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
CONCURRENCY
2000
14 years 11 months ago
2000
OpenMP is emerging as a quasi-standard for shared memory parallel programming on small SMP-systems. To serve as a common programming interface in shared memory parallel programmin...
JUCS
2006
14 years 11 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
115
click to vote
LCPC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...