2470 search results - page 136 / 494 » Liveness-Preserving Simulation Relations |
101
click to vote
TVLSI
2008
15 years 19 days ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
111
Voted
AROBOTS
2004
15 years 18 days ago
2004
The swarm intelligence paradigm has proven to have very interesting properties such as robustness, flexibility and ability to solve complex problems exploiting parallelism and self...
100
Voted
CN
2004
15 years 18 days ago
2004
This paper is a summary of the BBN Technical Report No. 8333, "Explicit Transport Error Notification for Error-Prone Wireless and Satellite Networks." In this study we di...
140
Voted
SECON
2010
IEEE
14 years 10 months ago
2010
IEEE
Wireless communications over water may suffer from serious multipath fading due to strong specular reflections from conducting water surfaces. Cognitive radios enable dynamic spect...
126
Voted
CEC
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper examines a simulation of the Beer Distribution Game and a number of optimisation approaches to this game. This well known game was developed at MIT in the 1960s and has ...