Filters








48,066 Hits in 4.6 sec

Error checking with client-driven pointer analysis

Samuel Z. Guyer, Calvin Lin
2005 Science of Computer Programming  
This paper presents a new client-driven pointer analysis algorithm that automatically adjusts its precision in response to the needs of client analyses.  ...  We find that the clientdriven approach effectively balances cost and precision, often producing results as accurate as fixedprecision algorithms that are many times more costly.  ...  McKinley and Michael Hind for their valuable and insightful comments.  ... 
doi:10.1016/j.scico.2005.02.005 fatcat:hf6xhbktqnhgzmpvwtksturxk4

Client-Driven Pointer Analysis [chapter]

Samuel Z. Guyer, Calvin Lin
2003 Lecture Notes in Computer Science  
Related Work Previous work in various kinds of program analysis, including pointer analysis, has explored ways to reduce the cost of analysis while still producing an accurate result.  ...  Our client-driven algorithm addresses this problem specifically for the precision of pointer analysis. It is closely related to demand-driven algorithms and mixed-precision analyses.  ...  We would like to thank Kathryn S. McKinley, Michael Hind, and the anonymous reviewers for their valuable and insightful comments.  ... 
doi:10.1007/3-540-44898-5_12 fatcat:rec2nvkvajbsnaqhzvfkvevuju

The effects of the precision of pointer analysis [chapter]

Marc Shapiro, Susan Horwitz
1997 Lecture Notes in Computer Science  
We have carried out a number of experiments with flow-insensitive, context-insensitive pointer analyses to address the following questions: -How are the transitive effects of pointer analysis affected  ...  We also found that direct effects are good predictors of transitive effects, and that increased precision in points-to information not only causes a subsequent analysis to produce more precise results,  ...  Acknowledgements We would like to thank Bob Wardrop and Jonathan Goldstein for their helpful discussions of statistics.  ... 
doi:10.1007/bfb0032731 fatcat:2vwwrnhxxnavve35xrma2uaama

Calibration and sensitivity analysis of a novel water flow and pollution model for future city planning: Future Urban Stormwater Simulation (FUSS)

V. Prodanovic, B. Jamali, M. Kuller, Y. Wang, P. M. Bach, R. A. Coleman, L. Metzeling, D. T. McCarthy, B. Shi, A. Deletic
2022 Water Science and Technology  
By using minimal input data and adding stochastic point-source pollution to the build-up/wash-off approach, this study highlights calibration and sensitivity analysis of flow and pollution modules, across  ...  To quantify these changes, we need adaptable and fast models that can reliably explore scenarios without requiring extensive data and inputs.  ...  We also appreciate the help and support from Caroline Carvalho, Trish Grant, Paul Leahy, Sam LeRay, and Daniella Gerente.  ... 
doi:10.2166/wst.2022.046 pmid:35228347 fatcat:hyfwob566fgt5ni33uaf5obakq

Page 191 of None Vol. 20, Issue 4 [page]

1989 None  
The fast blood flow may reflect wash out of hydrogen from the arterial blood near the electrode surface. This two-compartment analysis assumes noninteraction of the compartments. If  ...  With the direct-fit method, this portion of the curve does not fit the model, and the fit is biased to the remaining points that are exponential.  ... 

Power Flow Analysis Of Weakly Meshed Distribution Network Including Dg

Abdulrahman Al-Sakkaf, Mohammad AlMuhain
2018 Zenodo  
All steady-state parameters for power distribution systems, such as bus voltage magnitudes, angles, power flows, and power losses, can be calculated by conducting power flow analysis.  ...  Radial and weakly meshed configurations are applied to the tested system with DG inclusion to investigate their influence on the power flow study findings.  ...  The results showed that all three methods are accurate, have good convergence, are insensitive to r/x ratios, and are suitable for large systems.  ... 
doi:10.5281/zenodo.1490376 fatcat:thdljs6bxngs5gls5hlou6i67m

Flow insensitive C++ pointers and polymorphism analysis and its application to slicing

Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo
1997 Proceedings of the 19th international conference on Software engineering - ICSE '97  
Some esamples of program slicing based on flow insensitive points-to analysis are presented.  ...  A consequence is that a flow and context insensitive points-to analysis exhibits an accuracy similar to that of the flow sensitive counterpart, since the results scarcely depend on flow and context.  ... 
doi:10.1145/253228.253371 dblp:conf/icse/TonellaAFM97 fatcat:cboihulquncmzcjm4mpe4jdzly

Fast and Accurate Waveform Analysis with Current Source Models

