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

2nd acm Symposium on Operating Systems Principles, SOSP 1969

作者： Neumann, Peter G. Bell Telephone Laboratories Incorporated Murray HillNJ United States

ISBN: (纸本)9781450374569

Numerous papers and conference talks have recently been devoted to the affirmation or reaffirmation of various common-sense principles of computer program design and implementation, particularly with respect to operating systems and to large subsystems such as language translators. These principles are nevertheless little observed in practice, often to the detriment of the resulting systems. This paper attempts to summarize the most significant principles, to evaluate their applicability in the real world of large multi-access systems, and to assess how they can be used more effectively. © 1969 Association for Computing Machinery, Inc. All rights reserved.

关键词： Program translators

来源：评论

学校读者我要写书评

暂无评论

Scannerless NSLR(1) parsing of programming languages

引用

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

作者： Salomon, Daniel J. Cormack, Gordon V. Univ of Waterloo Canada

The disadvantages of traditional two-phase parsing (a scanner phase preprocessing input for a parser phase) are discussed. We present metalanguage enhancements for context-free grammars that allow the syntax of programming languages to be completely described in a single grammar. The enhancements consist of two new grammar rules, the exclusion rule, and the adjacency-restriction rule. We also present parser construction techniques for building parsers from these enhanced grammars, that eliminate the need for a scanner phase.

关键词： Computer Operating Systems

来源：评论

学校读者我要写书评

暂无评论

7th European conference on Object-Oriented programming, ECOOP 1993

引用

7th European conference on Object-Oriented programming, ECOOP 1993

ISBN: (纸本)9783540571209

The proceedings contain 26 papers. The special focus in this conference is on Object-Oriented programming. The topics include: Active programming strategies in reuse;frameworks in the financial engineering domain an experience report;integrating independently-developed components in object-oriented languages;encapsulating plurality;object oriented interoperability;implementation of distributed trellis;a new definition of the subtype relation;attaching second-order types to methods in an object-oriented language;typed sets as a basis for object-oriented database schemas;the OSI managed-object model;nested mixin-methods in agora;solving the inheritance anomaly in concurrent object-oriented programming;type inference of self;predicate classes;a temporal object-oriented algebra;a timed calculus for distributed objects with clocks;a language framework for multi-object coordination;panda — supporting distributed programming in C++;transparent parallelisation through reuse: between a compiler and a library approach;design patterns: abstraction and reuse of object-oriented design;tangible specification of reactive object behavior;an agent perspective;designing an extensible distributed language with a meta-level architecture;a flexible metaclass generator and aims, means, and futures of object-oriented languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

programming by sketching for bit-streaming programs

引用

acm sigplan NOTICES 2005年第6期40卷 281-294页

作者： Solar-Lezama, A Rabbah, R Bodík, R Ebcioglu, K Univ Calif Berkeley Div Comp Sci Berkeley CA 94720 USA MIT Comp Sci & Artificial Intelligence Lab Cambridge MA 02139 USA IBM Corp TJ Watson Res Ctr Armonk NY 10504 USA

This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write clean and portable reference code, and then obtain a high-quality implementation by simply sketching the outlines of the desired implementation. Subsequently, a compiler automatically fills in the missing details while also ensuring that a completed sketch is faithful to the input reference code. In this paper, we develop StreamBit as a sketching methodology for the important class of bit-streaming programs (e.g., coding and cryptography). A sketch is a partial specification of the implementation, and as such, it affords several benefits to programmer in terms of productivity and code robustness. First, a sketch is easier to write compared to a complete implementation. Second, sketching allows the programmer to focus on exploiting algorithmic properties rather than on orchestrating low-level details. Third, a sketch-aware compiler rejects "buggy" sketches, thus improving reliability while allowing the programmer to quickly evaluate sophisticated implementation ideas. We evaluated the productivity and performance benefits of our programming methodology in a user-study, where a group of novice StreamBit programmers competed with a group of experienced C programmers on implementing a cipher. We learned that, given the same time budget, the ciphers developed in StreamBit ran 2.5 x faster than ciphers coded in C. We also produced implementations of DES and Serpent that were competitive with hand optimized implementations available in the public domain.

