2243 search results - page 288 / 449 » Contracts for Mobile Processes |
285
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
Many scientific applications generate massive volumes of data through observations or computer simulations, bringing up the need for effective indexing methods for efficient stora...
167
click to vote
STOC
2007
ACM
16 years 6 months ago
2007
ACM
In the reordering buffer problem, we are given an input sequence of requests for service each of which corresponds to a point in a metric space. The cost of serving the requests h...
240
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Suppose a long-running analytical query is executing on a database server and has been allocated a large amount of physical memory. A high-priority task comes in and we need to ru...
198
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
181
click to vote
IROS
2008
IEEE
16 years 28 days ago
2008
IEEE
— We present a modular robot design inspired by the creation of complex structures and functions in biology via deformation. Our design is based on the Tensegrity model of cellul...