Sciweavers

2870 search results - page 272 / 574
» Synchronization of multi-agent systems
Sort
View
FUIN
2002
100views more  FUIN 2002»
15 years 4 months ago
UPSILON: Universal Programming System with Incomplete Lazy Object Notation
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...
Brian Postow, Kenneth W. Regan, Carl H. Smith
ICDCS
2010
IEEE
15 years 2 months ago
Fault-Containing Self-Stabilization in Asynchronous Systems with Constant Fault-Gap
This paper presents a new transformation which adds fault-containment properties to any silent self-stabilizing protocol. The transformation features a constant slow-down factor a...
Sven Köhler, Volker Turau
ACMACE
2007
ACM
15 years 8 months ago
Remote augmented reality for multiple players over network
Augmented Reality (AR) in multimedia gaming is a dynamic and exciting field of research. One of the challenges is to have multiple users interacting in the networked augmented rea...
Daniel Chun-Ming Leung, Pak-Shing Au, Irwin King, ...
FCCM
2007
IEEE
101views VLSI» more  FCCM 2007»
15 years 10 months ago
Mapping Real Time Operating System on Reconfigurable Instruction Cell Based Architectures
This paper presents the porting of an RTOS Micro C/OS-II on a novel reconfigurable instruction cell based architecture which fills the gap between DSP, FPGA and ASIC with high per...
Han Wei, Mark Muir, Ioannis Nousias, Tughrul Arsla...
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...