3742 search results - page 741 / 749 » On the Use of Formal Techniques for Validation |
EDBT
2008
ACM
15 years 12 months ago
2008
ACM
In response to regulatory focus on secure retention of electronic records, businesses are using magnetic disks configured as write-once read-many (WORM) compliance storage devices...
98
Voted
POPL
2010
ACM
15 years 9 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
EUROSYS
2006
ACM
15 years 8 months ago
2006
ACM
—Restoring data operations after a disaster is a daunting task: how should recovery be performed to minimize data loss and application downtime? Administrators are under consider...
127
click to vote
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
116
click to vote
SSDBM
2007
IEEE
15 years 6 months ago
2007
IEEE
Bitmap indices have been widely used in several domains such as data warehousing and scientific applications due to their efficiency in answering certain query types over large ...