Sciweavers

2016 search results - page 123 / 404
» Distributed error confinement
Sort
View
IPPS
2003
IEEE
14 years 3 months ago
Model Checking a Cache Coherence Protocol for a Java DSM Implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
NSDI
2008
14 years 21 days ago
DieCast: Testing Distributed Systems with an Accurate Scale Model
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
Diwaker Gupta, Kashi Venkatesh Vishwanath, Amin Va...
JSA
2008
108views more  JSA 2008»
13 years 10 months ago
A methodology to design arbitrary failure detectors for distributed protocols
Nowadays, there are many protocols able to cope with process crashes, but, unfortunately, a process crash represents only a particular faulty behavior. Handling tougher failures (...
Roberto Baldoni, Jean-Michel Hélary, Sara T...
TROB
2002
244views more  TROB 2002»
13 years 10 months ago
Distributed surveillance and reconnaissance using multiple autonomous ATVs: CyberScout
The objective of the CyberScout project is to develop an autonomous surveillance and reconnaissance system using a network of all-terrain vehicles. In this paper, we focus on two f...
Mahesh Saptharishi, C. Spence Oliver, Christopher ...
ICMCS
2005
IEEE
97views Multimedia» more  ICMCS 2005»
14 years 4 months ago
Wireless Broadcasting Using the Scalable Extension of H.264/AVC
For the ongoing standardization activities for IP-based broadcast video and audio streaming services over DVBH, DMB or 3GPP’s MBMS the use of new forward error protection techni...
Thomas Schierl, Heiko Schwarz, Detlev Marpe, Thoma...