6709 search results - page 928 / 1342 » Performance Modelling of the Computational Hardware: A Stati... |
190
click to vote
ISPD
2000
ACM
16 years 1 days ago
2000
ACM
In this paper we present a repeater block planning algorithm for interconnect-centric floorplanning. We introduce the concept of independent feasible regions for repeaters and der...
193
click to vote
DATE
2010
IEEE
16 years 10 hour ago
2010
IEEE
High-level synthesis has recently started to gain industrial acceptance, due to the improved quality of results and the multi-objective optimizations offered. One optimization area...
196
click to vote
ICCAD
1999
IEEE
15 years 12 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...
225
click to vote
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
226
click to vote
KDD
2004
ACM
16 years 8 months ago
2004
ACM
The primary goal of Web usage mining is the discovery of patterns in the navigational behavior of Web users. Standard approaches, such as clustering of user sessions and discoveri...