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

1996 conference on TRI-Ada: Disciplined Software Development with Ada, TRI-Ada 1996

作者： Bari, M. Gabrini, P. Rolland, C. Zeroual, C.K. Labo MASI - CNRS UA 818 University of Pierre and Marie Curie Paris France CRIM 1801 McGill College avenue MontrealQC Canada University of Paris 1-Sorbonne Paris Cedex 05F-7523 1 France DMI University of Sherbrooke SherbrookeQC Canada University of Paris XII France

ISBN: (纸本)0897918088

We present an object-oriented design model and its mapping to Ada 95 in order to build Active Information Systems. This represents part of a methodology based, for each step of the software life cycle, on a model and a step-by-step process. Thus, analysis is based on (1) an extended Entity/Relationship model for the static aspects and (2) an event-driven model for the dynamic aspects, design is based on a particular object-oriented model and implementation is based on Ada. The main benefit of this approach is to achieve traceability and to foster reuse and weak coupling between software components. © 1996 acm.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

Reactive Imperative programming with Dataflow Constraints

引用

acm sigplan NOTICES 2011年第10期46卷 407-426页

作者： Demetrescu, Camil Finocchi, Irene Ribichini, Andrea Sapienza Univ Rome Dept Comp & Syst Sci Rome Italy Sapienza Univ Rome Dept Comp Sci Rome Italy

Dataflow languages provide natural support for specifying constraints between objects in dynamic applications, where programs need to react efficiently to changes of their environment. Researchers have long investigated how to take advantage of dataflow constraints by embedding them into procedural languages. Previous mixed imperative/dataflow systems, however, require syntactic extensions or libraries of ad hoc data types for binding the imperative program to the dataflow solver. In this paper we propose a novel approach that smoothly combines the two paradigms without placing undue burden on the programmer. In our framework, programmers can define ordinary statements of the imperative host language that enforce constraints between objects stored in special memory locations designated as "reactive". Differently from previous approaches, reactive objects can be of any legal type in the host language, including primitive data types, pointers, arrays, and structures. Statements defining constraints are automatically re-executed every time their input memory locations change, letting a program behave like a spreadsheet where the values of some variables depend upon the values of other variables. The constraint solving mechanism is handled transparently by altering the semantics of elementary operations of the host language for reading and modifying objects. We provide a formal semantics and describe a concrete embodiment of our technique into C/C++, showing how to implement it efficiently in conventional platforms using off-the-shelf compilers. We discuss common coding idioms and relevant applications to reactive scenarios, including incremental computation, observer design pattern, and data structure repair. The performance of our implementation is compared to ad hoc problem-specific change propagation algorithms, as well as to language-centric approaches such as self-adjusting computation and subject/observer communication mechanisms, showing that the proposed approa

关键词： Algorithms design experimentation languages Reactive programming dataflow programming imperative programming constraint solving incremental computation observer design pattern data structure repair

来源：评论

学校读者我要写书评

暂无评论

OBSERV - A prototyping language and environment combining object oriented approach, state machines and logic programming

OBSERV - A prototyping language and environment combining ob...

引用

proceedings of the Twenty-Third Annual Hawaii International conference on System Sciences. Volume 1: Architecture Track

作者： Tyszberowicz, Shmuel Yehudai, Amiram Moise & Frida Eskenasy Inst of Comput Sci Tel-Aviv Univ Isr

ISBN: (纸本)0818620099

The Observ methodology for software development is based on rapid construction of an executable specification (or prototype) of a system, which may be examined and modified repeatedly to achieve the desired functionality. The objectives of Oobserv also include facilitating a smooth transition to a target system and providing the means for reusing specification, design, and code of (sub)systems. Of particular interest is the handling of embedded systems, which are likely to have concurrency and real-time requirements. The Observ prototyping language combines several paradigms to express the behavior of a system. The object-oriented approach provides the basic mechanisms for building a system from a collection of objects, with well-defined interfaces between them. Finite-state machines are used to model the behavior of individual objects. At a lower level, activities that occur within objects are described with the logic-programming paradigm, thus allowing a nonprocedural description when possible. An attempt has been made to provide flexible tools for executing (simulating) the prototype being built, as well as for browsing and static checking. The current implementation of the tools is window-based but not graphical.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

JavaScript module system: Exploring the design space 14

