搜索结果: 121-135 共查到“知识库 计算机软件”相关记录5793条 . 查询时间(3.998 秒)
Singe: Leveraging Warp Specialization for High Performance on GPUs
warp specialization warp-specializing compiler GPU DSL
2016/5/24
We present Singe, a Domain Specific Language (DSL) compiler for combustion chemistry that leverages warp specialization to produce high performance code for GPUs. Instead of relying on traditional GPU...
First-class Runtime Generation of High-performance Types using Exotypes
First-class Runtime Generation High-performance Types Exotypes
2016/5/24
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dyna...
Stochastic Optimization of Floating Point Programs with Tunable Precision
64-bit x86 x86-64, Binary Markov Chain Monte Carlo MCMC Stochastic Search SMT Floating-Point Precision
2016/5/24
The aggressive optimization of floating-point computations is an important problem in high-performance computing. Unfortunately,floating-point instruction sets have complicated semantics that often fo...
We present techniques for automatically parsing existing sewing
patterns and converting them into 3D garment models. Our parser
takes a sewing pattern in PDF format as input and starts by extracting...
Apposcopy: Semantics-Based Detection of Android Malware Through Static Analysis
Android Inter-component Call Graph Taint Analysis
2016/5/24
We present Apposcopy, a new semantics-based approach for identifying a prevalent class of Android malware that steals private user information. Apposcopy incorporates (i) a highlevel language for spec...
Specification Inference Using Context-Free Language Reachability
program analysis verification specification inference
2016/5/24
We present a framework for computing context-free language reachability properties when parts of the program are missing. Our framework infers candidate specifications for missing program pieces that ...
Proton++: A Customizable Declarative Multitouch Framework
Proton++ custom attributes touch events symbols regular expressions gesture tablature
2016/5/24
Proton++ is a declarative multitouch framework that allows
developers to describe multitouch gestures as regular expressions
of touch event symbols. It builds on the Proton framework
by allowing de...
Proton: Multitouch Gestures as Regular Expressions
Multitouch UI framework Regular expressions Conflict detection Gesture tablature editor
2016/5/24
Current multitouch frameworks require application developers
to write recognition code for custom gestures; this code is
split across multiple event-handling callbacks. As the number
of custom gest...
We present a semi-automated technique for selectively deanimating
video to remove the large-scale motions of one or more
objects so that other motions are easier to see. The user draws
strokes to i...
Conditionally Correct Superoptimization
Binary Analysis Compilers Markov Chain Monte Carlo
2016/5/24
The aggressive optimization of heavily used kernels is an important problem in high-performance computing. However,both general purpose compilers and highly specialized tools such as superoptimizers o...
Regent: A High-Productivity Programming Language for HPC with Logical Regions
Regent Legion logical regions task-based runtimes
2016/5/24
We present Regent, a high-productivity programming language for high performance computing with logical regions. Regent users compose programs with tasks (functions eligible for parallel execution) an...
Analysis of Application Sensitivity to System Performance Variability in a Dynamic Task Based Runtime
Application Sensitivity System Performance Variability Dynamic Task Based Runtime
2016/5/24
Application scalability can be significantly impacted by node level performance variability in HPC. While previous studies have demonstrated the impact of one source of variability,OS noise, in messag...
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
ISA specification program synthesis x86-64
2016/5/24
The x86-64 ISA sits at the bottom of the software stack of most desktop and server software. Because of its importance,many software analysis and verification tools depend, either explicitly or implic...
A Development Environment for Horizontal Microcode
Index Terms{mi ro ode ompa tion Per olation S heduling environment
2016/5/24
A Development Environment for Horizontal Microcode.
Safe-A Semantic Technique for Transforming Programs in the Presence of Errors
equational reasoning exceptions program optimization program transformation
2016/5/24
Language designers and implementors have avoided specifying and preserving the meaning of programs that produce errors. This is apparently because being forced to preserve error behavior severely limi...