2300 search results - page 31 / 460 » Maximally Concurrent Programs |
161
Voted
DAGSTUHL
2001
15 years 3 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
130
click to vote
POPL
1990
ACM
15 years 5 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
126
click to vote
CAV
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
120
click to vote
CLUSTER
2000
IEEE
15 years 6 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
106
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...