1604 search results - page 146 / 321 » A Logical Viewpoint on Architectures |
107
click to vote
FSKD
2005
Springer
15 years 11 months ago
2005
Springer
It is important nowadays to provide guidance for individuals or organizations to improve their knowledge according to their objectives, especially in the case of incomplete cogniti...
144
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
169
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
This paper proposes a coprocessor architecture to speed up hardware evolution. It is designed to be implemented in an FPGA with an integrated microprocessor core. The coprocessor r...
130
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Hot-carrier eects and electromigration are the two important failure mechanisms that signi cantly impact the long-term reliability of high-density VLSI ICs. In this paper, we prese...
154
Voted
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Recent trends in the semiconductor industry have resulted in an increasing demand for low power circuits. POSE is a step in providing the EDA community and academia with an enviro...