Sciweavers

2863 search results - page 278 / 573
» Comparing Operating Systems Using Robustness Benchmarks
Sort
View
NSDI
2008
15 years 6 months ago
BFT Protocols Under Fire
Much recent work on Byzantine state machine replication focuses on protocols with improved performance under benign conditions (LANs, homogeneous replicas, limited crash faults), ...
Atul Singh, Tathagata Das, Petros Maniatis, Peter ...
BTW
2007
Springer
189views Database» more  BTW 2007»
15 years 10 months ago
Reconsidering Consistency Management in Shared Data Spaces for Emergency and Rescue Applications
: Efficient information sharing is very important for emergency and rescue operations. These operations often have to be performed in environments where no communication infrastruc...
Thomas Plagemann, Ellen Munthe-Kaas, Vera Goebel
KR
1998
Springer
15 years 8 months ago
Modal Semantics for Knowledge Bases Dealing with Vague Concepts
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...
Brandon Bennett
ISCA
2000
IEEE
103views Hardware» more  ISCA 2000»
15 years 8 months ago
Circuits for wide-window superscalar processors
Our program benchmarks and simulations of novel circuits indicate that large-window processors are feasible. Using our redesigned superscalar components, a large-window processor ...
Dana S. Henry, Bradley C. Kuszmaul, Gabriel H. Loh...
VLSID
2000
IEEE
94views VLSI» more  VLSID 2000»
15 years 8 months ago
A Genetic Algorithm for the Synthesis of Structured Data Paths
The technique presented here achieves simultaneous optimization of schedule time and data path component cost within a structured data path architecture, using a genetic algorithm...
Chittaranjan A. Mandal, R. M. Zimmer