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

proceedings of the 4th International conference on Software Engineering and Knowledge Engineering

作者： Kraiem, Naoufel Brunet, Joel Univ of Paris VI Paris France

ISBN: (纸本)0818628308

This research is conducted as part of the BUSINESS CLASS European project. The aim of the project is to promote object-oriented software development within the framework of management information systems. The BUSINESS CLASS development method is supported by an analysis workbench based on the O* method and a design workbench dedicated to the Eiffel language. The communication presents a set of mapping rules from O* specifications to an Eiffel implementation. The practical results as well as the mismatch difficulties can be translated to other object-oriented methods and languages.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

The CODE 2.0 graphical parallel programming language 92

The CODE 2.0 graphical parallel programming language

引用

6th International conference on Supercomputing, ICS 1992

作者： Newton, Peter Browne, James C. Department of Computer Sciences University of Texas at Austin AustinTX78712 United States

ISBN: (纸本)0897914856

CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by an integrated graphical/textual interface, a powerful dynamic model of parallel computation, and an integrated concept of program component reuse. Portability is approached by the declarative expression of synchronization and communication operators at a high level of abstraction in a manner which cleanly separates overall computation structure from the primitive sequential computations that make up a program. Execution efficiency is approached through a systematic class hierarchy that supports hierarchical translation refinement including special case recognition. This paper reports results obtained through experimental use of a prototype implementation of the CODE 2.0 system. CODE 2.0 represents a major conceptual advance over its predecessor systems (CODE 1.0 and CODE 1.2) in terms of the expressive power of the model of computation which is implemented and in potential for attaining efficiency across a wide spectrum of parallel architectures through the use of class hierarchies as a means of mapping from logical to executable program representations. © 1992 acm.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

Java™ on the bare metal of wireless sensor devices the squawk java virtual machine

Java™ on the bare metal of wireless sensor devices the squa...

引用

VEE 2006 - 2nd International conference on Virtual Execution Environments

作者： Simon, Doug Cifuentes, Cristina Cleal, Dave Daniels, John White, Derek Sun Microsystems Laboratories 16 Network Drive Menlo Park CA 94025 United States Sun Microsystems Laboratories Level 10 80 Albert Street Brisbane QLD 4000 Australia Syntropy Limited 2 Stambourne Way West Wickham Kent BR4 9NF United Kingdom Sun Microsystems Laboratories One Network Drive Burlington MA 01803 United States

The Squawk virtual machine is a small Java™ virtual machine (VM) written mostly in Java that runs without an operating system on a wireless sensor platform. Squawk translates standard class file into an internal pre-linked, position independent format that is compact and allows for efficient execution of bytecodes that have been placed into a read-only memory. In addition, Squawk implements an application isolation mechanism whereby applications are represented as object and are therefore treated as first class objects (i.e., they can be reified): Application isolation also enables Squawk to run multiple applications at once with all immutable state being shared between the applications. Mutable state is not shared. The combination of these features reduce the memory footprint of the VM, making it ideal for deployment on small devices. Squawk provides a wireless API that allows developers to write applications for wireless sensor networks (WSNs), this API is an extension of the generic connection framework (GCF). Authentication of deployed files on the wireless device and migration of applications between devices is also performed by the VM. This paper describes the design and implementation of the Squawk VM as applied to the Sun™ Small Programmable Object Technology (SPOT) wireless device;a device developed at Sun Microsystems Laboratories for experimentation with wireless sensor and actuator applications.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Structured programming: From theory to practice 2

Structured Programming: From theory to practice

引用

2nd International conference on Software Engineering, ICSE 1976

作者： Carrow, John C. US Army Computer Systems Command United States

One of the more controversial topics to appear within the field of Computer Science has been the theory of Structured programming and the specific tools and techniques associated with this generic title. With respect to this topic, it is the intent of this paper to provide a documented history of the research, prototyping and deliberate implementation of the Structured programming Technology within the United States Army Computer Systems Command. Structured programming as used within the context of this paper involves the concepts of structured code, top down development, walkthrus, program design language, design and documentation tools, program support library and a programming team. The USACSC experience is viewed as not just another case study but rather an organizational change impacting a large number (500 COBOL programmers) of personnel, standards, and normal operating procedures. One of the more intriguing topics to appear within the field of Computer Science has been the theory of Structured programming and the specific tools and techniques associated with this generic title. After several years of discussion, pilot projects, technical articles and more discussions, the basic questions remain: What does the technology buy you? What does it cost you? How does one implement the technology on a large scale in a software production shop? With respect to these questions, and many others that the Software community shares regarding Structured programming, it is the intent of this paper to provide a documented history of the research, prototyping and deliberate implementation of the Structured programming Technology within the United States Army Computer Systems Command (USACSC). © 1976 IEEE Computer Society. All rights reserved.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

