搜索结果: 1-14 共查到“计算机软件 program”相关记录14条 . 查询时间(0.199 秒)
Welcome to the web site of the 25th International Conference on Program Comprehension. The International Conference on Program Comprehension (ICPC) is the principal venue for works in the area of prog...
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...
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 uni cation 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...
Massachusetts Institute of Technology launches IT program for Accenture workers
software engineering system integration
2007/5/21
May 17, 2007，To help meet the global demand for a highly skilled IT workforce, Accenture and the MIT office of Professional Education Programs (PEP) are working together to develop the Accenture Solut...
computer associationes Expands Consumer and Small Business Channel Program for In-Home PC Technicians
PC Protection Program software
2007/3/9
ISLANDIA, N.Y., February 28, 2007 – CA, Inc. (NYSE: CA) today announced it has expanded its portfolio of software products available to PC service technicians enrolled in its OnSite PC Protection Prog...