Sciweavers

DSN
2005
IEEE
13 years 10 months ago
How Fast Can Eventual Synchrony Lead to Consensus?
Partha Dutta, Rachid Guerraoui, Leslie Lamport
DSN
2005
IEEE
13 years 10 months ago
Lumping Matrix Diagram Representations of Markov Models
Continuous-time Markov chains (CTMCs) have been used successfully to model the dependability and performability of many systems. Matrix diagrams (MDs) are known to be a space-efï¬...
Salem Derisavi, Peter Kemper, William H. Sanders
DSN
2005
IEEE
13 years 10 months ago
Definition and Specification of Accrual Failure Detectors
Xavier Défago, Péter Urbán, N...
DSN
2005
IEEE
13 years 10 months ago
Assessing the Performance of Erasure Codes in the Wide-Area
Rebecca L. Collins, James S. Plank
DSN
2005
IEEE
13 years 10 months ago
Model Checking Markov Reward Models with Impulse Rewards
Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri,...
DSN
2005
IEEE
13 years 10 months ago
Towards a Theory of Insider Threat Assessment
Insider attacks are a well-known problem acknowledged as a threat as early as 1980s. The threat is attributed to legitimate users who abuse their privileges, and given their famil...
Ramkumar Chinchani, Anusha Iyer, Hung Q. Ngo, Sham...
DSN
2005
IEEE
13 years 10 months ago
On-Line Detection of Control-Flow Errors in SoCs by Means of an Infrastructure IP Core
1 In sub-micron technology circuits high integration levels coupled with the increased sensitivity to soft errors even at ground level make the task of guaranteeing systems’ depe...
Paolo Bernardi, Leticia Maria Veiras Bolzani, Maur...
DSN
2005
IEEE
13 years 10 months ago
SMRP: Fast Restoration of Multicast Sessions from Persistent Failures
The growing reliance of networked applications on timely and reliable data transfer requires the underlying networking infrastructure to provide adequate services even in the pres...
Jian Wu, Kang G. Shin
DSN
2005
IEEE
13 years 10 months ago
Reversible Fault-Tolerant Logic
It is now widely accepted that the CMOS technology implementing irreversible logic will hit a scaling limit beyond 2016, and that the increased power dissipation is a major limiti...
P. Oscar Boykin, Vwani P. Roychowdhury
DSN
2005
IEEE
13 years 10 months ago
Neutralization of Errors and Attacks in Wireless Ad Hoc Networks
This paper proposes and evaluates strategies to build reliable and secure wireless ad hoc networks. Our contribution is based on the notion of inner-circle consistency, where loca...
Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K...