1491 search results - page 130 / 299 » Resource-Passing Concurrent Programming |
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
126
click to vote
TACAS
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
107
click to vote
ICFP
2009
ACM
15 years 7 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
101
Voted
WOTUG
2007
15 years 1 months ago
2007
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...
104
Voted
TASE
2008
IEEE
15 years 15 days ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...