JavaScript module system: Exploring the design space

引用

13th International conference on Modularity, MODULARITY 2014 (Formerly AOSD)

作者： Cho, Junhee Ryu, Sukyoung KAIST Korea Republic of

ISBN: (纸本)9781450327725

While JavaScript is one of the most widely used programming languages not only for web applications but also for large projects, it does not provide a language-level module system. JavaScript developers have used the module pattern to avoid name conflicts by themselves, but the prevalent uses of multiple libraries and even multiple versions of a single library in one application complicate maintenance of namespace. The next release of the JavaScript language specification will support a module system, but the module proposal in prose does not clearly describe its semantics. Several tools attempt to support the new features in the next release of JavaScript by translating them into the current JavaScript, but their module semantics do not faithfully implement the proposal. In this paper, we identify some of the design issues in the JavaScript module system. We describe ambiguous or undefined semantics of the module system with concrete examples, show how the existing tools support them in a crude way, and discuss reasonable choices for the design issues. We specify the formal semantics of the module system, which provides unambiguous description of the design choices, and we provide its implementation as a source-to-source transformation from JavaScript with modules to the plain JavaScript that the current JavaScript engines can evaluate. Copyright © 2014 acm. Copyright © 2014 acm.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

6th European conference on Object-Oriented programming, ECOOP 1992

引用

6th European conference on Object-Oriented programming, ECOOP 1992

ISBN: (纸本)9783540556688

The proceedings contain 23 papers. The special focus in this conference is on Object-Oriented programming. The topics include: On unifying relational and object-oriented database systems;import is not inheritance why we need both: modules and classes;object-oriented multi-methods in cecil;aggregation in a behavior oriented object model;reasoning and refinement in object-oriented specification languages;combining object-oriented and logic paradigms: a modal logic programming approach;an incremental class reorganization approach;system design by composing structures of interacting objects;unifying the design and implementation of user interfaces through the object paradigm;nesting actions through asynchronous message passing;inheritance of synchronization constraints in concurrent object-oriented programming languages;an eiffel environment to program distributed memory parallel computers;using object-oriented programming techniques for implementing ISDN supplementary services;an object model for engineering design;an object-oriented class library for scalable parallel heuristic search;integrating constraints with an object-oriented language;specifying reusable components using contracts;a type system for object-oriented programming based on abstract and concrete classes;making type inference practical;an object-oriented language-database integration model: the composition-filters approach;supporting physical independence in an object database server and developing a class hierarchy for object-oriented transaction processing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatic test generation algorithm for hardware description languages

Automatic test generation algorithm for hardware description...

引用

26th acm/IEEE design Automation conference, DAC 1989

作者： Norrod, Forrest E. Hewlett Packard Fort Collins CO USA

The E-algorithm, a method for generating tests for general logic circuits modeled using a hardware description language is presented. The proposed E-algorithm generates tests for control, operation, and data faults in sequential and combinational logic modeled at the functional level. A symbolic variable notation is introduced to permit systematic fault propagation through control structures. A fault model based on faulting structures in a graph derived from the hardware description language model, and a test generation algorithm that generates tests for the modeled faults have been developed and implemented. The E-algorithm has the ability to propagate fault syndromes through high-level control structures as well as data operations. Results of the implementation are given for a set of test cases, and the application of the algorithm to a semicustom ASIC (application-specific integrated circuit) is discussed. Preliminary results show high fault coverages and reasonable performance.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

A Distributed OpenCL Framework using Redundant Computation and Data Replication

引用

acm sigplan NOTICES 2016年第6期51卷 553-569页

作者： Kim, Junghyun Jo, Gangwon Jung, Jaehoon Kim, Jungwon Lee, Jaejin Seoul Natl Univ Ctr Manycore Programming Dept Comp Sci & Engn Seoul 08826 South Korea

Applications written solely in OpenCL or CUDA cannot execute on a cluster as a whole. Most previous approaches that extend these programming models to clusters are based on a common idea: designating a centralized host node and coordinating the other nodes with the host for computation. However, the centralized host node is a serious performance bottleneck when the number of nodes is large. In this paper, we propose a scalable and distributed OpenCL framework called SnuCL-D for large-scale clusters. SnuCL-D's remote device virtualization provides an OpenCL application with an illusion that all compute devices in a cluster are confined in a single node. To reduce the amount of control-message and data communication between nodes, SnuCL-D replicates the OpenCL host program execution and data in each node. We also propose a new OpenCL host API function and a queueing optimization technique that significantly reduce the overhead incurred by the previous centralized approaches. To show the effectiveness of SnuCL-D, we evaluate SnuCL-D with a microbenchmark and eleven benchmark applications on a large-scale CPU cluster and a medium-scale GPU cluster.