Vineeth Veetil, Dennis Sylvester, David Blaauw
2008 9th International Symposium on Quality Electronic Design (isqed 2008)  
We then present a novel technique to perform fast, accurate waveform analysis using CSMs.  ...  Second we propose a solution for fast and accurate run time waveform analysis utilizing the CSM.  ...  Acknowledgement The authors would like to gratefully acknowledge Intel Corporation for funding this work and Avi Efrati and Vladimir Tsipenyuk for their valuable suggestions.  ... 
doi:10.1109/isqed.2008.4479697 dblp:conf/isqed/VeetilSB08 fatcat:ny2migbninhavfz55xdttpchje

Precision-guided context sensitivity for pointer analysis

Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
2018 Proceedings of the ACM on Programming Languages (PACMPL)  
Accordingly, we provide an efficient algorithm to recognize these flow patterns in a given program and exploit them to yield good tradeoffs between analysis precision and speed.  ...  3.4X, and up to 9.2X).  ...  ACKNOWLEDGMENTS This work was supported by the European Research Council (ERC) under the FP7 and Horizon 2020 research and innovation programs (grant agreements 307334, 790340, and 647544).  ... 
doi:10.1145/3276511 fatcat:lh4xid4owbbj3b7htk74aouatu

Page 389 of American Ceramic Society Bulletin Vol. 51, Issue 4 [page]

1972 American Ceramic Society Bulletin  
The strain rates measured in the viscous flow region are sensitive to grain size, density and porosity distribution, whereas é in the high stress region is insensitive to the fore- going variables.  ...  Tests at a constant O/M=1.97 (93%U enrichment) show that the dependence of é on stress may be accurately described by a viscous flow law [é a o exp —(Q:/RT)] at low stresses (~<8000 psi) and a power-law  ... 

Static memory leak detection using full-sparse value-flow analysis

Yulei Sui, Ding Ye, Jingling Xue
2012 Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012  
Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse value-flow analysis for leak detection.  ...  Saber tracks the flow of values from allocation to free sites using a sparse valueflow graph (SVFG) that captures def-use chains and value flows via assignments for all memory locations represented by  ...  Building Full-Sparse SSA Form Since our pre-analysis is flow-and context-insensitive, Saber starts to exploit flow-and context-sensitivity from this point to improve its accuracy.  ... 
doi:10.1145/2338965.2336784 dblp:conf/issta/SuiYX12 fatcat:xmlghfbnlzawnk4dbss6pei64y

A probabilistic pointer analysis for speculative optimizations

Jeff Da Silva, J. Gregory Steffan
2006 Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII  
Many compiler optimizations rely on accurate pointer analysis, and to ensure correctness cannot optimize in the maybe case.  ...  Building on simple control-flow edge profiling, the analysis is both one-level context and flow sensitive-yet can still scale to large programs. ii  ...  types of flow insensitive points-to analyses.  ... 
doi:10.1145/1168857.1168908 dblp:conf/asplos/SilvaS06 fatcat:cohhfsmjfna5jhjmub524jypve

A probabilistic pointer analysis for speculative optimizations

Jeff Da Silva, J. Gregory Steffan
2006 SIGARCH Computer Architecture News  
Many compiler optimizations rely on accurate pointer analysis, and to ensure correctness cannot optimize in the maybe case.  ...  Building on simple control-flow edge profiling, the analysis is both one-level context and flow sensitive-yet can still scale to large programs. ii  ...  types of flow insensitive points-to analyses.  ... 
doi:10.1145/1168919.1168908 fatcat:iw46qhcuujf4pnfr27kywksgne

A probabilistic pointer analysis for speculative optimizations

Jeff Da Silva, J. Gregory Steffan
2006 SIGPLAN notices  
Many compiler optimizations rely on accurate pointer analysis, and to ensure correctness cannot optimize in the maybe case.  ...  Building on simple control-flow edge profiling, the analysis is both one-level context and flow sensitive-yet can still scale to large programs. ii  ...  types of flow insensitive points-to analyses.  ... 
doi:10.1145/1168918.1168908 fatcat:6uf3s6adtvdjxc6od3f6zwdggy

A probabilistic pointer analysis for speculative optimizations

Jeff Da Silva, J. Gregory Steffan
2006 ACM SIGOPS Operating Systems Review  
Many compiler optimizations rely on accurate pointer analysis, and to ensure correctness cannot optimize in the maybe case.  ...  Building on simple control-flow edge profiling, the analysis is both one-level context and flow sensitive-yet can still scale to large programs. ii  ...  types of flow insensitive points-to analyses.  ... 
doi:10.1145/1168917.1168908 fatcat:jvi37qdrvfbpvpa6jipbg5s2k4
« Previous Showing results 1 — 15 out of 48,066 results