5456 search results - page 773 / 1092 » General Equilibrium Theory |
164
click to vote
SPAA
2003
ACM
15 years 12 months ago
2003
ACM
We develop an algorithm for parallel disk sorting, whose I/O cost approaches the lower bound and that guarantees almost perfect overlap between I/O and computation. Previous algor...
173
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
181
click to vote
VRST
2003
ACM
15 years 12 months ago
2003
ACM
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...
220
click to vote
WSNA
2003
ACM
15 years 12 months ago
2003
ACM
We consider the problem of synchronization of all clocks in a sensor network, in the regime of asymptotically high node densities. We formulate this problem as one in which all cl...
205
click to vote
AGENTCL
2003
Springer
15 years 12 months ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...