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

COMPUTER languageS 1984年第2期9卷 97-106页

作者： PATNAIK, LM BHATTACHARYA, P GANESH, R CASE WESTERN RESERVE UNIV CLEVELANDOH 44106 SUNY STONY BROOK STONY BROOKNY 11790

Many novel computer architectures like array and multiprocessors which achieve high performance through the use of concurrency exploit variations of the von Neumann model of computation. The effective utilization of the machines makes special demands on programmers and their programming languages, such as the structuring of data into vectors or the partitioning of programs into concurrent processes. In comparison, the data flow model of computation demands only that the principle of structured programming be followed. A data flow program, often represented as a data flow graph, is a program that expresses a computation by indicating the data dependencies among operators. A data flow computer is a machine designed to take advantage of concurrency in data flow graphs by executing data independent operations in parallel. In this paper, we discuss the design of a high level language (DFL: D ata F low L anguage) suitable for data flow computers. Some sample procedures in DFL are presented. The implementation aspects have not been discussed in detail since there are no new problems encountered. The language DFL embodies the concepts of functional programming, but in appearance closely resembles Pascal. The language is a better vehicle than the data flow graph for expressing a parallel algorithm. The compiler has been implemented on a DEC 1090 system in Pascal.

关键词： Data flow computer Compiler programming language

来源：评论

学校读者我要写书评

暂无评论

Distributed algorithms for cooperative control

引用

IEEE PERVASIVE COMPUTING 2004年第1期3卷 56-65页

作者： Klavins, E Murray, RM Univ Washington Seattle WA 98195 USA CALTECH Pasadena CA 91125 USA

Expressing a cooperative control system requires combining tools from control theory and distributed computation. After reviewing several possible formalisms appropriate for the job, the authors settle on the computation and control language and illustrate its main features and advantages using a cooperative tracking task. We demonstrate some of the concepts involved in using a multirobot task. We also discuss CCL's ability to be a programming language as well as a modeling tool, which lets us directly simulate or execute CCL models.

关键词： distributed algorithms multi-robot systems cooperative systems programming languages cooperative control system control theory distributed computation control language multirobot task CCL programming language modeling tool copper clad laminate Computer programming languages coordinated control cooperative systems Control Theory COMMAND AND CONTROL languageS multi-robot systems distributed algorithms

来源：评论

学校读者我要写书评

暂无评论

FROM MODULA TO OBERON

引用

SOFTWARE-PRACTICE & EXPERIENCE 1988年第7期18卷 661-670页

作者： WIRTH, N Institut für Informatik Eidgenössische Technische Hochschule Zürich ETH-Zentrum CH-8092 Zürich Switzerland

AbstractThe programming language Oberon is the result of a concentrated effort to increase the power of Modula‐2 and simultaneously to reduce its complexity. Several features were eliminated, and a few were added in order to increase the expressive power and flexibility of the language. This paper describes and motivates the changes. The language is defined in a concise report

关键词： programming language Modula‐2 Object‐oriented Extended data type Type inclusion Program modularity Extensibility

来源：评论

学校读者我要写书评

暂无评论

TALTS: A general thermal analyser for lumped thermal systems

引用

INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY 1998年第1-2期11卷 127-150页

作者： Wei, SS Chung Shan Inst Sci & Technol Lungtan Taiwan

Presented in this paper is a general thermal analyser for versatile heat transfer problems represented by lumped thermal systems. The analyser is mostly distinguished from existing thermal analysers by (1) using a flexible language to build the input data file, (2) being capable of deleting and adding submodels at any computation time, (3) being able to manipulate thermal and heat transfer properties in the computation, and (4) being accessible to third party libraries. The analyser is also suitable for solving any physical problem which can be both represented by a system of diffusion-typed equations and formulated as a conductance and capacitance network. In addition to the detailed description of using the thermal analyser, the compiler design for the specially developed language is also elaborated.

关键词： compiler design computer-aided engineering lumped system programming language thermal analysis

来源：评论

学校读者我要写书评

暂无评论

Edge-Centric programming for IoT Applications With Automatic Code Partitioning

引用

IEEE TRANSACTIONS ON COMPUTERS 2022年第10期71卷 2408-2422页

作者： Li, Borui Dong, Wei Zhejiang Univ Alibaba Zhejiang Univ Joint Inst Frontier Technol Coll Comp Sci Hangzhou 310027 Peoples R China

IoT application development usually involves separate programming at the device side and server side. While separate programming style is sufficient for many simple applications, it is not suitable for many complex applications that involve complex interactions and intensive data processing. We propose EdgeProg, an edge-centric programming approach to simplify IoT application programming, motivated by the increasing popularity of edge computing. With EdgeProg, users could write application logic in a centralized manner with an augmented If-This-Then-That (IFTTT) syntax and virtual sensor mechanism. The program can be processed at the edge server, which can automatically generate the actual application code and intelligently partition the code into device code and server code, for achieving the optimal latency. EdgeProg employs dynamic linking and loading to deploy the device code on a variety of IoT devices, which do not run any application-specific codes at the start. Results show that EdgeProg achieves an average reduction of 20.96%, 27.8% and 79.41% in terms of execution latency, energy consumption, and lines of code compared with state-of-the-art approaches.

关键词： Codes Internet of Things programming Servers Loading Performance evaluation Speech recognition Edge computing IoT programming language

来源：评论

学校读者我要写书评

暂无评论

A SOFTWARE-DESIGN METHOD AND ITS APPLICATION TO PROTOCOL AND COMMUNICATION SOFTWARE-DEVELOPMENT

COMPUTER NETWORKS AND ISDN SYSTEMS

引用

COMPUTER NETWORKS AND ISDN SYSTEMS 1988年第4期15卷 245-267页

