4100 search results - page 489 / 820 » General Linear Cameras |
293
Voted
DSN
2000
IEEE
15 years 12 months ago
2000
IEEE
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...
202
click to vote
ISMVL
2000
IEEE
15 years 12 months ago
2000
IEEE
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
190
click to vote
MTDT
2000
IEEE
15 years 12 months ago
2000
IEEE
In this work, we present the application of Generalized Linear Feedback Shift Registers (GLFSRs) for generation of patterns for pseudo-random memory Built-In SelfTest (BIST). Rece...
204
Voted
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
We present optimal solutions to the test scheduling problem for core-based systems. We show that test scheduling is equivalent to the m-processor open-shop scheduling problem and ...
205
click to vote
ECP
1999
Springer
15 years 11 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...