1833 search results - page 45 / 367 » Mechanized Verification with Sharing |
ICFP
2005
ACM
14 years 11 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
CADE
2002
Springer
14 years 11 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
AVBPA
2005
Springer
14 years 4 months ago
2005
Springer
The accurate selection of the utterances is very important to obtain right estimated speaker models in speaker verification. In this sense, it is important to determine the quality...
ACTA
2006
13 years 11 months ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...