作者： SHIRATORI, N TAKAHASHI, K NOGUCHI, S TOHOKU UNIV ELECT COMMUN RES INSTSENDAIMIYAGI 980JAPAN

This paper proposes an approach, called “the Harmonic Design Method”, to achieve an approximately ideal language that simultaneously serves the purposes or requirements of software specification, verification, implementation and so on. This approach is based on two important concepts—partitioning and unification. In the Harmonic Design Method, the collection of the problem-oriented languages and the transformation algorithms between the languages, provided through the process of the partitioning and unification, is regarded as the approximation to the target ideal language. As an application of the Harmonic Design Method, the design of a software support system for making the development of protocols and communication software easy is given. In this design, we provide three problem-oriented languages, viz., the protocol specification language NESDEL, the communication software oriented programming language IDL and the language EXPA which has both a framework for expressing protocols and an algorithm for verifying protocols, and three transformation algorithms between them, i.e., NESDEL-to-EXPA, EXPA-to-NESDEL and NESDEL-to-IDL. The details of these languages and transformation algorithms are also given. Finally, we introduce some software tools used for supporting these languages and transformation algorithms.

关键词： Software Design Method Protocols Communication Software Protocol Verification Protocol Implementation Specification language programming language Computer Networks Support System for Protocol Development

来源：评论

学校读者我要写书评

暂无评论

ALGEBRAIC TOOLS FOR language PROCESSING

引用

COMPUTER languageS 1994年第4期20卷 213-238页

作者： RUS, T HALVERSON, T Department of Computer Science The University of Iowa Iowa City IA 52242 U.S.A.

A language space provides a unified framework to deal with the properties of language constructs by associating them with their specification rules. The concrete syntax is represented by segments of the language space. The semantics is given by derived operations of the algebras where these constructs are interpreted by the processing tools operating on the language space. We examine in this paper only processing tools that collect syntactic information over the language space. Tools involved in semantics processing such as translators and interpreters are also integrated in the language space but are not discussed here.

关键词： programming language language CONSTRUCTS language PROCESSING TOOLS PARSING

来源：评论

学校读者我要写书评

暂无评论

CPL: Failed Venture or Noble Ancestor?

引用

IEEE ANNALS OF THE HISTORY OF COMPUTING 2013年第3期35卷 55-63页

作者： Hartley, David Univ Cambridge Clare Coll Cambridge CB2 1TN England

In a personal account, the author chronicles the joint effort by the University Mathematical Laboratory at Cambridge and the Institute of Computer Science in London to develop the programming language CPL in the early 1960s. Although the project failed to achieve all its aspirations, it did lay important groundwork by establishing some of the basic principles that underlie today's programming languages.

关键词： Cambridge Christopher Strachey Computers CPL Educational institutions Ferranti Atlas High level languages history of computing Institute of Computer Science Laboratories Martin Richards Operating systems programming programming language University Mathematical Laboratory

来源：评论

学校读者我要写书评

暂无评论

A STUDY OF DESIGNING A GRID-ENABLED EXPERT SYSTEM language

引用

JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS 2008年第7期31卷 1165-1179页

作者： Wu, Chao-Chin Lai, Lien-Fu Chang, Yu-Shuo Natl Changhua Univ Educ Dept Comp Sci & Informat Engn Changhua 500 Taiwan

Because enriching grid applications is crucial to promote grid computing and grid economy, in this paper we focus on how to attract expert system programmers to run their applications on grid systems. CLIPS is a rule-based language designed to help construct expert systems more easily because it is not required to design all algorithm to solve any problem. Instead, it relies oil the CLIPS inference engine to draw a conclusion from the known facts and rules. However. because Of the language's characteristics. it is very time-consuming to execute a CLIPS application when compared with other algorithmic languages. To address the problem, we propose to execute a CLIPS-based expert system in parallel by emerging cluster and grid systems in this paper. To achieve the goal, CLIPS has to be extended with new syntax to be a parallel version. In addition, we propose to adopt the SPMD computational model for programming to maintain parallel CLIPS applications in an easier way. According to experimental results. it is appealing to run CLIPS-based expert systems in parallel oil Cluster and grid systems by adopting our approach because the performance improvements can be superlinear.

关键词： grid computing parallel computing expert system programming language

来源：评论

学校读者我要写书评

暂无评论

Analysis of the programming languages Preferred by Novice Programmers for Solving programming Problem 23

Analysis of the Programming Languages Preferred by Novice Pr...

引用

Proceedings of the 2023 4th Asia Service Sciences and Software Engineering Conference

作者： Md Faizul Ibne Amin Md. Mostafizer Rahman Atsushi Shirafuji Yutaka Watanobe Department of Computer and Information Systems University of Aizu Japan Dhaka University of Engineering and Technology Bangladesh

ISBN: (纸本)9798400708534

In ICT education, most of the courses particularly those focused on programming, are designed to enhance computational and practical skills. However, the selection of appropriate programming languages holds great significance for novice programmers embarking on their journey of learning programming. This paper presents a comprehensive analysis utilizing real-world data to gain insights into the prevalent trends in programming language selection for problem-solving among novice programmers. The study leverages solution submission logs from an online judge (OJ) system, employed as an educational tool within an introductory programming course. The analysis specifically focuses on topic #1 consists of four problems of this course. Our investigation revolves around programmers’ first attempts to solve these problems, taking into account the programming languages they employ. The findings of our detailed statistical analysis shed light on the preferred programming languages used by programmers to tackle these problems. These insights not only aid fledgling novice programmers in making informed decisions when selecting a programming language, but also offer educators, instructors, and academic institutions valuable information for curating programming language choices within introductory programming courses.

关键词： Aizu Online Judge (AOJ). Big data Data Analysis language Selection Online judge programming language programming learning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：