2229 search results - page 41 / 446 » On Reporting Fold Differences |
PLILP
1992
Springer
14 years 3 days ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
FM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
ANLP
2000
13 years 9 months ago
2000
This paper compares the efficiency of using a standard direct-manipulation graphical user interface (GUI) with that of using the QuickSet pen/voice multimodal interface for suppor...
CEC
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—Protein structure prediction is the problem of finding the functional conformation of a protein given only its amino uence. The HP lattice model is an abstract formulat...
MSR
2010
ACM
14 years 1 months ago
2010
ACM
—Bugs in Debian differ from regular software bugs. They are usually associated with packages, instead of software modules. They are caused and fixed by source package uploads in...