2642 search results - page 128 / 529 » Merge-by-Wire: Algorithms and System Support |
152
click to vote
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
Energy constrained complex real-time systems are becoming increasingly important in defense, space, and consumer applications. In this paper, we present a sensible heuristic to ad...
156
click to vote
DOLAP
2010
ACM
15 years 1 months ago
2010
ACM
The integration of OLAP with web-search technologies is a promising research topic. Recommender systems are popular web-search mechanisms, because they can address information ove...
181
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...
138
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
157
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...