2947 search results - page 403 / 590 » The timely token protocol |
175
click to vote
CLADE
2004
IEEE
15 years 10 months ago
2004
IEEE
All but the most briefly used systems must evolve as their mission and roles change over time. Evolution in the context of large distributed systems is extraordinarily complex bec...
196
click to vote
ASYNC
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
178
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Transaction Level Modeling (TLM) approach is used to meet the simulation speed as well as cycle accuracy for large scale SoC performance analysis. We implemented a transaction-lev...
139
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces a framework for in-field-maintenance services for wireless sensor networks. The motivation of this work is driven by an observation that many applications usi...
180
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...