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

Pythran: Crossing the Python Frontier

COMPUTING IN SCIENCE & ENGINEERING 2018年第2期20卷 83-89页

作者： Guelton, Serge Inst Mines Telecom Bretagne Plouzane France

Use of the Python language in scientific computing has always been characterized by the coexistence of interpreted Python code and compiled native code, written in languages like C or Fortran. This column takes a fresh look at the problem and introduces Pythran, a new optimization tool designed to efficiently handle unmodified Python code.

关键词： FORTRAN Object Oriented programming program compilers program Interpreters Pythran Unmodified Python Code Python Language Scientific Computing Interpreted Python Code Compiled Native Code Optimization C Languages programming Scientific Computing program Processors Scientific programming Scientific Computing Pythran Python Coding

来源：评论

学校读者我要写书评

暂无评论

Energy reduction of the fetch mechanism through dynamic adaptation

引用

IET COMPUTERS AND DIGITAL TECHNIQUES 2008年第2期2卷 94-107页

作者： del Pino, S. Chaver, D. Pinuel, L. Prieto, M. Tirado, F. Univ Complutense Madrid ArTeCS Grp Madrid Spain

A highly efficient fetch unit is essential not only to obtain good performance but also to achieve energy efficiency. However, existing commercial fetch designs are not adaptable and depending on the program behaviour, they can be either insufficient or an overkill. A phase-based adaptive fetch mechanism that can be dynamically adjusted based on feedback information of the program behaviour is introduced. This design adds very little hardware complexity and relegates complex tasks to the software components. It is also very effective: saving 35% and 52% fetch energy on an average compared with a conventional and a trace cache-based fetch unit, respectively. At the same time, performance is improved by 4.7% and 0.8%, respectively.

关键词： energy reduction feedback information phase-based adaptive fetch mechanism program behaviour dynamic adaptation cache storage program compilers

来源：评论

学校读者我要写书评

暂无评论

VP_TT: A value propagation based equivalence checker for testability transformations

引用

IET SOFTWARE 2021年第1期15卷 147-159页

作者： Chouksey, Ramanuj Maddheshiya, Sachin Kumar Karfa, Chandan Indian Inst Technol Dept Comp Sci & Engn Gauhati 781039 India

Testability transformation (TT) is a source-to-source programme transformation that aims to improve the ability of a given test generation method to generate test data for the original programme. Herein, the correctness of testability transformations is shown. Translation validation is the process of proving that the transformed programme is a correct translation of the source programme being compiled. It is widely used to verify the correctness of various compiler optimizations and transformations during scheduling. The value propagation based equivalence checking (VP) method is an efficient translation validation approach proposed to verify the correctness of various compiler optimization applied during scheduling in high-level synthesis. VP-based translation validation of testability transformations is proposed. In particular, it is identified that the existing VP method fails to show the equivalence for some of the TTs. A dynamic cutpoint selection scheme and an enhancement to the VP method to overcome these limitations are shown. The enhanced VP method, called VP_TT, successfully shows the equivalence for the TTs where the VP method fails. Experimental results confirm the usefulness of VP_TT in the verification of testability transformations.

关键词： data analysis formal verification program compilers program testing program verification

来源：评论

学校读者我要写书评

暂无评论

EXECUTABLE SPECIFICATIONS AND CASE

引用

SOFTWARE ENGINEERING JOURNAL 1994年第4期9卷 174-182页

作者： GASKELL, C PHILLIPS, R UNIV HULL DEPT COMP SCIKINGSTON HULL HU6 7RXN HUMBERSIDEENGLAND

The idea of executing graphical system models is not new. Several accounts of research in this area are well documented. Despite this, such research is still in its infancy, particularly in relation to CASE environments and the practical application of ideas. The paper considers executability within CASE, with a focus on executable specifications. The importance of executability is highlighted, and some of the work in the field is noted. An experimental executable specification tool is presented. The final conclusions drawn take a look into the envisaged future of executability in CASE.

关键词： visual programming software tools formal specification executable specification tool programming support compilers, interpreters and other processors executable specifications Software engineering techniques program compilers CASE CASE environments executability graphical system models

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of VLIW compilation techniques

引用

IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES 2000年第2期147卷 117-123页

作者： Moon, SM Park, S Seoul Natl Univ Sch Elect Engn KwanAK Gu Seoul 151742 South Korea

VLIW machines derive their performance advantage from the parallel execution of independent instructions that have been scheduled by the compiler. The paper evaluates the performance impact of a set of important VLIW compilation techniques on non-numerical integer programs. In particular, several key scheduling approaches, including software pipelining versus loop unrolling, DAG-based versus trace-based global scheduling, all-path versus profiled speculation, and restricted versus unrestricted speculative loads, are compared. The evaluation is performed on a uniform VLIW testbed where a relatively fair comparison of these scheduling approaches can be made. The result provides a meaningful insight into the relative benefits of each approach.

关键词： compilers, interpreters and other processors Parallel architecture directed graphs Performance evaluation and testing performance analysis program compilers Combinatorial mathematics VLIW compilation techniques software pipelining integer programs VLIW machines scheduling parallel architectures performance evaluation loop unrolling

来源：评论

学校读者我要写书评

暂无评论

AN OPTIMIZING COMPILER FOR AN SPAP ARCHITECTURE USING AI TOOLS

引用

COMPUTER 1992年第6期25卷 39-48页

作者： AZARIA, H DVIR, A TADIRAN COMMUN GRP DIV COMMUN SYSTHOLONISRAEL

