362 search results - page 51 / 73 » Mechanizing and Improving Dependency Pairs |
EDCC
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents the design and implementation of the Distributed Autonomous Replication Management (DARM) framework built on top of the Spread group communication system. The ...
ACMMSP
2006
ACM
14 years 14 days ago
2006
ACM
We introduce a method for providing lightweight daemons, called simplifiers, that attach themselves to program data. If a data item has a simplifier, the simplifier may be run aut...
ASPLOS
2008
ACM
13 years 10 months ago
2008
ACM
Recent studies of irregular applications such as finite-element mesh generators and data-clustering codes have shown that these applications have a generalized data parallelism ar...
MANSCI
2006
13 years 8 months ago
2006
This paper studies a queuing model in which a buyer sources a good or service from an single supplier chosen from a pool of suppliers. The buyer seeks to minimize the sum of her p...
NOMS
2008
IEEE
14 years 3 months ago
2008
IEEE
— In mobile wireless ad hoc networks (MANETs), layering is frequently broken to cope with changes on the medium. Layering is also violated in order to implement autonomic behavio...