检索结果-内蒙古大学图书馆

Binary Rejuvenation: Applications and Challenges

IEEE SECURITY & PRIVACY 2016年第1期14卷 68-71页

作者： Oikonomopoulos, Angelos Giuffrida, Cristiano Rawat, Sanjay Bos, Herbert Vrije Univ Amsterdam Comp Syst Amsterdam Netherlands

Software engineers have long performed source code rejuvenation, or rewriting of obsolete or outdated programming idioms to modern counterparts. Inspired by this practice, the authors propose binary rejuvenation by up... 详细信息

关键词： program compilers programming languages software engineering source code (software) binary rejuvenation modern counterpart obsolete programming idiom outdated programming idiom source code rejuvenation Binary codes Computer security Cryptography program processors Software engineering binary rejuvenation compilation equivalence privacy security

来源：评论

学校读者我要写书评

暂无评论

Dealing With C's Original Sin

引用

IEEE SOFTWARE 2019年第5期36卷 24-28页

作者： Hathhorn, Chris Rosu, Grigore Runtime Verificat Inc Urbana IL 61801 USA Univ Illinois Formal Syst Lab Urbana IL USA

In the very early days of C, the compiler written by Dennis Ritchie and supplied with the UNIX operating system entirely defined the language. As the number of users and C implementations grew, however, so too did the need for a language standard-a contract between users and implementers about what should and should not count as C. This effort began in 1983 with the formation of a committee tasked with producing "an unambiguous and machine-independent definition of the language C" and led to the ANSI C Standard in 1989.1 In retrospect, it was not until this date, 17 years after the first compiler, when C's most notorious language feature slithered into the world: undefined behavior.

关键词： C Language Formal Specification program compilers Unix ANSI C Standard Compiler UNIX Operating System C Language Computer Languages Optimization Dynamic Compiler Operating Systems Optimizing compilers

来源：评论

学校读者我要写书评

暂无评论

THE ESTEREL LANGUAGE

引用

PROCEEDINGS OF THE IEEE 1991年第9期79卷 1293-1304页

作者： BOUSSINOT, F DESIMONE, R ECOLE NATL SUPER MINES APPL MATH CTR LABVALBONNEFRANCE INST NATL RECH INFORMAT & AUTOMAT F-06560 VALBONNEFRANCE

We present the basics of the ESTEREL reactive model of synchronous parallel systems. We illustrate the ESTEREL programming style, based on "instantaneous communications and decisions" through the example of a mouse handler. We briefly describe the ESTEREL formal semantics and show how programs can be compiled into finite states sequential machines for efficient execution. The up to date implementation is described together with the ESTEREL environment, including simulation, and verification and validation tools. Finally, we report on some ESTEREL uses in various contexts.

关键词： ESTEREL environment ESTEREL formal semantics ESTEREL reactive model finite state sequential machines instantaneous communications mouse handler parallel programming program compilers program verification programming environments simulation synchronous parallel systems validation tools verification

来源：评论

学校读者我要写书评

暂无评论

A layered software architecture for quantum computing design tools

引用

COMPUTER 2006年第1期39卷 74-+页

作者： Svore, KM Aho, AV Cross, AW Chuang, I Markov, IL Columbia Univ Dept Comp Sci New York NY 10027 USA MIT Dept Elect Engn & Comp Sci Cambridge MA 02139 USA MIT Media Lab Ctr Bits & Atoms Quanta Grp Cambridge MA 02139 USA MIT Dept Phys Cambridge MA 02139 USA Univ Michigan Dept Elect Engn & Comp Sci Ann Arbor MI 48109 USA

Despite convincing laboratory demonstrations of quantum information processing, it remains difficult to scale because it relies on inherently noisy components. Adequate use of quantum error correction and fault tolerance theoretically should enable much better scaling, but the sheer complexity of the techniques involved limits what is achievable today. The authors propose a layered software architecture consisting of a four-phase computer-aided design flow that assists with such computations by mapping a high-level language source program representing a quantum algorithm onto a quantum device. By weighing different optimization and error-correction procedures at appropriate phases of the design flow, researchers, algorithm designers, and tool builders can trade off performance and accuracy.

关键词： electronic design automation program compilers quantum computing softwarearchitecture computer-aided design tool four-phase design flow layered software architecture nanoscale quantum-mechanical system control program compiler quantum computing Design t

来源：评论

学校读者我要写书评

暂无评论

ADA AND SOFTWARE RE-USE

引用

SOFTWARE ENGINEERING JOURNAL 1988年第5期3卷 177-183页

作者： BOTT, MF WALLIS, PJL UNIV COLL WALES DEPT COMP SCIABERYSTWYTH SY23 3BZDYFEDWALES UNIV BATH SCH MATH SCIBATH BA2 7AYAVONENGLAND

The development of the Ada language precipitated a number of studies of Ada software re-use. This paper presents some of the authors' conclusions from such studies, with references to the available Ada literature.

关键词： system models software engineering compilers, interpreters and other processors software reusability software reuse Software engineering techniques program compilers Unix Ada High level languages compilers

来源：评论

学校读者我要写书评

暂无评论

Using FORTRAN 90 and object-oriented programming to accelerate code development

引用

IEEE ANTENNAS AND PROPAGATION MAGAZINE 1999年第6期41卷 85-90页

作者： Carr, M Univ Michigan Radiat Lab Ann Arbor MI 48109 USA

In this paper, we examine the object-oriented programming (OOP) capabilities of FORTRAN 90 and their applications to numerical electromagnetic codes. Specifically, we will define an object representing a three-dimensional vector, and illustrate how objects can streamline code development by reducing the number of subroutines and the potential for programmer errors.

