6059 search results - page 363 / 1212 » A Technique for Verifying Measurements |
220
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
148
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
We presenta new representationfor Boolean functions called PartitionedROBDDs. In this representation we divide the Boolean space into `k' partitions and represent a function ...
192
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
178
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Defending against denial-of-service (DoS) in a mobile ad hoc network (MANET) is challenging because the network topology is dynamic and nodes are selfish. In this paper, we propos...
180
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...