A methodology that allows users to efficiently bridge the gap between high-level language and low-level microcode when implementing intensive mathematical operations and manipulations algorithms is discussed. The use of an optimized special-purpose array processor (SPAP) architecture for numerical computation and a host microprocessor for nonnumerical computation operations is described. The advantages of the optimizing compiler, the target architecture, and the compiler's implementation using AI tools are examined

关键词： AI tools KBS SPAP architecture high-level language knowledge based systems low-level microcode mathematical operations mathematics computing numerical computation optimizing compiler program compilers special-purpose array processor

来源：评论

学校读者我要写书评

暂无评论

HIGH-PERFORMANCE LOGIC programMING WITH THE AQUARIUS PROLOG COMPILER

引用

COMPUTER 1992年第1期25卷 54-68页

作者： VANROY, P DESPAIN, AM UNIV SO CALIF DEPT ELECT ENGNLOS ANGELESCA 90089

Aquarius Prolog, a high performance compiler designed and built to test the hypothesis that Prolog can be implemented as efficiently as an imperative language by compiling the more powerful features of logic programming only where they are needed, and then only in the simplest form, is described. The authors begin with some background on logic programming and then discuss the Prolog language in more detail. They present an overview of their compiler, giving its structure and the principles underlying its high performance. They compare their system with two popular high-performance commercial systems and with two implementations of C and conclude with an overview of ways to extend this work

关键词： Aquarius Prolog compiler C PROLOG high performance compiler high-performance commercial systems logic programming logic programming program compilers

来源：评论

学校读者我要写书评

暂无评论

COMPILING SIMULA - A HISTORICAL STUDY OF TECHNOLOGICAL GENESIS

引用

IEEE ANNALS OF THE HISTORY OF COMPUTING 1994年第4期16卷 25-37页

作者： HOLMEVIK, JR UNIV TRONDHEIM TRONDHEIMNORWAY

This article traces the history of the programming language SIMULA from the 1950s into the 1970s, focusing in particular on the formative years between 1962 and 1967. It offers no technical appraisal of the language per se. Rather, it is a sociotechnical analysis aimed at exploring the broader history of the SIMULA project. The article asserts that technological change should be studied in a contextual perspective. Thus the politics surrounding the project and the prehistory of SIMULA are given ample attention.

关键词： Simula Digital Simulation program compilers History SIMULA Compilation Historical Study Technological Genesis programming Language History Technological Change Sociotechnical Analysis Politics Simulation Language History Computer Languages Appraisal Discrete Event Simulation Modems programming Profession Problem Solving Terminology Operations Research Tail

来源：评论

学校读者我要写书评

暂无评论

A reaction compiler for electrochemical kinetics

引用

COMPUTERS & CHEMISTRY 1996年第4期20卷 403-418页

作者： Bieniasz, LK Institute of Physical Chemistry of the Polish Academy of Sciences Molten Salts Laboratory ul. Zagrody 13 30-318 Cracow Poland

A computer code serving for an automatic translation of user-written source texts of electrochemical reaction mechanisms into corresponding target texts of mathematical equations that govern the kinetics of electrochemical systems under transient conditions is reported. The rules of the language enabling symbolic specification of the reaction mechanisms, the compiler options, and conventions regarding the target formulae are outlined and illustrated by examples. A considerable diversity of reaction mechanisms involving equilibrium, non-equilibrium reversible or irreversible reactions that can be electrochemical, heterogeneous non-electrochemical or homogeneous, is permitted. The reactions may involve bulk species (distributed in the electrolyte volume) and interfacial species (localized at the electrodes) of variable or constant concentrations, and electrons. The transient conditions may correspond to a number of electrochemical techniques, including potential-step method, linear potential scan voltammetry and chronopotentiometry. For kinetic problems in one-dimensional space geometry the generated governing equations take the general form of the reaction-advection-diffusion partial differential equations for the concentrations of bulk species (with initial and boundary conditions), optionally coupled with algebraic, ordinary differential or differential-algebraic equations for the concentrations of interfacial species. The governing equations can be obtained in the form of ELSIM problem definitions, enabling further solution by means of this simulation program. Copyright (C) 1996 Elsevier Science Ltd

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

Toolchain-based approach to handling variability in embedded multiprocessor system on chips

引用

IET COMPUTERS AND DIGITAL TECHNIQUES 2015年第1期9卷 82-92页

作者： Gray, Ian Plumbridge, Gary Audsley, Neil C. Univ York Dept Comp Sci York YO10 5GH N Yorkshire England

Manufacturing variability is an increasingly significant problem. Silicon devices that are designed to be identical will display widely ranging characteristics after manufacture. Power use, supported clock frequencies and lifespan may all vary considerably. This is of particular concern for embedded systems because of their extensive use of complex system-on-chip (SoC)-based architectures. If this variability is not tolerated by the software, then manufacturing yields are reduced and devices are not used efficiently. This study discusses a novel approach to the integration of variability-mitigation techniques that uses model-driven engineering to explicitly consider variability as part of the development process. Developers can build systems that are much more resilient to variability effects, allowing systems to have higher yields, lower costs and greater reliability. The approach uses code generation and code transformation to simplify design-space exploration and reduce time-to-market. The approach is illustrated with an example of audio processing on a complex multiprocessor SoC with simulated variability, and it is shown to be increasingly effective as system variability becomes more significant.

关键词： embedded systems multiprocessing systems system-on-chip software engineering program compilers tool chain-based approach embedded multiprocessor system on chips manufacturing variability silicon devices clock frequency complex system-on-chip SoC-based architectures manufacturing yields variability-mitigation techniques model-driven engineering code generation code transformation design-space exploration time-to-market reduction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：