50 search results - page 6 / 10 » Branch and Track |
CC
2007
Springer
14 years 1 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
MICCAI
2002
Springer
14 years 8 months ago
2002
Springer
The development of Diffusion Tensor MRI has raised hopes in the neuro-science community for in vivo methods to track fiber paths in the white matter. A number of approaches have be...
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
FAST
2009
13 years 5 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
PICS
2000
13 years 9 months ago
2000
Eastman Kodak Company is using a scanner-based image quality measurement system to perform production line testing of the image quality of a high-quality thermal media based imagi...