1642 search results - page 24 / 329 » SPINning Parallel Systems Software |
PLDI
2012
ACM
11 years 10 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...
ATAL
2003
Springer
14 years 28 days 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...
PPOPP
1997
ACM
13 years 12 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...
LCPC
2007
Springer
14 years 1 months ago
2007
Springer
SPIN
2009
Springer
14 years 2 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 ...