2124 search results - page 95 / 425 » Aggregating time partitions |
116
Voted
DAC
1999
ACM
15 years 8 months ago
1999
ACM
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....
110
Voted
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware software co-design capable of handling multiprocessor systems and distributed archit...
121
Voted
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
105
click to vote
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...
119
Voted
CCCG
2003
15 years 5 months ago
2003
We consider the problem of constructing binary space partitions for the set P of d-dimensional objects in d-dimensional space. There are several classes of objects defined for su...