Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González

Source URL: web.cs.ucdavis.edu

• Software engineering
• Compiler optimizations
• Compiler construction
• Programming language theory
• Computing
• Data-flow analysis
• Control flow graph
• Variable
• Scope
• Static single assignment form
• Aliasing
• Program analysis

Static Analysis of Programs with Imprecise Probabilistic Inputs Assale Adje2 , Olivier Bouissou1 , Jean Goubault-Larrecq2 , Eric Goubault1 , and Sylvie Putot1 1 CEA LIST

Source URL: www.lix.polytechnique.fr

• Probability theory
• Mathematics
• Analysis
• Theoretical computer science
• Sigma-algebra
• Symbol
• Denotational semantics
• Probability distribution
• Abstract interpretation
• Random variable

Microsoft Word - Asiedu_et_al.docx

Source URL: afea.info

• Dummy variable
• Regression analysis
• Economics
• Static single assignment form

B U L L E T I N Static Frequency ConverterkVA

Source URL: www.euroatlas.de

• Electromagnetism
• Electrical engineering
• Engineering
• Electric power conversion
• Electric power
• Frequency changer
• Power factor
• Mains electricity
• Utility frequency
• Transformer
• Rectifier
• Variable-frequency drive

A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail Auguston

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Computer programming
• Concurrent programming languages
• Dependence analysis
• Static program analysis
• Information flow
• Program slicing
• Scope
• ALGOL 68
• Variable
• XC

Oak Ridge National Laboratory Computing and Computational Sciences Preparing OpenSHMEM for Exascale Presented by:

Source URL: hpcadvisorycouncil.com

• Memory management
• Parallel computing
• Computer buses
• Static variable
• Sizeof
• Variable
• C dynamic memory allocation
• OpenMP
• PCI Express
• Computing
• Software engineering
• Computer programming

THE ADVANCED COMPUTING SYSTEMS ASSOCIATION The following paper was originally published in the Proceedings of the USENIX Annual Technical Conference Monterey, California, USA, June 6-11, 1999

Source URL: static.usenix.org

• World Wide Web
• Scripting languages
• Uniform resource locator
• Unix
• Common Gateway Interface
• Form
• Shell script
• Environment variable
• CGI.pm
• Computing
• System software
• Software

Table 1 Optimal configurations under different responses to climate adaptation Component Variable Unit Existing design Static/robust design Managed/adaptable design

Source URL: static-content.springer.com

A Soft Constraint of Equality: Complexity and Approximability? Emmanuel Hebrard, Barry O’Sullivan, and Igor Razgon Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {e.

Source URL: homepages.laas.fr

• Mathematics
• Local consistency
• Constraint satisfaction
• Constraint optimization
• Mathematical optimization
• Static single assignment form
• FO
• Variable
• Parameterized complexity
• Constraint programming
• Software engineering
• Theoretical computer science

Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths. Sriram Sankaranarayanan Aleksandar Chakarov

Source URL: research.microsoft.com

• Normal distribution
• PP
• Random variable
• Probability density function
• Importance sampling
• Statistical hypothesis testing
• Variance
• Test Data Generation
• Probability box
• Statistics
• Probability and statistics
• Probability theory