Sciweavers

494 search results - page 8 / 99
» A Framework for Synchronous Tele-Cooperation
Sort
View
MEMOCODE
2008
IEEE
14 years 3 months ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier
FMSD
2006
83views more  FMSD 2006»
13 years 8 months ago
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...
POPL
2006
ACM
14 years 8 months ago
Associating synchronization constraints with data in an object-oriented language
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
Mandana Vaziri, Frank Tip, Julian Dolby
WICOMM
2008
109views more  WICOMM 2008»
13 years 8 months ago
SYNC-NET: distributed time synchronization in clustered sensor networks
Time synchronization is essential for several ad-hoc network protocols and applications, such as TDMA scheduling and data aggregation. In this paper, we propose a time synchronizat...
Ossama Younis, Sonia Fahmy
INFSOF
2000
68views more  INFSOF 2000»
13 years 8 months ago
An extensible platform for the development of synchronous groupware
The development of groupware is a complex endeavor due to several inherent features not present in single-user applications. To address this complexity many authors have presented...
G. Licea, Jesús Favela