Sciweavers

663 search results - page 60 / 133
» Process Algebra with Local Communication
Sort
View
AVSS
2009
IEEE
14 years 5 months ago
Combination of Roadside and In-vehicle Sensors for Extensive Visibility Range Monitoring
—Fog is a local meteorological phenomena which drastically reduces the visibility range. Fog detection and visibility range estimation are critical tasks for road operators who n...
Nicolas Hautière, Abderrahmane Boubezoul
EUROPAR
2001
Springer
14 years 2 months ago
Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes
This paper is on the construction of a server subsystem in a client/server system in an application context where the number of potential clients can be arbitrarily large. The imp...
Paul D. Ezhilchelvan, Jean-Michel Hélary, M...
INFOCOM
2003
IEEE
14 years 3 months ago
Broadcasting in Ad Hoc Networks Based on Self-Pruning
— We propose a general framework for broadcasting in ad hoc networks through self-pruning. The approach is based on selecting a small subset of hosts (also called nodes) to form ...
Jie Wu, Fei Dai
FSTTCS
2005
Springer
14 years 3 months ago
Causal Closure for MSC Languages
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, V...
IPPS
1999
IEEE
14 years 2 months ago
A Parallel Genetic Algorithm for Task Mapping on Parallel Machines
In parallel processing systems, a fundamental consideration is the maximization of system performance through task mapping. A good allocation strategy may improve resource utilizat...
S. Mounir Alaoui, Ophir Frieder, Tarek A. El-Ghaza...