Sciweavers

2144 search results - page 148 / 429
» Exact Flow Analysis
Sort
View
SAS
2009
Springer
281views Formal Methods» more  SAS 2009»
16 years 5 months ago
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
David Niedzielski, Jeffery von Ronne, Andreas Gamp...
ISBI
2007
IEEE
15 years 10 months ago
Validation of Optical-Flow for Quantification of Myocardial Deformations on Simulated 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 fourdimension...
Qi Duan, Elsa D. Angelini, Shunichi Homma, Andrew ...
CHI
2011
ACM
14 years 8 months ago
LifeFlow: visualizing an overview of event sequences
Event sequence analysis is an important task in many domains: medical researchers may study the patterns of transfers within the hospital for quality control; transportation exper...
Krist Wongsuphasawat, John Alexis Guerra Gó...
ICIP
2000
IEEE
16 years 6 months ago
Estimating Decoding Times of MPEG-2 Video Streams
This paper is motivated through the advantages offered by employing real-time (priority-driven) scheduling (RTS) for efficiently implementing quality-of-service guarantees. For em...
Lars-Olof Burchard, Peter Altenbernd
CHI
2007
ACM
16 years 4 months ago
An observational study on information flow during nurses' shift change
We present an observational study that was conducted to guide the design and development of technologies to support information flow during nurses' shift change in a hospital...
Charlotte Tang, M. Sheelagh T. Carpendale