关键词： OpenCL clusters heterogeneous computing programming models runtime systems redundant computation data replication

来源：评论

学校读者我要写书评

暂无评论

DPSOL: An executable requirements specification language for information processing systems

DPSOL: An executable requirements specification language for...

引用

proceedings of the Twenty-Third Annual Hawaii International conference on System Sciences. Volume 1: Architecture Track

作者： Tenazas, R.A. Concepcion, A.I. Villafuerte, R.M. Software Brewers Inc Makati Philippines

ISBN: (纸本)0818620099

The authors present the Delphi project, which deals with the design and implementation of a software engineering environment (SEE) to enhance software productivity, in particular, one that targets information systems (IS) for business data processsing problems. A set of specification languages was designed to specify the IS in a modular manner. Collectively, these languages are called the data processing specification outlining language (DPSOL). DPSOL is customizable, executable, extensible, and translatable and can be used in rapid prototyping or in automatic translation to a target 3GL/environment. The authors present the expressive power of DPSOL to specify the IS, and its automated process of checking referential integrity and computational consistency. The approach is translational (using templates) instead of transformational. It was found that templating is a powerful concept in automatic programming, at least for IS. The templates can be edited and modified to generate customized 3GL source code. Moreover, documentation can also be automatically generated.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Adding open modules to AspectJ 06

Adding open modules to AspectJ

引用

5th International conference on Aspect-oriented Software Development 2006, AOSD'06

作者： Ongkingco, Neil Avgustinov, Pavel Tibble, Julian Hendren, Laurie De Moor, Oege Sittampalam, Ganesh Programming Tools Group University of Oxford United Kingdom Sable Research Group McGill University Montreal Canada

ISBN: (纸本)159593300X

AspectJ does not provide a mechanism to hide implementation details from advice. As a result, aspects are tightly coupled to the implementation of the code they advise, while the behaviour of the base code is impossible to determine without analysing all advice that could modify its behaviour. The concept of open modules is proposed by Aldrich to solve the problems that arise from unrestricted advice. Defined for a, small functional language, it provides an encapsulation construct that allows an implementation to limit the set of points to which external advice may apply. We present an adaptation of open modules for AspectJ. We expand open modules to encompass the full set of point-cut primitives for AspectJ, extend its method of module composition to include the ability to open up a module, and describe the implementation of the design as an extension of the AspectBench compiler. We also provide an example of the use of open modules on a substantial AspectJ program to show how it would fit into existing AspectJ projects. Copyright 2006 acm.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A practical automatic polyhedral parallelizer and locality optimizer

引用

acm sigplan NOTICES 2008年第6期43卷 101-113页

作者： Bondhugula, Uday Hartono, Albert Ramanujam, J. Sadayappan, P. Ohio State Univ Dept Comp Sci & Engn Columbus OH 43210 USA Louisiana State Univ Dept Elect & Comp Engn Baton Rouge LA 70803 USA Louisiana State Univ CCT Baton Rouge LA 70803 USA

We present the design and implementation of an automatic polyhedral source-to-source transformation framework that can optimize regular programs ( sequences of possibly imperfectly nested loops) for parallelism and locality simultaneously. Through this work, we show the practicality of analytical model-driven automatic transformation in the polyhedral model-far beyond what is possible by current production compilers. Unlike previous works, our approach is an end-to-end fully automatic one driven by an integer linear optimization framework that takes an explicit view of finding good ways of tiling for parallelism and locality using affine transformations. The framework has been implemented into a tool to automatically generate OpenMP parallel code from C program sections. Experimental results from the tool show very high speedups for local and parallel execution on multi-cores over state-of-the-art compiler frameworks from the research community as well as the best native production compilers. The system also enables the easy use of powerful empirical/iterative optimization for general arbitrarily nested loop sequences.

关键词： algorithms design experimentation performance automatic parallelization locality optimization polyhedral model loop transformations affine transformations tiling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：