2673 search results - page 182 / 535 » Guided Static Analysis |
152
Voted
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Applications on todays massively parallel supercomputers rely on performance analysis tools to guide them toward scalable performance on thousands of processors. However, conventi...
136
click to vote
FM
2001
Springer
15 years 9 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
151
click to vote
JSW
2008
15 years 4 months ago
2008
This paper describes a web-based interactive framework for the analysis and visualization of gene expressions and protein structures. The formulation of the proposed framework was ...
144
Voted
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
Abstract. Diffusion Tensor Imaging (DTI) is becoming a routine magnetic resonance technique to study white matter properties and alterations of fiber integrity due to pathology. Th...
133
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
While the new generation of hand-held devices, e.g., smart phones, support a rich set of applications, growing complexity of the hardware and runtime environment makes the devices...