3971 search results - page 765 / 795 » On the Use of Properties in Java Applications |
136
click to vote
JFP
2010
15 years 2 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
161
click to vote
LOGCOM
2010
15 years 2 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
141
click to vote
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Deformable image registration in the presence of considerable contrast differences and large-scale size and shape changes represents a significant challenge for image r...
183
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov C...
163
click to vote
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...