6884 search results - page 1136 / 1377 » The macro-structure of use of help |
190
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
162
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
146
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Placement migration is the movement of cells within an existing placement to address a variety of post-placement design closure issues, such as timing, routing congestion, signal ...
186
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Quantitative measurements of changes in evolving brain pathology, such as multiple sclerosis lesions and brain tumors, are important for clinicians to perform pertinent diagnoses a...
189
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
To better understand the development and function of the mammalian brain, researchers have begun to systematically collect a large number of gene expression patterns throughout the...