3307 search results - page 117 / 662 » The meaning of concurrent programs |
114
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
95
Voted
SIGADA
2005
Springer
15 years 6 months ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
104
Voted
ACSD
2008
IEEE
15 years 7 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
87
Voted
WDAG
2005
Springer
15 years 6 months ago
2005
Springer
Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the...
93
Voted
IANDC
2008
15 years 25 days ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...