10890 search results - page 183 / 2178 » Automatic Complexity Analysis |
157
click to vote
CARS
2003
15 years 7 months ago
2003
This article proposes the use of autonomous actors for navigation support within complex virtual medical objects reconstructed from Computed Tomography or Magnetic Resonance Imagi...
208
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
172
click to vote
SIGSOFT
2006
ACM
16 years 12 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
161
click to vote
GFKL
2007
Springer
16 years 18 days ago
2007
Springer
The analysis of genetic diseases has classically been directed towards establishing direct links between cause, a genetic variation, and effect, the observable deviation of phenot...
194
click to vote
PATMOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...