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...
—Camera motion estimation plays an important role in digital video analysis algorithms such as video indexing and retrieval or automatic movie analysis. Several algorithms have b...
Nhat Tan Nguyen, Denis Laurendeau, Alexandra Branz...
—With the emergence of on-chip networks, the power consumed by router buffers has become a primary concern. Bufferless flow control addresses this issue by removing router buffe...
George Michelogiannakis, Daniel Sanchez, William J...
This paper presents a new formulation of the problem of motion estimation which attempts to give solutions to classical problems in the field, such as detection of motion disconti...
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...