1972 search results - page 117 / 395 » The Timed Asynchronous Distributed System Model |
127
click to vote
FPGA
2010
ACM
15 years 9 days ago
2010
ACM
Metastability is a phenomenon that can cause system failures in digital circuits. It may occur whenever signals are being transmitted across asynchronous or unrelated clock domain...
ARTS
1997
Springer
15 years 5 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
98
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— In a multi-source video streaming system, premature draining of low-power nodes can cause sudden failures of peer connections and degrade streaming performance. To solv...
130
click to vote
SIROCCO
2007
15 years 3 months ago
2007
In a sensor network the sensors, or nodes, obtain data and have to communicate these data to a central node. Because sensors are battery powered they are highly energy constrained....
110
click to vote
ECLIPSE
2006
ACM
15 years 6 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...