关键词： programming object oriented programming program compilers computational electromagnetics

来源：评论

学校读者我要写书评

暂无评论

QP test: a dependence test for quadratic array subscripts

引用

IET SOFTWARE 2013年第5期7卷 271-282页

作者： Zhao, Jie Zhao, Rongcai Han, Lin Xu, Jinlong State Key Lab Math Engn & Adv Comp Wuxi 214125 Peoples R China

Traditional dependence tests detect dependences with linear array subscripts, but only give passive results to those with non-linear expressions. It may result in a multitude of pseudo-dependences. To maximise the parallelism of applications and improve an optimising compiler's ability of detecting dependences between program statements, it is necessary to develop a non-linear dependence test to eliminate these pseudo-dependences. This study presents a new non-linear dependence test by analysing the optimal solution of the quadratic subscripts with the index bounds constraints. The authors prove that the non-linear dependences caused by subscripts, which can be written in the form of quadratic programming model, are able to be detected, and introduce a non-linear dependence testing algorithm based on quadratic programming. The effectiveness of this algorithm is verified. The authors developed a prototype implementation of the test with the Open64 compiler and evaluated it using some real world applications from Perfect Club benchmarks and Spec2006 benchmark suites. The experimental results indicate that, compared to existing testing methods, the quadratic programming (QP) test is more efficient for quadratic cases.

关键词： parallel processing program compilers quadratic programming QP test dependence test quadratic array subscripts linear array subscripts nonlinear expressions pseudo dependences program statements nonlinear dependence quadratic subscripts index bounds constraints quadratic programming model prototype implementation Open64 compiler perfect club benchmarks parallel processing program compiler

来源：评论

学校读者我要写书评

暂无评论

EXPLOITING THE PARALLELISM AVAILABLE IN LOOPS

引用

COMPUTER 1994年第2期27卷 13-26页

作者： LILJA, DJ UNIV MINNESOTA DEPT COMP SCIMINNEAPOLISMN 55455

Because a loop's body often executes many times, loops provide a rich opportunity for exploiting parallelism. This article explains scheduling techniques and compares results on different architectures. Since parallel architectures differ in synchronization overhead, instruction scheduling constraints, memory latencies, and implementation details, determining the best approach for exploiting parallelism can be difficult. To indicate their performance potential, this article surveys several architectures and compilation techniques using a common notation and consistent terminology. First we develop the critical dependence ratio to determine a loop's maximum possible parallelism, given infinite hardware. Then we look at specific architectures and techniques. Loops can provide a large portion of the parallelism available in an application program, since the iterations of a loop may be executed many times. To exploit this parallelism, however, one must look beyond a single basic block or a single iteration for independent operations. The choice of technique depends on the underlying architecture of the parallel machine and the characteristics of each individual loop

关键词： compilation techniques critical dependence ratio instruction scheduling constraints loops memory latencies parallel architectures parallel architectures parallel programming parallelism program compilers scheduling scheduling techniques synchronization overhead

来源：评论

学校读者我要写书评

暂无评论

Habitation: A Domain-Specific Language for Home Automation

引用

IEEE SOFTWARE 2009年第4期26卷 30-38页

作者： Jimenez, Manuel Rosique, Francisca Sanchez, Pedro Alvarez, Barbara Iborra, Andres Tech Univ Cartagena Dept Elect Technol Cartagena Spain

The appearance of model-driven engineering (MDE) has invigorated research on domain-specific languages (DSLs) and automatic code generation. MDE uses models to build software, thereby displacing source code as the development process\'s main feature. DSLs provide easy, intuitive descriptions of the system using graphic models. In this new context, DSLs facilitate work in the first design stages. In addition, MDE helps reduce DSL development costs. It therefore represents a synergistic union that can significantly improve software development.

关键词： computer graphics home automation object-oriented programming program compilers specification languages Habitation-domain-specific language automatic code generation graphic model model-driven engineering software development source code domain-specific languages visual languages Software design compilers Model driven engineering Graphical models object oriented programming visual languages COMPUTER GRAPHICS home automation Source code computer software specification description language Code generation

来源：评论

学校读者我要写书评

暂无评论

Parameterized looped schedules for compact representation of execution sequences in DSP hardware and software implementation

引用

IEEE TRANSACTIONS ON SIGNAL PROCESSING 2007年第6期55卷 3126-3138页

作者： Ko, Ming-Yung Zissulescu, Claudiu Puthenpurayil, Sebastian Bhattacharyya, Shuvra S. Kienhuis, Bart Deprettere, Ed F. Univ Maryland Dept Elect & Comp Engn College Pk MD 20742 USA Leiden Univ Leiden Inst Adv Comp Sci NL-2333 CA Leiden Netherlands Univ Maryland Inst Adv Comp Studies College Pk MD 20742 USA

In this paper, we present a technique for compact representation of execution sequences in terms of efficient looping constructs. Here, by a looping construct, we mean a compact way of specifying a finite repetition of a set of execution primitives. Such compaction, which can be viewed as a form of hierarchical run-length encoding (RLE), has application in many very large scale integration (VLSI) signal processing contexts, including efficient control generation for Kahn processes on field-programmable gate arrays (FPGAs), and software synthesis for static dataflow models of computation. In this paper, we significantly generalize previous models for loop-based code compaction of digital signal processing (DSP) programs to yield a configurable code compression methodology that exhibits a broad range of achievable tradeoffs. Specifically, we formally develop and apply to DSP hardware and software synthesis a parameterizable loop scheduling approach with compact format, dynamic reconfigurability, and low-overhead decompression.

关键词： design automation embedded systems field-programmable gate arrays (FPGAs) high-level synthesis program compilers reconfigurable design signal processing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：