741 search results - page 78 / 149 » Programming with Live Distributed Objects |
IPPS
2005
IEEE
14 years 1 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
14 years 2 days 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
14 years 21 days 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
14 years 5 days 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
13 years 6 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...