2468 search results - page 187 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
142
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
146
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
146
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
When reconfigurable devices are used in modern embedded systems and their capability to adapt to changing application requirements becomes an issue, comprehensive modeling and de...
143
click to vote
CISS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In wireless ad hoc networks, distributed nodes can collaboratively form an antenna array for long-distance communications to achieve high energy efficiency. In recent work, Oc...
131
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...