6514 search results - page 782 / 1303 » Low-Knowledge Algorithm Control |
134
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
Recent work [2] [5] [11] [12] [14] has illustrated the promise of multilevel approaches for partitioning large circuits. Multilevel partitioning recursively clusters the instance ...
144
click to vote
ECP
1997
Springer
15 years 9 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
153
click to vote
PLDI
1993
ACM
15 years 9 months ago
1993
ACM
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...
116
click to vote
ICCAD
1992
IEEE
15 years 9 months ago
1992
IEEE
This paper presents a comprehensive timing model for behavioral-level specifications and algorithms for timing analysis in high-level synthesis. It is based on a timing network wh...
157
click to vote
LICS
1990
IEEE
15 years 9 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...