搜索结果: 1-15 共查到“知识库 编译系统”相关记录223条 . 查询时间(6.177 秒)
Cool: A Portable Project for Teaching Compiler Construction
Cool Portable Project Teaching Compiler Construction
2016/5/25
The compiler course is a xture of undergraduate computer science education. Most CS programs oer a course on compilers that includes a substantial pro ject where students write a compiler for a smal...
We present Sequoia, a programming language designed to facilitate the development of memory hierarchy aware parallel programs that remain portable across modern machines featuring different memory hie...
Generating Photo Manipulation Tutorials by Demonstration
photo-editing tutorials macros programming-bydemonstration
2016/5/24
We present a demonstration-based system for automatically generating
succinct step-by-step visual tutorials of photo manipulations.
An author first demonstrates the manipulation using an instrumente...
Perceptual Guidelines for Creating Rectangular Treemaps
Graphical Perception Visualization Treemaps Rectangular Area Visual Encoding Experiment Mechanical Turk
2016/5/24
Treemaps are space-filling visualizations that make efficient use of limited display space to depict large amounts of hierarchical
data. Creating perceptually effective treemaps requires carefully ma...
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...
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...
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities Over Integers
Complete Practical Technique Linear Inequalities Over Integers
2016/5/24
We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generalization of the branch-and-bound t...
Counter Braids: Asymptotic Optimality of the Message Passing Decoding Algorithm
Counter structure braids high-speed link counter braid
2015/8/21
A novel counter architecture, called Counter Braids, has recently been proposed for per-flow counting on high-speed links. Counter Braids has a layered structure and compresses the flow si...
一种通用装甲车辆串行总线性能测试方法
CAN总线 1553B总线 性能测试 软件译码
2016/4/1
针对现有车辆总线测试设备仅能完成单一种类网络数据链路层传输性能测试,无法满足串行总线测试通用性需求的问题。在分析了CAN、1553B、MIC总线传输协议特点基础上,提出一种通用装甲车辆串行总线性能测试方法,并通过对CAN和1553B性能测试进行了实验验证。结果表明:利用物理层采样数据与软件译码方法可以实现对现有车辆串行总线性能测试通用性要求。
Regenerative Feedback Repeaters for Programmable Interconnections
Regenerative Feedback Repeaters Programmable Interconnections
2015/8/14
Regenerative Feedback Repeaters for Programmable Interconnections.
Field Programmable MCM Systems--Design of an Interconnection Frame
Field Programmable MCM Systems Interconnection Frame
2015/8/14
Field Programmable MCM Systems--Design of an Interconnection Frame.
A System and Language for Building System-Specific,Static Analyses
Extensible compilation error detection
2015/8/7
This paper presents a novel approach to bug-finding analysis and an implementation of that approach. Our goal is to find as many serious bugs as possible. To do so, we designed a flexible, easy-to-use...
Recently there has been a great deal of interest in the power of ``Quantum Computers''. The driving force is the recent beautiful result of Shor that shows that discrete log and factoring are solvable...
Preventing pollution attacks in multi-source network coding
multi-source network coding pollution attacks
2015/8/5
Network coding is a method for achieving channel capacity in networks. The key idea is to allow network routers to linearly mix packets as they traverse the network so that recipients receive linear c...