3742 search results - page 344 / 749 » On the Use of Formal Techniques for Validation |
162
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
179
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
143
click to vote
FAST
2008
15 years 9 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
189
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...
178
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present an online, recursive filtering technique to model linear dynamical systems that operate on the state space of symmetric positive definite matrices (tensors) that lie on...