1252 search results - page 174 / 251 » Foundations of Similarity and Utility |
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
Cooperative checkpointing, in which the system dynamically skips checkpoints requested by applications at runtime, can exploit system-level information to improve performance and ...
NDSS
2006
IEEE
14 years 4 months ago
2006
IEEE
Volunteer distributed computations utilize spare processor cycles of personal computers that are connected to the Internet. The resulting platforms provide computational power pre...
SAINT
2006
IEEE
14 years 4 months ago
2006
IEEE
We present a novel approach to conserve power in networked mobile devices. Our approach exploits communication within a pervasive smart space as an opportunity to save power as op...
SMI
2006
IEEE
14 years 4 months ago
2006
IEEE
We develop a new surface matching framework to handle surface comparisons based on a novel mathematical analysis of curves on surfaces, and propose a unique signature for any clos...
ACL2
2006
ACM
14 years 4 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...