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

CSM - A distributed-programming LANGUAGE

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1987年第4期13卷 497-500页

作者： SUN, ZX LI, XN Department of Computer Science Nanjing University

An overview is presented of a distributed programming language called Communicating Sequential Modules (CSM), intended to support distributed computing. The language is developed from Modula-2 and communicating sequential processes (CSP). From CSP, the language has inherited parallel commands, guarded commands, and communication commands, and from Modula-2, it has inherited most of the rest, including the important module concept. CSM has been implemented on the ZCZ distributed microcomputer system consisting of several LSI-11 microcomputers. Its language is easy to understand. The CSM compiler is composed of a modified Modula-2 compiler and a translator, which is written in Modula-2 with a size of about 2,100 lines. Examples tested show that CSM is an effective tool for distributing programming.

关键词： Networks Commands Communication distributed programming distributed programming Languages Modules

来源：评论

学校读者我要写书评

暂无评论

THE distributed-programming LANGUAGE SR - MECHANISMS, DESIGN AND IMPLEMENTATION

引用

SOFTWARE-PRACTICE & EXPERIENCE 1982年第8期12卷 719-753页

作者： ANDREWS, GR Department of Computer Science The University of Arizona Tucson Arizona 85721 U.S.A.

SR is a new language for programming software containing many processes that execute in parallel. The language allows an entire software system that controls a potentially large collection of processors to be programmed as an integrated set of software modules. The key language mechanisms are resources, operations and input statements. The language supports separate compilation, type abstraction, and dynamic communication links; it also contains novel treatments of arrays and procedures. This paper gives an overview of the language mechanisms, discusses some of the major design decisions and describes one implementation.

关键词： Concurrent programming languages distributed programming distributed systems Process synchronization Data types

来源：评论

学校读者我要写书评

暂无评论

Edelweiss: Automatic Storage Reclamation for distributed programming

引用

PROCEEDINGS OF THE VLDB ENDOWMENT 2014年第6期7卷 481-492页

作者： Conway, Neil Alvaro, Peter Andrews, Emily Hellerstein, Joseph M. Univ Calif Berkeley Berkeley CA 94720 USA

Event Log Exchange (ELE) is a common programming pattern based on immutable state and messaging. ELE sidesteps traditional challenges in distributed consistency, at the expense of introducing new challenges in designing space reclamation protocols to avoid consuming unbounded storage. We introduce Edelweiss, a sublanguage of Bloom that provides an ELE programming model, yet automatically reclaims space without programmer assistance. We describe techniques to analyze Edelweiss programs and automatically generate application-specific distributed space reclamation logic. We show how Edelweiss can be used to elegantly implement a variety of communication and distributed storage protocols;the storage reclamation code generated by Edelweiss effectively garbage-collects state and often matches hand-written protocols from the literature.

关键词： Reclamation Application programs Application specific distributed programming distributed storage programming models programming patterns

来源：评论

学校读者我要写书评

暂无评论

MOD - A LANGUAGE FOR distributed-programming

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1980年第6期6卷 563-571页

作者： COOK, RP Department of Computer Sciences University of Wisconsin

A high-level language system has been developed for application programming in a network environment. The language, MOD, addresses the problems of distributed programming by creating an environment conducive to efficient and reliable network software construction. MOD provides low-level operations which can be extended to define high-level abstractions appropriate to a particular machine environment. Programs written in MOD can adapt to changes in workload or response time requirements. Library modules can be upgraded from a collection of procedures to a collection of processes. MOD also permits programs to be organized to reflect the structure of the physical processors and the connectivity of the network.

关键词： programming Languages Computer Networks distributed programming Modula Processor Module

来源：评论

学校读者我要写书评

暂无评论

ABSTRACTIONS FOR distributed-programming

引用

COMPUTER LANGUAGES 1981年第3-4期6卷 131-138页

作者： COOK, RP Computer Sciences Department University of Wisconsin-Madison 1210 West Dayton Street Madison WI 53706 U.S.A.

The StarMod language is designed to provide its users with abstractions for distributed computations. The language is based on Wirth's definition of a “module” as impiemented in Modula. The paper discusses abstraction mechanisms for distributed access control and scheduling: in addition, several examples are used to illustrate these concepts.

关键词： distributed programming Module Scheduling Access control

来源：评论

学校读者我要写书评

暂无评论

GUARDED PROCEDURE - A distributed-programming CONCEPT

引用

INFORMATION PROCESSING LETTERS 1981年第4-5期13卷 199-203页

作者： ARORA, RK SHARMA, NK Computer Centre Indian Institute of Technology Hauz Khas New Delhi 110016 India