关键词： stream programming StreamIt synchronous dataflow sketching domain specific language domain specific compiler

来源：评论

学校读者我要写书评

暂无评论

Higher-Order and Tuple-Based Massively-Parallel Prefix Sums

引用

acm sigplan NOTICES 2016年第6期51卷 539-552页

作者： Maleki, Sepideh Yang, Annie Burtscher, Martin Texas State Univ Dept Comp Sci San Marcos TX 78666 USA

Prefix sums are an important parallel primitive, especially in massively-parallel programs. This paper discusses two orthogonal generalizations thereof, which we call higher-order and tuple-based prefix sums. Moreover, it describes and evaluates SAM, a GPU-friendly algorithm for computing prefix sums and other scans that directly supports higher orders and tuple values. Its templated CUDA implementation unifies all of these computations in a single 100-statement kernel. SAM is communication-efficient in the sense that it minimizes main-memory accesses. When computing prefix sums of a million or more values, it outperforms Thrust and CUDPP on both a Titan X and a K40 GPU. On the Titan X, SAM reaches memory-copy speeds for large input sizes, which cannot be surpassed. SAM outperforms CUB, the currently fastest conventional prefix sum implementation, by up to a factor of 2.9 on eighth-order prefix sums and by up to a factor of 2.6 on eight-tuple prefix sums.

关键词： Algorithms Performance design Higher-order prefix sums tuple-based prefix sums carry propagation GPU programming

来源：评论

学校读者我要写书评

暂无评论

AtomCaml: First-class atomicity via rollback

引用

acm sigplan NOTICES 2005年第9期40卷 92-104页

作者： Ringenburg, MF Grossman, D Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A first-class primitive function of type (unit -> 'a) -> 'a evaluates its argument (which may call other functions, even external C functions) as though no other thread has interleaved execution. Our design ensures fair scheduling and obstruction-freedom. Our implementation extends the Objective Cam] bytecode compiler and run-time system to support atomicity. A logging-and-rollback approach lets us undo uncompleted atomic blocks upon thread pre-emption, and retry them when the thread is rescheduled. The mostly functional nature of the Caml language and the Objective Caml implementation's commitment to a uniprocessor execution model (i.e., threads are interleaved, not executed simultaneously) allow particularly efficient logging. We have evaluated the efficiency and ease-of-use of AtomCaml by writing libraries and microbenchmarks, writing a small application, and replacing all locking with atomicity in an existing, large multithreaded application. Our experience indicates the performance overhead is negligible, atomic helps avoid synchronization mistakes, and idioms such as condition variables adapt reasonably to the atomic approach.

关键词： languages atomicity transactions concurrent programming Objective Caml

来源：评论

学校读者我要写书评

暂无评论

Parametric polymorphism for software component architectures

引用

acm sigplan NOTICES 2005年第10期40卷 147-166页

作者： Oancea, CE Watt, SM Univ Western Ontario Dept Comp Sci London ON Canada

Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine the problem of providing parametric polymorphism with components combined from different programming languages. We have investigated how to resolve different binding times and parametrization semantics in a range of representative languages and have identified a common ground that can be suitably mapped to different language bindings. We present a generic component architecture extension that provides support for parameterized components and that can be easily adapted to work oil top of various software component architectures in use today (e.g., CORBA, DCOM, JNI). We have implemented and tested this architecture on top Of CORBA. We also present Generic Interface Definition language (GIDL), an extension to CORBA-IDL supporting generic types and we describe language bindings for C++, Java and Aldor. We explain our implementation of GIDL, consisting of a GIDL to IDL compiler and tools for generating linkage code under the language bindings. We demonstrate how this architecture can be used to access C++'s STL, and Aldor's BasicMath libraries in a multi-language environment and discuss our mappings in the context of automatic library interface generation.

关键词： languages design antiunification generics parametric polymorphisrn software component architecture templates

来源：评论

学校读者我要写书评

暂无评论

Effects of Ada on design problems in a discrete event simulator

Effects of Ada on design problems in a discrete event simula...

引用

