620 search results - page 33 / 124 » Concrete Abstractions |
KBSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
ZUM
2000
Springer
14 years 1 months ago
2000
Springer
We have developed a general denition of segregation in the context of Z system specications. This denition is general enough to allow multi-way communications between otherwise seg...
SEUS
2007
IEEE
14 years 4 months ago
2007
IEEE
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...
ITP
2010
13 years 8 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
POPL
2010
ACM
14 years 7 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...