Sciweavers

773 search results - page 57 / 155
» Program Slicing by Calculation
Sort
View
90
Voted
SAS
1999
Springer
15 years 4 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
105
Voted
CAL
2006
15 years 19 days 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
CPHYSICS
2006
103views more  CPHYSICS 2006»
15 years 18 days 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
90
Voted
SERP
2007
15 years 2 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
113
Voted
ISBI
2009
IEEE
15 years 7 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...