1179 search results - page 77 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
151
Voted
ACSD
2006
IEEE
15 years 5 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
142
Voted
MEMICS
2010
14 years 10 months ago
2010
Abstract. Increasing integration densities and the emergence of nanotechnology cause issues related to reliability and power consumption to become dominant factors for the design o...
146
click to vote
JCP
2006
15 years 3 months ago
2006
Finding a maximum cardinality matching in a graph is a problem appearing in numerous settings. The problem asks for a set of edges of maximum cardinality, such that no two edges of...
123
Voted
ISQED
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a new approach to enforcing the passivity of a reduced system of general passive linear time invariant circuits. Instead of making the reduced models pas...
146
Voted
AAAI
1997
15 years 5 months ago
1997
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...