Sciweavers

570 search results - page 10 / 114
» concurrency 2006
Sort
View
LOGCOM
2002
52views more  LOGCOM 2002»
14 years 9 months ago
Verifying Concurrent Systems with Symbolic Execution
Michael Balser, Christoph Duelli, Wolfgang Reif, G...
ORL
2010
59views more  ORL 2010»
14 years 7 months ago
Minimizing the sum of weighted completion times in a concurrent open shop
Monaldo Mastrolilli, Maurice Queyranne, Andreas S....
STOC
2006
ACM
166views Algorithms» more  STOC 2006»
15 years 9 months ago
The Santa Claus problem
The Santa Claus problem is an interesting exercise in concurrent programming which has been used in a comparison of the concurrency mechanisms of Ada and Java. We present a simple...
Nikhil Bansal, Maxim Sviridenko
AOSD
2006
ACM
15 years 3 months ago
Reusable aspect-oriented implementations of concurrency patterns and mechanisms
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
Carlos A. Cunha, João Luís Sobral, M...