13383 search results - page 180 / 2677 » Abstractions from proofs |
163
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
179
click to vote
CAPTECH
1998
Springer
15 years 10 months ago
1998
Springer
bstraction and Mapping with Spatial Constraints ? Rama Bindiganavale and Norman I. Badler Computer and Information Science Department University of Pennsylvania, PA 19104-6389, USA...
156
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Grouping and Abstraction Using Simple Part Models Pablo Sala and Sven Dickinson Department of Computer Science, University of Toronto, Toronto ON, Canada We address the problem of ...
138
click to vote
CCA
2009
Springer
16 years 1 months ago
2009
Springer
d Abstract) Robert Rettinger1 Department of Mathematics and Computer Science University of Hagen, Germany Abstract. We show that under reasonable assumptions there exist Riemann ma...
158
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...