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

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

implementation of a scripting language for VRML/X3D-based embodied agents

Implementation of a scripting language for VRML/X3D-based em...

引用

proceedings Web3D 2002 Symposium: 7th International conference on 3D Web Technology

作者： Huang, Zhisheng Eliëns, Anton Visser, Cees Intelligent Multimedia Group Div. of Mathematics and Comp. Sci. Vrije University Amsterdam Amsterdam Netherlands

Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages for embodied agents, many of which are of a somewhat ad hoc nature lacking clear semantics. In this paper, we discuss the implementation of a scripting language for humanoid avatars in VRML/X3D-based environments. The scripting language STEP is based on dynamic logic, which provides a clear semantics for complex behavioral patterns. Moreover, the implementation of STEP is realized in a platform that extends VRML/X3D with distributed logic programming (DLP), which provides the computational support necessary to realize such complex behavioral patterns as well as the interaction with a (rich media) 3D environment. As an application example, we will discuss the development of an instructional VR for Tai Chi (the Chinese art of movement), illustrating how our approach allows for the creation of reusable libraries of behavioral patterns. We will discuss some implementation issues, in particular how to realize parallel actions and synchronization within an environment.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

CONCURRIT: A Domain Specific language for Reproducing Concurrency Bugs 13

CONCURRIT: A Domain Specific Language for Reproducing Concur...

引用

acm sigplan conference on programming language design and implementation

作者： Tayfun Elmas Jacob Burnim George Necula Koushik Sen Google Inc. Sift Science Inc. Department of Electrical Engineering and Computer Sciences University of California

ISBN: (纸本)9781450320146

We present CONCURRIT, a domain-specific language (DSL) for reproducing concurrency bugs. Given some partial information about the nature of a bug in an application, a programmer can write a CONCURRIT script to formally and concisely specify a set of thread schedules to explore in order to find a schedule exhibiting the bug. Further, the programmer can specify how these thread schedules should be searched to find a schedule that reproduces the bug. We implemented CONCURRIT as an embedded DSL in C++, which uses manual or automatic source instrumentation to partially control the scheduling of the software under test. Using CONCURRIT, we were able to write concise tests to reproduce concurrency bugs in a variety of benchmarks, including the Mozilla's SpiderMon-key JavaScript engine, Memcached, Apache's HTTP server, and MySQL.

关键词： Concurrency Errors Domain-Specific languages Software Testing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：