4438 search results - page 268 / 888 » The Case for Collaborative Programming |
244
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race co...
155
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
163
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
186
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents the XJava compiler for parallel programs. It exploits parallelism based on an object-oriented stream programming paradigm. XJava extends Java with new...
177
click to vote
GI
2005
Springer
16 years 5 days ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...