762 search results - page 27 / 153 » Conditionally correct superoptimization |
ICSR
2009
Springer
13 years 7 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
ACL
2012
12 years 16 days ago
2012
Syntax-based translation models that operate on the output of a source-language parser have been shown to perform better if allowed to choose from a set of possible parses. In thi...
TSE
2011
13 years 5 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
FGR
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose a novel method to correct for arbitrary illumination variation in the face images. The main purpose is to improve recognition results of face images taken under uncontr...
CHI
2001
ACM
14 years 10 months ago
2001
ACM
The advent of second-generation intelligent computer tutors raises an important instructional design question: when should tutorial advice be presented in problem solving? This pa...