741 search results - page 78 / 149 » Programming with Live Distributed Objects |
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
Execution-driven simulators are often used for power/energy and performance evaluation. Simulators can provide semantic details but they provide insufficient speed and accuracy f...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Instance based locality optimization 6 is a semi automatic program restructuring method that reduces the number of cache misses. The method imitates the human approach of consideri...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
ICDCSW
2000
IEEE
15 years 2 months ago
2000
IEEE
Support of end-to-end Quality-of-Service (QoS) and ate high-level programming abstractions are two crucial factors for the development of future telecommunication services and dis...
PAMI
2010
14 years 8 months ago
2010
In this paper, we address the tasks of detecting, segmenting, parsing, and matching deformable objects. We use a novel probabilistic object model that we call a hierarchical defor...