The role of motherhood in the pop art of system programming 69

The role of motherhood in the pop art of system programming

引用

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

来源：评论

学校读者我要写书评

暂无评论

proceedings of the conference on Tri-Ada 1989: Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989

Proceedings of the Conference on Tri-Ada 1989: Ada Technolog...

引用

1989 International conference on Ada : Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989

ISBN: (纸本)0897913299

The proceedings contain 49 papers. The topics discussed include: the Howitzer improvement program: lessons learned;requirements analysis for large Ada programs: lessons learned on CCPDS-R;Ada implementation of an x window system server;the software lifecycle with Ada: a command and control application;software design documentation approach for a DOD-STD-2167A Ada project;experiences in preparing a DOD-STD-21 WA software design document for an Ada project;environment for operational software engineering in Ada;workstation/APSE productivity study results;and design issues and team support: experiences of an Ada tool vendor.

关键词：

来源：评论

学校读者我要写书评

暂无评论

INVESTIGATIONS INTO A COMMAND AND RESPONSE language INTERFACE.

INVESTIGATIONS INTO A COMMAND AND RESPONSE LANGUAGE INTERFAC...

引用

proceedings of the Twenty-First Annual Hawaii International conference on System Sciences. Volume II: Software Track.

作者： Bulgren, William G. Wallace, Victor L. van de Liefvoort, Appie McClenaghan, Christopher R. Univ of Kansas Lawrence KS USA Univ of Kansas Lawrence KS USA

ISBN: (纸本)0818608420

Access to the variety of resources offered by computer networks is often complicated by the diversity of interfaces and protocols encountered. To overcome this diversity, a command-and-response language interface to a network of heterogeneous systems is proposed. A brief account of previous work in command languages and system interfaces motivates the study of a prototype of the proposed interface. The design, implementation, and lessons learned through the successful realization of the prototype are presented.

关键词： COMPUTER programming languageS

来源：评论

学校读者我要写书评

暂无评论

GreenWeb: language Extensions for Energy-Efficient Mobile Web Computing

引用

acm sigplan NOTICES 2016年第6期51卷 145-160页

作者： Zhu, Yuhao Reddi, Vijay Janapa Univ Texas Austin Dept Elect & Comp Engn Austin TX 78712 USA

Web computing is gradually shifting toward mobile devices, in which the energy budget is severely constrained. As a result, Web developers must be conscious of energy efficiency. However, current Web languages provide developers little control over energy consumption. In this paper, we take a first step toward language-level research to enable energy-efficient Web computing. Our key motivation is that mobile systems can wisely budget energy usage if informed with user quality-of-service (QoS) constraints. To do this, programmers need new abstractions. We propose two language abstractions, QoS type and QoS target, to capture two fundamental aspects of user QoS experience. We then present Green Web, a set of language extensions that empower developers to easily express the QoS abstractions as program annotations. As a proof of concept, we develop a GreenWeb runtime, which intelligently determines how to deliver specified user QoS expectation while minimizing energy consumption. Overall, GreenWeb shows significant energy savings (29.2% similar to 66.0%) over Android's default Interactive governor with few QoS violations. Our work demonstrates a promising first step toward language innovations for energy-efficient Web computing.

关键词： Energy-efficiency Web Mobile computing

来源：评论

学校读者我要写书评

暂无评论

Event-Driven Network programming

引用

acm sigplan NOTICES 2016年第6期51卷 369-385页

作者： McClurg, Jedidiah Hojjat, Hossein Foster, Nate Cerny, Pavol CU Boulder Boulder CO 80309 USA Cornell Univ Ithaca NY 14853 USA

Software-defined networking (SDN) programs must simultaneously describe static forwarding behavior and dynamic updates in response to events. Event-driven updates are critical to get right, but difficult to implement correctly due to the high degree of concurrency in networks. Existing SDN platforms offer weak guarantees that can break application invariants, leading to problems such as dropped packets, degraded performance, security violations, etc. This paper introduces event-driven consistent updates that are guaranteed to preserve well-defined behaviors when transitioning between configurations in response to events. We propose network event structures (NESs) to model constraints on updates, such as which events can be enabled simultaneously and causal dependencies between events. We define an extension of the NetKAT language with mutable state, give semantics to stateful programs using NESs, and discuss provably-correct strategies for implementing NESs in SDNs. Finally, we evaluate our approach empirically, demonstrating that it gives well-defined consistency guarantees while avoiding expensive synchronization and packet buffering.

关键词： network update consistent update event structure software-defined networking SDN NetKAT

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：