1491 search results - page 138 / 299 » Resource-Passing Concurrent Programming |
115
Voted
PPOPP
2005
ACM
15 years 8 months ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
126
Voted
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
125
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
125
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
145
Voted
ACSE
2000
ACM
15 years 7 months ago
2000
ACM
Object-oriented programming and concurrency are increasingly popular in computing education. Both are difficult topics in themselves, and the combination of both introduces subtle...