12863 search results - page 2327 / 2573 » Dynamic Data Mining |
157
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
135
click to vote
DAC
2005
ACM
16 years 5 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 ...
118
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
134
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
Models that predict the soft tissue deformation caused by needle insertion could improve the accuracy of procedures such as brachytherapy and needle biopsy. Prior work on needle in...
116
click to vote
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
Segmentation and tracking of cells in fluorescence microscopy image sequences is an important task in many biological studies into cell migration as well as intracellular dynamics...