Linking many independent microprocessors with distributed storage is frequently desirable. A requirement for successful linkage is a distributed programming language capable of being used in well-structured, reliable, and efficient programs. Guarded Procedure (GP), a new approach to distributed programming, specifies communication and synchronization among software components, enabling processes to proceed in parallel. Objectives in the design of GP are: 1. high system throughput, 2. the ability to call subroutines, and 3. simplicity for easy implementation. Examples of applications of GP are given in the solution of familiar programming exercises.

关键词： distributed programming distributed networks distributed processes process communication and scheduling

来源：评论

学校读者我要写书评

暂无评论

Characterizing Extracurricular Effort on Concurrent and distributed programming Learning 4

Characterizing Extracurricular Effort on Concurrent and Dist...

引用

4th Costa Rican Conference on Computing and Informatics Research (JoCICI)

作者： Hidalgo-Cespedes, Jeisson Univ Costa Rica ECCI CITIC San Jose Costa Rica

ISBN: (纸本)9781728147871

The importance of concurrent and distributed programming is increasing on Computer Science curricula. This exploratory research identifies additional notions required by the official topics of "Parallel and Concurrent programming" course, taught at the University of Costa Rica. This paper characterizes previous knowledge that students had about these notions and the extracurricular effort that they made to overcome the lack of notions. Findings show that students were able to overcome the lack of notions at expense of more extracurricular effort. Exploratory evidence indicates that students' election of professors in previous courses influenced their performance and extracurricular effort in the parallel programming course.

关键词： previous knowledge extracurricular effort course concurrent programming parallel programming distributed programming

来源：评论

学校读者我要写书评

暂无评论

Using distributed programming in collaborative design and production system management

Using distributed programming in collaborative design and pr...

引用

18th International Symposium of the Danube-Adria-Association-for-Automation-and-Manufacturing

作者： Cioca, M. Cioca, L., I

ISBN: (纸本)9783901509582

The use of information technology is indisputed in any direction, starting with medicine, education, research, production, socially, etc. Taking into account what we have just said before, the present paper presents an original method of using distributed programming with the purpose of obtaining products based on the principle of collaborative design and of sustaining the management of the production systems, thus improving its performances, and, at the same time, increasing those of the triple requirement quality-cost-time, which, in a global economy, has an overwhelming importance.

关键词： distributed programming production system

来源：评论

学校读者我要写书评

暂无评论

How to make a distributed programming course a big fun 44

How to make a distributed programming course a big fun

引用

IEEE Frontiers in Education Conference (FIE)

作者： Osipov, Evgeny Mousavi, Arash Lulea Univ Technol Dept Comp Sci Elect & Space Engn S-97187 Lulea Sweden

ISBN: (纸本)9781479939220

This article presents experiences of teachers from Lulea University of Technology when enhancing the teaching approach and depth of an undergraduate course on network programming and distributed applications. During the trial run of the course in the fall of 2013 agent-oriented programming and cloud technologies were married to provide students an exciting practical scenario and capability to test the performance of truly large scale distributed systems under extremely high traffic loads.

关键词： cloud computing computer aided instruction computer science education distributed programming educational courses educational institutions object-oriented programming software agents teaching Lulea University of Technology agent-oriented programming cloud technologies distributed applications distributed programming course large-scale distributed systems network programming applications teacher experiences teaching approach enhancement traffic loads undergraduate course depth enhancement Cloud computing Computer architecture Educational institutions Multi-agent systems programming profession

来源：评论

学校读者我要写书评

暂无评论

Varda: A Framework for Compositional distributed programming 10th

Varda: A Framework for Compositional Distributed Programming

引用

10th International Conference on Networked Systems (NETYS)

作者： Prosperi, Laurent Bouajjani, Ahmed Shapiro, Marc Sorbonne Univ CNRS Inria LIP6 Paris France Univ Paris Cite IRIF Paris France

ISBN: (纸本)9783031174360;9783031174353

A distributed system is made of interacting components. The current manual, ad-hoc approach to composing them cannot ensure that the composition is correct, and makes it difficult to control performance. The former issue requires reasoning over a high-level specification;the latter requires fine control over emergent run-time properties. To address this, we propose the Varda language (a work in progress) to formalize the architecture of a system, i.e., its components, their interface, and their orchestration logic. The Varda compiler checks the architecture description and emits glue code, which executes the orchestration logic and links to the components. The Varda system relies on a generic interception mechanism to act upon distribution-related system features in a transparent and uniform manner. Varda also takes into account important non-functional system properties, such as placement.

关键词： distributed programming Language distributed system Composition Orchestration Architecture

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：