Sciweavers

1403 search results - page 85 / 281
» Quantitative Interprocedural Analysis
Sort
View
ISBI
2006
IEEE
14 years 4 months ago
Comparing optical-flow based methods for quantification of myocardial deformations on RT3D ultrasound
Quantitative analysis of cardiac motion is of great clinical interest in assessing ventricular function. Real-time 3-D (RT3D) ultrasound transducers provide valuable threedimensio...
Qi Duan, Elsa D. Angelini, Olivier Gérard, ...
ISLPED
1999
ACM
47views Hardware» more  ISLPED 1999»
14 years 3 months ago
Databus charge recovery: practical considerations
The charge recovery databus is a scheme which reduces energy consumption through the application of adiabatic circuit techniques. Previous work 2 gives a solid theoretical analysi...
Benjamin Bishop, Mary Jane Irwin
CSB
2005
IEEE
139views Bioinformatics» more  CSB 2005»
14 years 4 months ago
Open Microscopy Environment
High-throughput scoring of image-based biological assays heavily depends on the extraction of quantitative numerical information from microscopy images. This paper describes how t...
Ilya G. Goldberg
OOPSLA
2007
Springer
14 years 5 months ago
Probabilistic calling context
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
Michael D. Bond, Kathryn S. McKinley
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
14 years 4 months ago
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
Divya Arora, Srivaths Ravi, Anand Raghunathan, Nir...