3 search results - page 1 / 1 » Scalable Hybrid Verification of Complex Microprocessors |
DAC
2001
ACM
14 years 5 months ago
2001
ACM
CADE
2009
Springer
14 years 5 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
Provable data possession is a technique for ensuring the integrity of data in outsourcing storage service. In this paper, we propose a cooperative provable data possession scheme ...