218 search results - page 1 / 44 » Dynamic Scheduling and Clustering in Symbolic Image Computat... |
DATE
2002
IEEE
13 years 9 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...
CLUSTER
2003
IEEE
13 years 10 months ago
2003
IEEE
CCGRID
2008
IEEE
13 years 6 months 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...
DAC
2000
ACM
14 years 5 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 ...
ICPADS
1998
IEEE
13 years 9 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...