5339 search results - page 464 / 1068 » Controllable Delay-Insensitive Processes |
171
click to vote
ITC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper discusses practical issues involved in applying logic built-in self-test (BIST) to four large industrial designs. These multi-clock designs, ranging in size from 200K t...
175
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
We present new pragmatic constructs for easing programming in visual graph rewriting programming languages. The first is a modification to the rewriting process for nodes the host...
193
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
158
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we propose a high-level variable selection for partial-scan approach to improve the testability of digital systems. The testability of a design is evaluated at the ...
231
click to vote
RTAS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....