Sciweavers

2870 search results - page 474 / 574
» Synchronization of multi-agent systems
Sort
View
CCECE
2006
IEEE
16 years 11 days ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
EUROMICRO
2006
IEEE
16 years 10 days ago
A Modeling Paradigm for Integrated Modular Avionics Design
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
Abdoulaye Gamatié, Christian Brunette, Roma...
GLOBECOM
2006
IEEE
16 years 10 days ago
Bayesian Data Fusion for Asynchronous DS-CDMA Sensor Networks in Rayleigh Fading
Abstract— In this paper, we propose asynchronous non-orthogonal communication between distributed sensors and a data fusion center via asynchronous direct-sequence code-division ...
Justin S. Dyer, Balasubramaniam Natarajan, Sudharm...
HAPTICS
2006
IEEE
16 years 10 days ago
Portable Haptic Display for Large Immersive Virtual Environments
This paper introduces Portable Haptic Display (PHD), a novel platform-independent haptic rendering system that can be conveniently integrated into a large immersive virtual enviro...
Enkhtuvshin Dorjgotov, Seungmoon Choi, Steven R. D...
INFOCOM
2006
IEEE
16 years 9 days ago
Strong Performance Guarantees for Asynchronous Crossbar Schedulers
– Crossbar-based switches are commonly used to implement routers with throughputs up to about 1 Tb/s. The advent of crossbar scheduling algorithms that provide strong performance...
Jonathan Turner