50 search results - page 6 / 10 » Branch and Track |
CC
2007
Springer
15 years 3 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
15 years 10 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
15 years 3 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
14 years 7 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
14 years 11 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...