13895 search results - page 452 / 2779 » Exploring |
185
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...
207
Voted
MICCAI
2004
Springer
16 years 8 months ago
2004
Springer
Diffusion Tensor MRI has become the preferred imaging modality to explore white matter structure and brain connectivity in vivo. Conventional region of interest analysis and voxel-...
178
click to vote
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
205
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
173
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Recently, along with the rapid growth of the Web, the preservation efforts have also increased. As a consequence, large amounts of past Web data are stored in Web archives. This h...