317 search results - page 43 / 64 » Reasoning about the Implementation of Concurrency Abstractio... |
100
click to vote
INTERACT
2003
15 years 2 months ago
2003
Abstract: Designing and implementing multimodal applications that take advantage of several recognitionbased interaction techniques (e.g. speech and gesture recognition) is a diffi...
122
click to vote
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
127
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
109
click to vote
ECOOP
1993
Springer
15 years 5 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
127
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...