7778 search results - page 1536 / 1556 » Designing Controllers for Reachability |
ET
2002
13 years 8 months ago
2002
As System on a Chip (SoC) testing faces new challenges, some new test architectures must be developed. This paper describes a Test Access Mechanism (TAM) named CASBUS that solves ...
JACM
2000
13 years 8 months ago
2000
We consider comparator networks M that are used repeatedly: while the output produced by M is not sorted, it is fed again into M. Sorting algorithms working in this way are called ...
JECR
2000
13 years 8 months ago
2000
The paper investigates the interaction effects between the search strategy of software agents and the subject's product class knowledge. The experimental study consists of a ...
NJC
2000
13 years 8 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
CGF
1998
13 years 8 months ago
1998
An interactive system is described for creating and animating deformable 3D characters. By using a hybrid layered model of kinematic and physics-based components together with an ...