4850 search results - page 768 / 970 » Proof and Computation in Geometry |
183
Voted
ACL2
2006
ACM
16 years 17 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
158
click to vote
ACMACE
2006
ACM
16 years 17 days ago
2006
ACM
This paper focuses on the mapping strategies in the interface design for the Expression Synthesis Project (ESP). The goal of ESP is to use the metaphor of driving to allow non-exp...
159
click to vote
PPOPP
2006
ACM
16 years 16 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
143
click to vote
ICDCSW
2005
IEEE
16 years 6 days ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
165
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...