2296 search results - page 27 / 460 » The Expressive Power of Synchronizations |
118
click to vote
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
133
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we investigate synchronization in a small-world network of coupled nonlinear oscillators. This network is constructed by introducing random shortcuts in a neares...
136
click to vote
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
113
click to vote
ICMCS
1994
IEEE
15 years 8 months ago
1994
IEEE
1 As multimedia system integrate a variety of temporally interrelated media items, synchronization is an important issue in those systems. One part of synchronization is the repres...
131
Voted
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
—Power-saving is a critical issue for almost all kinds of portable devices. In this paper, we consider the design of power-saving protocols for mobile ad hoc networks (MANETs) th...