Sciweavers

873 search results - page 70 / 175
» E-voting: Dependability Requirements and Design for Dependab...
Sort
View
ISCA
2003
IEEE
150views Hardware» more  ISCA 2003»
15 years 11 months ago
Cyclone: A Broadcast-Free Dynamic Instruction Scheduler with Selective Replay
To achieve high instruction throughput, instruction schedulers must be capable of producing high-quality schedules that maximize functional unit utilization while at the same time...
Dan Ernst, Andrew Hamel, Todd M. Austin
CSUR
2000
84views more  CSUR 2000»
15 years 6 months ago
A framework for framework documentation
ks are quite di cult to understand when one rst uses them: the design is very abstract, to factor out commonality the design is incomplete, requiring additional subclasses to creat...
Gregory Butler, Rudolf K. Keller, Hafedh Mili
ICITS
2011
14 years 9 months ago
Homogeneous Faults, Colored Edge Graphs, and Cover Free Families
In this paper, we use the concept of colored edge graphs to model homogeneous faults in networks. We then use this model to study the minimum connectivity (and design) requirements...
Yongge Wang, Yvo Desmedt
VTS
2000
IEEE
89views Hardware» more  VTS 2000»
15 years 10 months ago
Fault Escapes in Duplex Systems
Hardware duplication techniques are widely used for concurrent error detection in dependable systems to ensure high availability and data integrity. These techniques are vulnerabl...
Subhasish Mitra, Nirmal R. Saxena, Edward J. McClu...
CATS
2007
15 years 7 months ago
An Optimal Broadcasting Protocol for Mobile Video-on-Demand
The advance of wireless and mobile technology introduces a new type of Video-on-Demand (VOD) systems, namely the mobile VOD systems, that provide VOD services to mobile clients. I...
Regant Y. S. Hung, Hing-Fung Ting