178 search results - page 10 / 36 » An Application of Program Derivation Techniques to 18th-Cent... |
FORTE
2004
13 years 10 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
ICPR
2000
IEEE
14 years 9 months ago
2000
IEEE
In order to process video data efficiently, a video segmentation technique through scene change detection must be employed. Many of advanced video applications require manipulatio...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
IWPC
1997
IEEE
14 years 24 days ago
1997
IEEE
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
AMAST
2010
Springer
13 years 3 months ago
2010
Springer
Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an app...