搜索结果: 91-105 共查到“知识库 计算机软件”相关记录5799条 . 查询时间(0.781 秒)
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...
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allowing us to focus attent...
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...
Region-based memory management systems structure memory by grouping objects in regions under program control.Memory is reclaimed by deleting regions, freeing all objects stored therein. Our compiler f...
Video-Based Document Tracking: Unifying Your Physical and Electronic Desktops
Your Physical Electronic Desktops
2016/5/24
This paper presents an approach for tracking paper documents
on the desk over time and automatically linking them
to the corresponding electronic documents using an overhead
video camera. We demons...
Digital photography has made it possible to quickly and easily
take a pair of images of low-light environments: one with flash to
capture detail and one without flash to capture ambient illumination...
Identification and Validation of Cognitive Design Principles for Automated Generation of Assembly Instructions
Diagrams design principles visual instructions assembly instructions spatial ability
2016/5/24
Designing effective instructions for everyday products is
challenging. One reason is that designers lack a set of design
principles for producing visually comprehensible and accessible
instructions...
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...
Designing Effective Step-By-Step Assembly Instructions
Visualization Assembly Instructions
2016/5/24
We present design principles for creating effective assembly instructions
and a system that is based on these principles. The principles
are drawn from cognitive psychology research which investigat...
Physically-Based Manipulation on the Responsive Workbench
Responsive Workbench Physically-Based Manipulation
2016/5/24
This paper describes how a physical simulation can be
integrated with our Responsive Workbench system to support
complex assembly tasks involving multiple hands and
users. Our system uses the CORIO...
The Two-User Responsive Workbench: Support for Collaboration Through Individual Views of a Shared Space
Virtual environments Responsive Workbench
2016/5/24
We present the two-user Responsive Workbench: a projectionbased
virtual reality system that allows two people to simultaneously
view individual stereoscopic image pairs from their own
viewpoints. T...
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...
This paper describes a mostly automatic method for taking the output
of a single panning video camera and creating a panoramic
video texture (PVT): a video that has been stitched into a single,
wid...
Toward Universal Mobile Interaction for Shared Displays
Mobile Devices Platform Shared Displays
2016/5/24
Researchers have noted conflicting trends in collaboration
technologies between delivering more information on larger
displays and exploiting mobility on smaller devices. Large,
shared displays pro...