2302 search results - page 271 / 461 » The Evolution of Concurrent Programs |
185
click to vote
SAS
2012
Springer
13 years 9 months ago
2012
Springer
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
168
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
153
click to vote
SPAA
1997
ACM
15 years 10 months ago
1997
ACM
A parallel multithreaded program that is ostensibly deterministic may nevertheless behave nondeterministically due to bugs in the code. These bugs are called determinacy races, an...
310
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
185
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative fl...