1342 search results - page 22 / 269 » MEMS Design And Verification |
152
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
142
click to vote
SECURWARE
2007
IEEE
16 years 8 days ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
142
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
The performance features of MEMS transducers allow the development of a new class of small, low-power sensor microsystems which utilize a suite of sensors to support a wide range ...
138
click to vote
ASPLOS
2000
ACM
15 years 10 months ago
2000
ACM
Technological progress in integrated, low-power, CMOS communication devices and sensors makes a rich design space of networked sensors viable. They can be deeply embedded in the p...
188
click to vote
IPSN
2010
Springer
15 years 3 months ago
2010
Springer
Traffic patterns in manufacturing machines exhibit strong temporal correlations due to the underlying repetitive nature of their operations. A MAC protocol can potentially learn t...