1642 search results - page 24 / 329 » SPINning Parallel Systems Software |
176
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
128
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
144
Voted
PPOPP
1997
ACM
15 years 9 months ago
1997
ACM
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming sys...
139
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...