Sciweavers

HOTDEP
2008
107views Hardware» more  HOTDEP 2008»
13 years 11 months ago
Reverse-Engineering Drivers for Safety and Portability
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
Vitaly Chipounov, George Candea
HOTDEP
2008
157views Hardware» more  HOTDEP 2008»
13 years 11 months ago
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
Database systems are a key component behind many of today's computer systems. As a consequence, it is crucial that database systems provide correct and continuous service des...
Nuno M. Preguiça, Rodrigo Rodrigues, Crist&...
HOTDEP
2008
126views Hardware» more  HOTDEP 2008»
13 years 11 months ago
Toward Quantifying System Manageability
Manageability directly influences a system's reliability, availability, security, and safety, thus being a key ingredient of system dependability. Alas, we do not have today ...
George Candea
HOTDEP
2008
122views Hardware» more  HOTDEP 2008»
13 years 11 months ago
Dependable Self-Hosting Distributed Systems Using Constraints
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Ro...
HOTDEP
2008
94views Hardware» more  HOTDEP 2008»
13 years 11 months ago
Spread-Spectrum Computation
We observe that existing methods for failure-tolerance are inefficient in their use of time, storage and computational resources. We aim to harness the power of idle desktop compu...
Derek Gordon Murray, Steven Hand
DATE
2010
IEEE
147views Hardware» more  DATE 2010»
13 years 11 months ago
Detecting/preventing information leakage on the memory bus due to malicious hardware
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
Abhishek Das, Gokhan Memik, Joseph Zambreno, Alok ...
DATE
2010
IEEE
114views Hardware» more  DATE 2010»
13 years 11 months ago
Efficient power conversion for ultra low voltage micro scale energy transducers
Chao Lu, Sang Phill Park, Vijay Raghunathan, Kaush...
DATE
2010
IEEE
156views Hardware» more  DATE 2010»
13 years 11 months ago
Defect aware X-filling for low-power scan testing
Various X-filling methods have been proposed for reducing the shift and/or capture power in scan testing. The main drawback of these methods is that X-filling for low power leads t...
S. Balatsouka, V. Tenentes, Xrysovalantis Kavousia...
DATE
2010
IEEE
195views Hardware» more  DATE 2010»
13 years 11 months ago
Cool MPSoC programming
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...
Rainer Leupers, Lothar Thiele, Xiaoning Nie, Bart ...
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
13 years 11 months ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...