Sciweavers

2870 search results - page 243 / 574
» Synchronization of multi-agent systems
Sort
View
ENTCS
2007
137views more  ENTCS 2007»
15 years 27 days ago
Formal Sequentialization of Distributed Systems via Program Rewriting
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
Miquel Bertran, Francesc-Xavier Babot, August Clim...

Publication
279views
16 years 11 months ago
Potential Networking Applications of Global Positioning Systems (GPS)
Global Positioning System (GPS) Technology allows precise determination of location, velocity, direction, and time. The price of GPS receivers is falling rapidly and the applicatio...
G. Dommety and Raj Jain
ISCAS
2005
IEEE
166views Hardware» more  ISCAS 2005»
15 years 6 months ago
Extending SystemC to support mixed discrete-continuous system modeling and simulation
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
Alain Vachoux, Christoph Grimm, Karsten Einwich
ICMCS
2006
IEEE
145views Multimedia» more  ICMCS 2006»
15 years 7 months ago
DISCOVR: Distributed Collaborative Video Recorder
The paper describes DISCOVR, a distributed collaborative video recorder. DISCOVR is a P2P application that combines asynchronous file sharing with synchronous on-demand media stre...
Jin Li, Cheng Huang
MEMOCODE
2008
IEEE
15 years 7 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...