When solving kin a Row games, the Hales-Jewett pairing strategy [4] is a well-known strategy to prove that specific positions are (at most) a draw. It requires two empty squares per possible winning line (group) to be marked, i.e., with a coverage ratio of 2.0. In this paper we present a new strategy, called Set Matching. A matching set consists of a set of nodes (the markers), a set of possibl...

Coordination is critical in distributed collaborative analysis of multidimensional data. Collaborating analysts need to understand what each person has done and what avenues of analysis remain uninvestigated in order to effectively coordinate their efforts. Although visualization history has the potential to communicate such information, common history representations typically show sequential ...

vision of its delivery of management leader naturally tends to disappear upon the product to the customers, since focus continually shifts to the next test coverage to insure that defective product is not shipped will also be overlookedunderestimated by such managers. Design techniques in the layout that contribute to greater yield will not likely be on their radar screen as their focus will be...

There are multiple scenarios where at-speed coverage over core boundaries is difficult. The idea is to resolve this problem using two stage wrapper. Generally single stage wrapper is used in the present design techniques, and is used in industries. Here two stage wrapper is used in which test coverage has been increased. Additional scan compression architecture is introduced to reduce the patte...

This paper investigates the relationship between multi-cycle false paths and the testability of sequential circuits. We show that removal of multi-cycle false paths (either by circuit restructuring or by proper state encoding) improves circuit testability, but not as signiicantly as one would expect. We demonstrate the inability of current structure-based scan register selection techniques to s...

The analysis of linked faults has proven to be a source for new memory tests, characterized by an increased fault coverage. The paper gives a set of five new tests to target all possible linked faults. The tests are merged into a single test, March SL, detecting all faults in the linked fault space. The preliminary test results of an experiment done at Intel will be reported; they show that Mar...

(a) (b) (c) Figure 1: 2-D illustration of relationship between gaze direction and head pose. (a) Under a fixed head pose (r0, t0), gaze direction α can be estimated from appearance. (b) To obtain α under another head pose (r̂, t̂), the estimated α ′ should be corrected because of captured eye appearance distortion. (c) Under head pose (r̂, t̂), gaze direction under WCS should be further compensated...

A recent model for testing systems with multiple timers is extended to compute proper input delays and timeout settings, and is applied to several types of timers required in a testing procedure. In the model, any transition in the specification can be made conditional on a set of running timers. Depending on the path taken to reach an edge, the values of the timer variables may render the trav...