1342 search results - page 182 / 269 » MEMS Design And Verification |
139
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
164
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
153
click to vote
CANS
2006
Springer
15 years 10 months ago
2006
Springer
We address the multicast stream authentication problem when the communication channel is under the control of an opponent who can drop, reorder or inject data. In such a network m...
167
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
145
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...