2370 search results - page 232 / 474 » The Characterization of Data-Accumulating Algorithms |
129
click to vote
ITC
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper a new scheme for deterministic and mixed mode scan-based BIST is presented. It relies on a new type of test pattern generator which resembles a programmable Johnson ...
125
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
130
click to vote
ICMCS
1999
IEEE
15 years 8 months ago
1999
IEEE
Increasing use of multimedia data makes it crucial t o use intelligent search mechanisms for retrieving multimedia data by content. Digital video requires the incorporation of tem...
122
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Run-time support for the CYCLIC(k) redistribution on the SPMD computation model is presently very relevant for the scientific community. This work is focused to the characterizati...
124
click to vote
HYBRID
1999
Springer
15 years 8 months ago
1999
Springer
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...