43 search results - page 3 / 9 » iccad 1998 |
ICCAD
1998
IEEE
13 years 9 months ago
1998
IEEE
ICCAD
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper presents efficient reencoding and resynthesis algorithms for cycle-time minimization of multilevel implementations of synchronous finite state machines (FSMs) under a fi...
ICCAD
1998
IEEE
13 years 9 months ago
1998
IEEE
We consider the problem of scheduling the mixed workload of both sporadic (on-line) and periodic (off-line) tasks on variable voltage processor to optimize power consumption while...
ICCAD
1998
IEEE
13 years 9 months ago
1998
IEEE
We lay out a theoretical framework to evaluate watermarking techniques for intellectual property protection (IPP). Based on this framework, we analyze two watermarking techniques ...
ICCAD
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...