3 search results - page 1 / 1 » Minimization of the expected path length in BDDs based on lo... |
ASPDAC
2004
ACM
13 years 10 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
HISB
2011
12 years 4 months ago
2011
—Spinal cord analysis is an important problem in the study of various neurological diseases. Current segmentation and analysis methods in clinical use are slow and laborintensive...
MICRO
2002
IEEE
13 years 9 months ago
2002
IEEE
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...