1190 search results - page 82 / 238 » The Continuing Quest for Abstraction |
HPDC
2005
IEEE
2005
IEEE
Increasing application performance in virtual environments through run-time inference and adaptation
14 years 2 months ago
Virtual machine distributed computing greatly simplifies the use of widespread computing resources by lowering the abstraction, benefiting both resource providers and users. Tow...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— Wireless access networks scale by replicating base stations geographically and then allowing mobile clients to seamlessly “hand off” from one station to the next as...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This article presents special quadrilateral quadratic refinement elements, which provide geometry and field continuity across Tjunctions where two elements are connecte...