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

2009 Annual conference of the Southern African Computer Lecturers' Association, SACLA '09

作者： Pillay, Nelishia School of Computer Science University of KwaZulu-Natal Pietermartizburg Campus KwaZulu-Natal South Africa

ISBN: (纸本)9781605586830

There has been a vast amount of research into the errors made by novice programmers when implementing the object-oriented programming paradigm. However, a majority of the work in this area has focused on language-specific or implementation errors. There has been very little work done on object-oriented design errors. This paper presents the results of a study conducted to identify such errors and brings together the findings of this study and previous work in this area. © 2009 acm.

关键词： Errors

来源：评论

学校读者我要写书评

暂无评论

A declarative approach for designing and developing adaptive components 15

A declarative approach for designing and developing adaptive...

引用

15th IEEE International conference on Automated Software Engineering (ASE 2000)

作者： Boinot, P Marlet, R Noyé, J Muller, G Consel, C Univ Rennes 1 INRIA IRISA Compose Grp F-35042 Rennes France

ISBN: (纸本)0769507107

An adaptive component is a component that is able to adapt its behavior to different execution contexts. Building an adaptive application is difficult because of component dependencies and the lack of language support. As a result, code that implements adaptation is often tangled, hindering maintenance and evolution. To overcome this problem, we propose a declarative approach to program adaptation. This approach makes the specific issues of adaptation explicit. The programmer can focus on the basic features of the application, and separately provide clear and concise adaptation information. Concretely we propose adaptation classes, which enrich Java classes with adaptive behaviors. A dedicated compiler automatically generates Java code that implements the adaptive features. Moreover these adaptation declarations can be checked for consistency to provide additional safety guarantees. As a working example throughout this paper we use an adaptive sound encoder in an audio-conferencing application. We show the problems associated with a traditional implementation using design patterns, and how these problems are elegantly solved using adaptation classes.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Compiling a High-Level language for GPUs 12

Compiling a High-Level Language for GPUs

引用

acm sigplan conference on programming language design and implementation

作者： Christophe Dubach Perry Cheng Rodric Rabbah David F. Bacon Stephen J. Fink University of Edinburgh IBM Research

ISBN: (纸本)9781450312059

languages such as OpenCL and CUDA offer a standard interface for general-purpose programming of GPUs. However, with these languages, programmers must explicitly manage numerous low-level details involving communication and synchronization. This burden makes programming GPUs difficult and error-prone, rendering these powerful devices inaccessible to most programmers. We desire a higher-level programming model that makes GPUs more accessible while also effectively exploiting their computational power. This paper presents features of Lime, a new Java-compatible language targeting heterogeneous systems, that allow an optimizing compiler to generate high quality GPU code. The key insight is that the language type system enforces isolation and immutability invariants that allow the compiler to optimize for a GPU without heroic compiler analysis. Our compiler attains GPU speedups between 75% and 140% of the performance of native OpenCL code.

关键词： design languages Performance GPU OpenCL Java Lime Streaming Map Reduce language Streaming GRAPPER PICK UP Graphics Processing Unit lime Reduce Java Java programming language compilers MAPPING(MATHEMATICAL) language form Computer personnel high level language(hll) Optimising compilers general purpose programming

来源：评论

学校读者我要写书评

暂无评论

Terra: A Multi-Stage language for High-Performance Computing 13

Terra: A Multi-Stage Language for High-Performance Computing

引用

acm sigplan conference on programming language design and implementation

作者： Zachary DeVito James Hegarty Alex Aiken Pat Hanrahan Jan Vitek Stanford University Purdue University

ISBN: (纸本)9781450320146

High-performance computing applications, such as auto-tuners and domain-specific languages, rely on generative programming techniques to achieve high performance and portability. However, these systems are often implemented in multiple disparate languages and perform code generation in a separate process from program execution, making certain optimizations difficult to engineer. We leverage a popular scripting language, Lua, to stage the execution of a novel low-level language, Terra. Users can implement optimizations in the high-level language, and use built-in constructs to generate and execute high-performance Terra code. To simplify meta-programming, Lua and Terra share the same lexical environment, but, to ensure performance, Terra code can execute independently of Lua's runtime. We evaluate our design by reimplementing existing multi-language systems entirely in Terra. Our Terra-based auto-tuner for BLAS routines performs within 20% of ATLAS, and our DSL for stencil computations runs 2.3x faster than hand-written C.

关键词： Lua Staged computation DSL design Performance

来源：评论

学校读者我要写书评

暂无评论

Scalable certification framework for behavioral synthesis front-end 14

Scalable certification framework for behavioral synthesis fr...

引用

51st Annual design Automation conference, DAC 2014

作者： Yang, Zhenkun Hao, Kecheng Cong, Kai Lei, Li Ray, Sandip Xie, Fei Department of Computer Science Portland State University Portland OR 97207 United States Strategic CAD Labs Intel Corporation Hillsboro OR 97124 United States

ISBN: (纸本)9781479930173

Behavioral synthesis entails application of a sequence of transformations to compile a high-level description of a hardware design (e.g., in C/C++/SystemC) into a register-transfer level (RTL) implementation. In this paper, we present a scalable equivalence checking framework to validate the correctness of compiler transformations employed by behavioral synthesis front-end. Our approach makes use of dual-rail symbolic simulation of the input and output of a transformation, together with identication and inductive verication of their loop structures. We have evaluated our framework on transformations applied by an open source behavioral synthesis tool to designs from the CHStone benchmark. Our tool can automatically validate more than 75 percent of the total of 1008 compiler transformations applied. Copyright 2014 acm.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

LiSEB: A language for modeling living systems with APL2 94

LiSEB: A language for modeling living systems with APL2

引用

International conference on APL: The language and its Applications, APL 1994

