218 search results - page 1 / 44 » Dynamic Scheduling and Clustering in Symbolic Image Computat... |
83
Voted
DATE
2002
IEEE
15 years 3 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
64
Voted
CLUSTER
2003
IEEE
15 years 3 months ago
2003
IEEE
112
Voted
CCGRID
2008
IEEE
15 years 6 days ago
2008
IEEE
In this article, we revisit the problem of scheduling dynamically generated directed acyclic graphs (DAGs) of multi-processor tasks (M-tasks). A DAG is a basic model for expressin...
73
Voted
DAC
2000
ACM
15 years 11 months ago
2000
ACM
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...
101
Voted
ICPADS
1998
IEEE
15 years 2 months ago
1998
IEEE
The DAG-based task graph model has been found effective in scheduling for performance prediction and optimization of parallel applications. However the scheduling complexity and s...