225 search results - page 13 / 45 » Design for Constraint Violation Detection in Safety-Critical... |
179
click to vote
ISQED
2011
IEEE
14 years 9 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
151
click to vote
DSN
2005
IEEE
15 years 11 months ago
2005
IEEE
A Cyclic Redundancy Code (CRC), when used properly, can be an effective and relatively inexpensive method to detect data corruption across communication channels. However, some sy...
149
click to vote
PTS
1998
15 years 7 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
136
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— We explore the control of a nonholonomic robot subject to additional constraints on the state variables. In our problem, the user specifies the path of a subset of the state v...
149
click to vote
DAC
2009
ACM
16 years 24 days ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...