203 search results - page 41 / 41 » Temporal Logic Verification Using Simulation |
181
click to vote
RTAS
2006
IEEE
15 years 11 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
164
click to vote
VRCAI
2004
ACM
15 years 11 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...
187
Voted
DSN
2009
IEEE
16 years 16 days ago
2009
IEEE
The threat of soft error induced system failure in high performance computing systems has become more prominent, as we adopt ultra-deep submicron process technologies. In this pap...