The Dagstuhl seminar 08371 on Fault-Tolerant Distributed Algorithms on VLSI Chips was devoted to exploring whether the wealth of existing fault-tolerant dis-tributed algorithms research can be utilized for meeting the challenges of future-generation VLSI chips. Participants from both the distributed fault-tolerant al-gorithms community, interested in this emerging application domain, and from the VLSI systems-on-chip and digital design community, interested in well-founded system-level approaches to fault-tolerance, surveyed the current state-of-the-art and tried to identify possibilities to work together. The seminar clearly achieved its pur-pose: It became apparent that most existing research in Distributed Algorithms is too heavy-weight ...
The Dagstuhl Seminar 13141 "Formal Verification of Distributed Algorithms" brought together research...
Due to the character of the original source materials and the nature of batch digitization, quality ...
International audienceThis book presents the most important fault-tolerant distributed programming a...
From September the $7^{text{th}}$, 2008 to September the $10^{text{th}}$, 2008 the Dagstuhl Seminar ...
Very large-scale integrated (VLSI) hardware designs can be seen as distributed systems at several le...
From June 4--8, 2009, the Dagstuhl Seminar 09191 ``Fault Tolerance in High-Performance Computing and...
The Dagstuhl Seminar "Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance" ...
A reduction in the minimum attainable feature size in integrated circuits h.s lead to the possibilit...
The fault and failure models as well as their semantics within the VLSI and the distributed systems/...
that impact the real world, especially in the areas distributed computing, networking, and algorithm...
PhD ThesisThis thesis describes the design and development of algorithms for fault tolerant distr...
This paper offers an introduction to a research effort in fault tolerant computer architecture whic...
DFT is an annual Symposium providing an open forum, combining new academic research to state-of-the-...
This thesis addresses issues in building fault-tolerant distributed real-time systems. Such systems ...
The Θ-project was devoted to an in-depth investigation of the benefits and limitations of the par-ti...
The Dagstuhl Seminar 13141 "Formal Verification of Distributed Algorithms" brought together research...
Due to the character of the original source materials and the nature of batch digitization, quality ...
International audienceThis book presents the most important fault-tolerant distributed programming a...
From September the $7^{text{th}}$, 2008 to September the $10^{text{th}}$, 2008 the Dagstuhl Seminar ...
Very large-scale integrated (VLSI) hardware designs can be seen as distributed systems at several le...
From June 4--8, 2009, the Dagstuhl Seminar 09191 ``Fault Tolerance in High-Performance Computing and...
The Dagstuhl Seminar "Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance" ...
A reduction in the minimum attainable feature size in integrated circuits h.s lead to the possibilit...
The fault and failure models as well as their semantics within the VLSI and the distributed systems/...
that impact the real world, especially in the areas distributed computing, networking, and algorithm...
PhD ThesisThis thesis describes the design and development of algorithms for fault tolerant distr...
This paper offers an introduction to a research effort in fault tolerant computer architecture whic...
DFT is an annual Symposium providing an open forum, combining new academic research to state-of-the-...
This thesis addresses issues in building fault-tolerant distributed real-time systems. Such systems ...
The Θ-project was devoted to an in-depth investigation of the benefits and limitations of the par-ti...
The Dagstuhl Seminar 13141 "Formal Verification of Distributed Algorithms" brought together research...
Due to the character of the original source materials and the nature of batch digitization, quality ...
International audienceThis book presents the most important fault-tolerant distributed programming a...