conference on TRI-ADA 1990

作者： Railsback, Philip E. Rose, Louis C. Corrigan, Ann E. Logicon Incorporated 2100 Washington Boulevard Arlington VA 22204-5704 United States

ISBN: (纸本)0897914090

Overall, our experience using the Ada programming language proved to be a valuable one. We believe that using an alternate high level language would not have allowed us to maintain the tight schedule of the evolutionary development of ISAAC. Clearly, the software engineering orientation of Ada was key to the success of the ISAAC simulator. Our desired to maintain an object orientation during the design and implementation process proved useful but was a bit cumbersome at times. While there are several methods to emulate some form of inheritance in Ada, the lack of a controlled two way communication mechanism between objects is a significant restriction with Ada as it relates to object oriented methodologies. We were fortunate to have the event queue in the simulator available to allow an efficient implementation of the two way communications we required. The technique used for implementing the Task Manager's data structure followed a standard paradigm for implementing a data architecture documented in an Entity-Relation-Attribute form. This technique was successful, which suggests to us the possibility of directly compiling the extended E-R-A model (including the relation characteristics used for choosing implementation structures). Extending a language to support directly an abstract Entity-Relation model would eliminate the need for coding data structures and data management algorithms, greatly reduce development time, and will result in better designs by encouraging design at an abstract level. The use of generics in the component architecture was extremely valuable in support of the abstract data entities implementation as well as significantly reducing the overall integration testing effort Although our emphasis in this paper on the use of component architecture was concentrated on the use in the Maintenance Manager, many of these generics were used in the Operations and Resource Managers as well. It interesting that the major emphasis in the rationale for the f

关键词： Simulators

来源：评论

学校读者我要写书评

暂无评论

Demo abstract: design and implementation of a low-cost arduino-based high-frequency AC waveform meter board for the raspberry Pi 4

Demo abstract: Design and implementation of a low-cost ardui...

引用

4th acm International conference on Systems for Energy-Efficient Built Environments, BuildSys 2017

作者： Quintana, Matias Lange, Henning Bergés, Mario Carnegie Mellon University PittsburghPA United States

ISBN: (纸本)9781450354769

This paper introduces a low-cost AC meter designed to continuously measure voltage and current waveforms at up to 14 kHz. The AC power meter, provided as open hardware, is designed using the same micro controller as the Arduino UNO1 with an In-system programming (ISP) interface, thus allowing the user to change the firmware to match their particular use case using Arduino libraries or standard C language. The suggested design is compatible with the Raspberry Pi 32, making it a suitable real-time measurement accessory for the single board computer. The platform features an 8 channel simultaneous sampling Analog-to-Digital Converter (ADC) which allows a high fidelity sampling without time offsets. Depending on how the user decides to combine current transformers (CTs) and AC-AC voltage adapters for the input channels, circuit breakers or appliances can be measured in either one phase or three phases. © 2017 Copyright held by the owner/author(s).

关键词： Firmware

来源：评论

学校读者我要写书评

暂无评论

Concurrent programming environment for memory-mapped persistent object systems

Concurrent programming environment for memory-mapped persist...

引用

proceedings of the 17th Annual International Computer Software & Applications conference - COMPSAC 93

作者： Fu, Mei-Mei Dasgupta, Partha Arizona State Univ Tempe United States

ISBN: (纸本)0818644400

The advantages of object-oriented programming systems are well known. However, in general, they do not support long-lived objects, nor do they allow concurrent sharing or dynamic re-use of language defined objects. Persistent object systems address some of these shortfalls. In this paper we present a design and implementation of a persistent object system that uses memory-mapping to directly map objects from the persistent store into the address space of user programs. Memory mapping makes the management and manipulation of persistent objects simpler. In particular, complex object structures can be executed (shared) concurrently on behalf of separate applications. A simple language extension has been designed and added to C++ to make the programming of persistence, sharing, synchronization and consistency control expressible. With efficient run-time support for persistent pointer resolution and consistency maintenance, this approach can provide much finer-grain execution concurrency and sharing, easier object navigation, simpler programmability and possibly better performance, than object-oriented database systems.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：