4604 search results - page 226 / 921 » Concurrency in Synchronous Systems |
281
click to vote
CONCUR
2011
Springer
14 years 6 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
181
click to vote
EMSOFT
2004
Springer
16 years 1 days ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
156
click to vote
FTCS
1993
15 years 8 months ago
1993
Failure detectors (or, more accurately Failure Suspectors { FS) appear to be a fundamental service upon which to build fault-tolerant, distributed applications. This paper shows t...
189
click to vote
ISCAS
2011
IEEE
14 years 10 months ago
2011
IEEE
— In this study, synchronization phenomena observed in coupled polygonal oscillatory networks with frustration is investigated. We focus on the power consumption of coupling resi...
186
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...