5948 search results - page 984 / 1190 » Computing Robust Counter-Strategies |
138
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
In this paper, we present a compiler strategy to optimize data accesses in regular array-intensive applications running on embedded multiprocessor environments. Specifically, we p...
116
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
117
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents a novel repeater insertion algorithm for the power minimization of realistic interconnect trees under given timing budgets. Our algorithm judiciously combines ...
149
click to vote
MICCAI
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. Automatic delineation and robust measurement of fetal anatomical structures in 2D ultrasound images is a challenging task due to the complexity of the object appearance, ...
122
click to vote
MICCAI
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. An important issue in electroencephalographiy (EEG) experiments is to measure accurately the three dimensional (3D) positions of the electrodes. We propose a system where...