2300 search results - page 38 / 460 » Maximally Concurrent Programs |
103
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
92
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
OSDI
2008
ACM
16 years 27 days ago
2008
ACM
Concurrency is pervasive in large systems. Unexpected interference among threads often results in "Heisenbugs" that are extremely difficult to reproduce and eliminate. W...
91
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
100
click to vote
SIGSOFT
1994
ACM
15 years 4 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...