Sciweavers

721 search results - page 97 / 145
» Stability for Effective Algebras
Sort
View
ENTCS
2007
113views more  ENTCS 2007»
14 years 11 months ago
Modular Checkpointing for Atomicity
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...
Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
JFP
2010
107views more  JFP 2010»
14 years 10 months ago
Lightweight checkpointing for concurrent ML
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...
Lukasz Ziarek, Suresh Jagannathan
TPDS
2010
94views more  TPDS 2010»
14 years 10 months ago
MIMO Power Control for High-Density Servers in an Enclosure
—Power control is becoming a key challenge for effectively operating a modern data center. In addition to reducing operating costs, precisely controlling power consumption is an ...
Xiaorui Wang, Ming Chen, Xing Fu
CVPR
2007
IEEE
16 years 1 months ago
Keypoint Descriptors for Matching Across Multiple Image Modalities and Non-linear Intensity Variations
In this paper, we investigate the effect of substantial inter-image intensity changes and changes in modality on the performance of keypoint detection, description, and matching a...
Avi Kelman, Michal Sofka, Charles V. Stewart
CVPR
2007
IEEE
16 years 1 months ago
Robust Metric Reconstruction from Challenging Video Sequences
Although camera self-calibration and metric reconstruction have been extensively studied during the past decades, automatic metric reconstruction from long video sequences with va...
Guofeng Zhang, Xueying Qin, Wei Hua, Tien-Tsin Won...