工学 >>> 计算机科学技术 >>> 计算机软件 >>> 编译系统 >>>
搜索结果: 1-15 共查到知识库 编译系统相关记录223条 . 查询时间(1.625 秒)
The compiler course is a xture of undergraduate computer science education. Most CS programs o er 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...
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...
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...
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...
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...
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...
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...
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、MIC总线传输协议特点基础上,提出一种通用装甲车辆串行总线性能测试方法,并通过对CAN和1553B性能测试进行了实验验证。结果表明:利用物理层采样数据与软件译码方法可以实现对现有车辆串行总线性能测试通用性要求。
Field Programmable MCM Systems--Design of an Interconnection Frame.
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...
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...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...