15840 search results - page 165 / 3168 » The Control of Synchronous Systems |
SPIN
2000
Springer
14 years 2 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
OSDI
2002
ACM
14 years 11 months ago
2002
ACM
Recent advances in miniaturization and low-cost, lowpower design have led to active research in large-scale networks of small, wireless, low-power sensors and actuators. Time sync...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
DAC
2006
ACM
14 years 11 months ago
2006
ACM
Multimedia applications usually have throughput constraints. An implementation must meet these constraints, while it minimizes resource usage and energy consumption. The compute i...
VTC
2008
IEEE
14 years 5 months ago
2008
IEEE
Spectrum-overlay scenarios for wide-band multi-carrier (MC) systems bring new technical challenges along that must be considered during the system design. In such scenarios, the r...