762 search results - page 33 / 153 » Conditionally correct superoptimization |
FORTEST
2008
13 years 11 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
EACL
1993
ACL Anthology
13 years 11 months ago
1993
ACL Anthology
In gb, the importance of phrase-structure rules has dwindled in favour of nearness conditions. Today, nearness conditions play a major role in defining the correct linguistic rep...
FAC
2008
2008
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
13 years 10 months ago
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
ICIP
1998
IEEE
14 years 11 months ago
1998
IEEE
ct A color correction matrix is usually used to transform the raw color image obtained from color image sensors to adjust for factors such as variations in illumination and deviati...
ICCAD
2003
IEEE
14 years 7 months ago
2003
IEEE
: Adaptive transceivers can significantly reduce the energy consumption of a mobile, battery-powered node by capturing realtime changes in the communication channel. This paper pro...