搜索结果: 1-15 共查到“计算机科学技术 into the program”相关记录29条 . 查询时间(0.093 秒)
New program to support translational research in AI, data science, and machine learning(图)
人工智能 数据科学 机器学习转化
2023/6/20
New program bolsters innovation in next-generation artificial intelligence hardware(图)
人工智能 硬件 量子时代
2023/6/20
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...
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.