1342 search results - page 225 / 269 » MEMS Design And Verification |
SENSYS
2003
ACM
15 years 3 months ago
2003
ACM
In the absence of location errors, geographic routing - using a combination of greedy forwarding and face routing - has been shown to work correctly and efficiently. The effects o...
SIGUCCS
2003
ACM
15 years 3 months ago
2003
ACM
Louisiana State University’s Biomedical Research Center is going through a major expansion in reaching its 5 year strategic plan. With expansion comes an opportunity to “get t...
DATE
2000
IEEE
15 years 2 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
RTCSA
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
LICS
1999
IEEE
15 years 2 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...