2302 search results - page 15 / 461 » The Evolution of Concurrent Programs |
74
Voted
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
72
Voted
CSMR
1998
IEEE
15 years 1 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
104
click to vote
CL
2007
Springer
14 years 9 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
PLDI
2009
ACM
15 years 4 months ago
2009
ACM