Sciweavers

2498 search results - page 246 / 500
» Software Fault Tolerance
Sort
View
CLUSTER
2002
IEEE
15 years 11 months ago
BioOpera: Cluster-Aware Computing
In this paper we present BioOpera, an extensible process support system for cluster-aware computing. It features an intuitive way to specify computations, as well as improved supp...
Win Bausch, Cesare Pautasso, Reto Schaeppi, Gustav...
P2P
2002
IEEE
103views Communications» more  P2P 2002»
15 years 11 months ago
Towards a Hierarchical, Semantic Peer-to-Peer Topology
We propose a new p2p network topology that reduces bandwidth consumption and provides complete searches by employing a tree hierarchy of indexing nodes that facilitates the search...
Roman Kurmanowytsch, Mehdi Jazayeri, Engin Kirda
TPHOL
1991
IEEE
15 years 10 months ago
First Steps Towards Automating Hardware Proofs in HOL
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
Ramayya Kumar, Thomas Kropf, Klaus Schneider
CORR
2008
Springer
150views Education» more  CORR 2008»
15 years 6 months ago
A Dynamic Programming Framework for Combinatorial Optimization Problems on Graphs with Bounded Pathwidth
In this paper we present an algorithmic framework for solving a class of combinatorial optimization problems on graphs with bounded pathwidth. The problems are NP-hard in general, ...
Mugurel Ionut Andreica
SIGOPS
2011
210views Hardware» more  SIGOPS 2011»
15 years 1 months ago
Small trusted primitives for dependable systems
Secure, fault-tolerant distributed systems are difficult to build, to validate, and to operate. Conservative design for such systems dictates that their security and fault toleran...
Petros Maniatis, Byung-Gon Chun