2584 search results - page 236 / 517 » On the Forward Checking Algorithm |
108
click to vote
TCAD
1998
15 years 2 months ago
1998
None of the available minimizers for 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to manual and auto...
110
click to vote
ICCAD
2009
IEEE
15 years 23 days ago
2009
IEEE
The flip-chip package is introduced for modern IC designs with higher integration density and larger I/O counts. In this paper, we consider the pre-assignment flip-chip routing pr...
210
click to vote
BIRTHDAY
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Risk analysis has been used to manage the security of systems for several decades. However, its use has been limited to offline risk computation and manual response. In c...
114
click to vote
WG
2005
Springer
15 years 8 months ago
2005
Springer
We review the concepts of hypertree decomposition and hypertree width from a graph theoretical perspective and report on a number of recent results related to these concepts. We al...
165
click to vote
RTCSA
1998
IEEE
15 years 7 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...