Sciweavers

5334 search results - page 414 / 1067
» Communicating quantum processes
Sort
View
JSS
1998
90views more  JSS 1998»
15 years 6 months ago
A taxonomy of distributed termination detection algorithms
An important problem in the ®eld of distributed systems is that of detecting the termination of a distributed computation. Distributed termination detection (DTD) is a dicult p...
Jeff Matocha, Tracy Camp
SPE
2002
119views more  SPE 2002»
15 years 6 months ago
HARTEX - a safe real-time kernel for distributed computer control systems
: The paper presents a hard real-time kernel for distributed computer control systems (DCCS) highlighting a number of novel features, such as integrated scheduling of hard and soft...
C. K. Angelov, I. E. Ivanov, Alan Burns
IANDC
2010
83views more  IANDC 2010»
15 years 5 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
INFOCOM
2010
IEEE
15 years 5 months ago
Impact of Correlated Mobility on Delay-Throughput Performance in Mobile Ad-Hoc Networks
—We extend the analysis of the scaling laws of wireless ad hoc networks to the case of correlated nodes movements, which are commonly found in real mobility processes. We conside...
Delia Ciullo, Valentina Martina, Michele Garetto, ...
VTC
2010
IEEE
149views Communications» more  VTC 2010»
15 years 5 months ago
On the Impact of Human Driver Behavior on Intelligent Transportation Systems
—We investigate the impact of the human driver behavior on Intelligent Transportation Systems (ITS). Motivated by early studies, which investigated the driver behavior and which ...
Falko Dressler, Christoph Sommer