搜索结果: 1-15 共查到“知识库 计算机科学技术 program”相关记录20条 . 查询时间(0.046 秒)
Building a Better Backtrace: Techniques for Postmortem Program Analysis
Building Better Backtrace Techniques Postmortem Program Analysis
2016/5/25
After a program has crashed, it can be difficult to reconstruct why the failure occurred, or what actions led to the error. We propose a family of analysis techniques that use the evidence left behind...
Saturn is a system for the static analysis of programs. Saturn aims to be both highly scalable and precise, with the goal of eventually being able to verify the absence of certain kinds of bugs in rea...
Advice for Program Chairs
Program Chairs
2016/5/25
The title says it all: This document is written for people who are, will be, or think they might want to be the program chair for a technical conference.I am a former program chair for POPL (the ACM S...
A laudable trend of the past two decades has been the increased use of denotational semantics to guide the design and implementation of programming languages.Semantics-driven language design has produ...
Constraint-based program analyses are appealing because elaborate analyses can be described with a concise and simple set of constraint generation rules. Constraint resolution algorithms have been dev...
Program Analysis Using Mixed Term and Set Constraints
Program Analysis Mixed Term Set Constraints
2016/5/24
There is a tension in program analysis between precision and eciency. In constraint-based program analysis, at one extreme methods based on unication of equality constraints over terms are very fast...
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Constructing Type Constraint-Based Program Analyses
2016/5/24
BANE (the Berkeley Analysis Engine) is a publicly available toolkit for constructing type- and constraint-based program analyses.1 We describe the goals of the pro ject, the rationale for BANE's overa...
Bug Isolation via Remote Program Sampling
bug isolation random sampling assertions feature selection statistical debugging logistic regression
2016/5/24
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrate ways to use sampled i...
Relational Queries Over Program Traces
Partiqle PTQL program trace query language relational
2016/5/24
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by programmers, or automaticall...
Understanding the Behavior of Database Operations under Program Control
D.2.3 [Software Engineering]:Coding Tools Techniques
2016/5/24
Applications that combine general program logic with persistent databases (e.g., three-tier applications) often suffer large performance penalties from poor use of the database. We introduce a program...
Bias-Variance Tradeoffs in Program Analysis
Program Analysis Machine Learning Verification
2016/5/24
It is often the case that increasing the precision of a program analysis leads to worse results. It is our thesis that this phenomenon is the result of fundamental limits on the ability to use precise...
Introduction to Set Constraint-Based Program Analysis
Set Constraint-Based Program Analysis
2016/5/24
Introduction to Set Constraint-Based Program Analysis.
The optimization of short sequences of loop-free, fixed-point assembly code sequences is an important problem in highperformance computing. However, the competing constraints of transformation correct...
HASH: a Program to Accurately Predict Protein Ha Shifts from Neighboring Backbone Shifts
Nuclear magnetic resonance (NMR) Chemical shift prediction Machine learning
2016/1/23
Chemical shifts provide not only peak identities for analyzing nuclear magnetic resonance (NMR) data, but also an important source of conformational information for studying protein structures. Curren...
From Natural Language Specifications to Program Input Parsers
Program Input Parsers Natural Language
2014/11/26
From Natural Language Specifications to Program Input Parsers。