Sciweavers

1178 search results - page 7 / 236
» Static and Dynamic Evaluation of Data Dependence Analysis
Sort
View
SCAM
2003
IEEE
14 years 23 days ago
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
Matthieu Martel
ISSTA
2010
ACM
13 years 11 months ago
Strict control dependence and its effect on dynamic information flow analyses
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang...
FCCM
2009
IEEE
172views VLSI» more  FCCM 2009»
14 years 2 months ago
Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
Jason Cong, Karthik Gururaj, Bin Liu, Chunyue Liu,...
IPPS
2007
IEEE
14 years 1 months ago
Dependability Modeling and Analysis in Dynamic Systems
Dependability evaluation is an important, often indispensable, step in (critical) systems design and analysis pro
Salvatore Distefano, Antonio Puliafito
ASUNAM
2009
IEEE
14 years 18 days ago
Filtering Spam in Social Tagging System with Dynamic Behavior Analysis
—Spam in social tagging systems introduced by some malicious participants has become a serious problem for its global popularizing. Some studies which can be deduced to static us...
Bo Liu, Ennan Zhai, Huiping Sun, Yelu Chen, Zhong ...