Sciweavers

773 search results - page 57 / 155
» Program Slicing by Calculation
Sort
View
SAS
1999
Springer
15 years 6 months ago
Eliminating Dead Code on Recursive Data
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
Yanhong A. Liu, Scott D. Stoller
CAL
2006
15 years 2 months ago
A Case for Compressing Traces with BDDs
Instruction-level traces are widely used for program and hardware analysis. However, program traces for just a few seconds of execution are enormous, up to several terabytes in siz...
Graham D. Price, Manish Vachharajani
125
Voted
CPHYSICS
2006
103views more  CPHYSICS 2006»
15 years 2 months ago
WATERWAVES: wave particles dynamics on a complex triatomic potential
The WATERWAVES program suite performs complex scattering calculations by propagating a wave packet in a complex, full-dimensional potential for non-rotating (J = 0) but vibrating ...
Simone Taioli, Jonathan Tennyson
SERP
2007
15 years 3 months ago
Developing an Online Function Reader
A function reader is a program that can read an input function and evaluate the function for a given input value at run time. Any Computer Algebra System and Graphing Calculator ar...
Mingshen Wu, Weihu Hong
127
Voted
ISBI
2009
IEEE
15 years 9 months ago
LV Surface Reconstruction from Sparse TMRI Using Laplacian Surface Deformation and Optimization
We propose a novel framework to reconstruct the left ventricle (LV)’s 3D surface from sparse tagged-MRI (tMRI). First we acquire an initial surface mesh from a dense tMRI. Then ...
Shaoting Zhang, Xiaoxu Wang, Dimitris Metaxas, Tin...