3228 search results - page 307 / 646 » Computationally Sound Proofs |
176
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
141
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
152
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
168
click to vote
ISTCS
1992
Springer
15 years 8 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
143
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
alization is a combination of abstract generated forms and found imagery. The frequency, amplitude, and percentage differences between samples of incoming data are mapped to forms ...