2470 search results - page 130 / 494 » Liveness-Preserving Simulation Relations |
118
click to vote
MOBICOM
1997
ACM
15 years 4 months ago
1997
ACM
With the increasing popularity of portable wireless computers, mechanisms to efficiently transmit information to such clients are of significant interest. The environmentundercons...
102
Voted
PPOPP
1993
ACM
15 years 4 months ago
1993
ACM
This paper discusses our experience with fine-grain synchronization for a variant of the preconditioned conjugate gradient method. This algorithm represents a large class of algo...
113
click to vote
ANTSW
2004
Springer
15 years 4 months ago
2004
Springer
This paper addresses the design of control policies for groups of up to 16 simple autonomous mobile robots (called s-bots) for the cooperative transport of heavy objects of differe...
88
Voted
APCSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
The RAMpage hierarchy moves main memory up a level to replace the lowest-level cache by an equivalent-sized SRAM main memory. This paper is a first look at the value of RAMpage to ...
DALT
2006
Springer
15 years 4 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...