作者： Bottoni, P. Marlotto, M. Mussio, P. Centre for Theoretical Medicine Studies via Pace 9 Mllano20122 Italy Univ. of Miian Dep. of Physics via Viotti 5 Mllano20133 Italy Univ. of Rome Dep. of Computer Science via Saiaria 113 Roma00198 Italy

ISBN: (纸本)0897916751

The paper discusses the design and implementation of LiSEB, a class-based language built on top of APL2 to respond to challenges posed by modelling living systems from a medical point of view. LiSEB capitalises on several features of APL and on some lessons learned from its history. Living systems are modelled as open systems: environments in which concurrent mobile autonomous agents interact. Modelling of these properties required extensions of traditional object-oriented paradigms and of their previous translations under APL: a) every c~bject performs a sequence of actions dynamically modified to adapt to circumstances;b) a new policy of message management is introduced uniformly encompassing broadcast and directly addressed communication An example of a simulation using LiSEB illustrates these concepts. © 1994 acm.

关键词： Mobile agents

来源：评论

学校读者我要写书评

暂无评论

The implementation of an integrated concurrency control and recovery scheme 82

The implementation of an integrated concurrency control and ...

引用

1982 acm SIGMOD International conference on Management of Data, SIGMOD 1982

作者： Chan, Arvola Fox, Stephen Lin, Wen-Te K. Nori, Anil Ries, Daniel R. Computer Corporation of America 575 Technology Square CambridgeMA02139 United States

ISBN: (纸本)0897910737

This paper describes the implementation level design of an integrated concurrency control and recovery scheme based on the maintenance of multiple versions of data objects in a database. The concurrency control mechanism enhances parallelism by eliminating interference between retrieval and update transactions. The recovery mechanism permits efficient transaction and system recovery by keeping before-images of data objects at the page (block) level. This paper addresses the key technical problems in the implementation of such an integrated scheme. We present an efficient garbage collection algorithm for reclaiming storage space used by old versions of data objects that will no longer be accessed. We also propose an on-line backup algorithm that will permit the backup procedure to run in parallel with regular transactions. This integrated concurrency control and recovery scheme is being implemented in the LDM: the local database manager component of a distributed database management system, now being developed by Computer Corporation of America, that will support the ADAPLEX database application programming language [Chan81a, Smith81]. © 1982 acm.

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

A 64-bit Stream Processor Architecture for Scientific Applications 07

A 64-bit Stream Processor Architecture for Scientific Applic...

引用

34th Annual International Symposium on Computer Architecture

作者： Yang, Xuejun Yan, Xiaobo Xing, Zuocheng Deng, Yu Jiang, Jiang Zhang, Ying Natl Univ Def Technol Natl Lab Paralleling & Distributed Proc Sch Comp Changsha 410073 Hunan Peoples R China

ISBN: (纸本)9781595937063

Stream architecture is a novel microprocessor architecture with wide application potential. But as for whether it can be used efficiently in scientific computing, many issues await further study. This paper first gives the design and implementation of a 64-bit stream processor, FT64 (Fei Teng 64), for scientific computing. The carrying out of 64-bit extension design and scientific computing oriented optimization are described in such aspects as instruction set architecture, stream controller, micro controller, ALU cluster, memory hierarchy and interconnection interface here. Second, two kinds of communications as message passing and stream communications are put forward. An interconnection based on the communications is designed for FT64-based high performance computers. Third, a novel stream programming language, SF95 (Stream FORTRAN95), and its compiler, SF95Compiler (Stream FORTRAN95 Compiler), are developed to facilitate the development of scientific applications. Finally, nine typical scientific application kernels are tested and the results show the efficiency of stream architecture for scientific computing.

关键词： stream processor architecture program language compiler scientific application high performance computing

来源：评论

学校读者我要写书评

暂无评论

Asynchronous Functional Reactive programming for GUIs 13

Asynchronous Functional Reactive Programming for GUIs

引用

acm sigplan conference on programming language design and implementation

作者： Evan Czaplicki Stephen Chong Harvard University

ISBN: (纸本)9781450320146

Graphical user interfaces (GUIs) mediate many of our interactions with computers. Functional Reactive programming (FRP) is a promising approach to GUI design, providing high-level, declarative, compositional abstractions to describe user interactions and time-dependent computations. We present Elm, a practical FRP language focused on easy creation of responsive GUIs. Elm has two major features: simple declarative support for Asynchronous FRP; and purely functional graphical layout. Asynchronous FRP allows the programmer to specify when the global ordering of event processing can be violated, and thus enables efficient concurrent execution of FRP programs; long-running computation can be executed asynchronously and not adversely affect the responsiveness of the user interface. Layout in Elm is achieved using a purely functional declarative framework that makes it simple to create and combine text, images, and video into rich multimedia displays. Together, Elm's two major features simplify the complicated task of creating responsive and usable GUIs.

关键词： Functional Reactive programming Graphical User Interfaces languages design graphical user interfaces language Asynchronous Elm fibre reinforced plastics FRP reactive programming event processing Computer personnel FUNCTIONALS

来源：评论

学校读者我要写书评

暂无评论

language for writing code generators

引用

sigplan Notices (acm Special Interest Group on programming languages) 1989年第7期24卷 238-245页

作者： Fraser, Christopher W. AT&T Bell Lab United States

This paper describes a programming language for writing code generators. The language abbreviates repetitive constructs, simplifies encoding, and assumes responsibility for making the code generator small and fast. As a result, a specification for the VAX takes 126 lines, one for the Motorola 68020 takes 156, and one for the MIPS R3000 takes 75. This project grew out of experience with a system that tracked the operation of a high-tech peephole optimizer and generated a hard-coded code generator from the trace. The current system generates similar code generators directly from a compact document that captures their entropy.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：