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

Parallel programming on top of DSM system. An experimental study

PARALLEL COMPUTING 1997年第1-2期23卷 235-249页

作者： Lefevre, L Laboratoire de l'Informatique du Parallélisme Ecole Normale Supérieure de Lyon 69364 Lyon Cedex 07 France

Parallelization of an application with a message-passing model requires time, effort and an important parallel programming knowledge from the programmer. By using a distributed shared memory model, programming a parallel application seems easy but reaching good performances becomes more difficult. In this paper we propose an experimental study of the way to program parallel applications with the DOSMOS DSM system which provides an original programming model with shared distributed objects. Moreover by integrating a development platform and monitoring facilities, the DOSMOS system has been designed to offer a performant user-friendly programming environment.

关键词： distributed shared memory system programming environment shared objects

来源：评论

学校读者我要写书评

暂无评论

FEATURES OF ARTIFICIAL-INTELLIGENCE LANGUAGES AND THEIR environmentS

引用

SOFTWARE ENGINEERING JOURNAL 1986年第4期1卷 159-164页

作者： CORLETT, RA GEC RES LABS MARCONI RES CTRCHELMSFORDENGLAND

This article describes the features of artificial intelligence problems that have affected the design of artificial intelligence languages. It describes ways in which artificial intelligence languages have been developed to cope with these features. It explains the role of the programming environment in which the artificial intelligence researcher works and how it is closely coupled with the languages he is using. Finally, some lessons that software engineering can draw from the artificial intelligence experience in using such environments are described.

关键词： operating systems (computers) software engineering Artificial intelligence Operating systems artificial intelligence artificial intelligence languages high level languages High level languages programming environment

来源：评论

学校读者我要写书评

暂无评论

Integration of parallel 'C' specifications on hardware/software platforms

引用

ANNALS OF TELECOMMUNICATIONS 2004年第7-8期59卷 807-837页

作者： Augé, I Pétrot, F Donnet, F Gomez, P Univ Paris 06 Lab Informat Dept ASIM Paris France UPMC LIP6 ASJM CNRS F-75252 Paris 05 France

This paper presents DISYDENT, a framework dedicated to System on a Chip (SoC) platform design. A. platform based design problem is a triplet (system, new application, constraints) where system is both an operating system and a hardware template that can be enhanced with dedicated co-processors. Our contribution is firstly the definition of a complete flow for platform based design, from application to integration including all necessary intermediate steps, and secondly a set of tightly bound, operational, tools to implement the flow. DISYDENT is based on 4 tools. DPN is a 'C' library for describing Kahn Process Network, CASS is a cycle,accurate simulator, ASIM0 is a multiprocessor target platform running a micro-kernel. The platform can be enhanced with co-processors. UGH is a high level synthesis tool. DISYDENT proposes a design flow to quickly focus on a solution for a platform based design problem. To start with, the designer models the new application in 'C' as a Kahn Process Network using the DPN library, The functional, validation is performed by running the application on the host. Temporal profiling at cycle accurate level is obtained by simulating the platform running the application with the CASS tool. Then, based on the profiling, the designer selects a group of processes to migrate from software to hardware. To make sure that the selection is promising, DISYDENT proposes the exploratory migration feature. it consists in enhancing the initial platform with coprocessors realizing the selected processes without modification of their description. The simulation of the enhanced platform running the application with the CASS tool gives the temporal informations that allows to accept or reject the group. Finally, the selected processes are synthesized with UGH. For each process, in addition to a RTL synthesizable description, UGH also provides a cycle accurate model. A last CASS simulation of the platform enhanced with these new models allows to perform the fin

关键词： system on chip system design C language programming environment integrated system hardware software simulation telecommunication application decoder JPEG moving image

来源：评论

学校读者我要写书评

暂无评论

POW! The Programmers Open Workbench

引用

JOURNAL OF SYSTEMS ARCHITECTURE 1999年第11期45卷 909-918页

作者： Kreuzeder, U Johannes Kepler Univ Froschungsinst Mikroprozessortech A-4040 Linz Austria

This paper is about POW! the Programmers Open Workbench, a flexible and extensible programming environment for personal computers. POW! has been developed for programming lectures at high schools and universities and has been used successfully for the past few years. POW! is based on a modular architecture and can be adapted to many different programming languages and compilers. Until now there are compiler modules for the languages Oberon-2, C, C++ and Java. This text covers the structure and implementation of POW! It also compares POW! with other programming environments for personal computers. (C) 1999 Elsevier Science B.V. All rights reserved.

关键词： programming environment software development software engineering environment Oberon-2

来源：评论

学校读者我要写书评

暂无评论

DECLARATIVE SPECIFICATION OF THE ARCHITECTURE OF A SOFTWARE-DEVELOPMENT environment

引用

SOFTWARE-PRACTICE & EXPERIENCE 1995年第2期25卷 143-174页

作者： AMBRIOLA, V CIANCARINI, P CORRADINI, A UNIV BOLOGNA DIPARTIMENTO MATEMAT I-40127 BOLOGNA ITALY

There is an increasing interest in the study of software architectures;however, it still unclear which kind of formalisms and techniques should be used in their design. We study the suitability of a rule-based, parallel logic language in the specification of the architecture of a complex software system, i.e. a software development environment. We have used as a case study SMILE, an environment for programming-in-the-large. Because of the declarative, concurrent and object-oriented features of parallel logic programming, we have been able to design a software architecture that emphasizes the dynamic of co-ordination inside the software development environment. The result of this experience shows the usefulness and some weaknesses of logic languages for specifying and prototyping the software architecture of a distributed interactive system.

关键词： SPECIFICATION programming environment SOFTWARE ARCHITECTURE LOGIC programming

来源：评论

学校读者我要写书评

暂无评论

Can a Learning Companion Be Used to Continue Teaching programming to Children Even During the COVID-19 Pandemic?

引用

IEEE ACCESS 2020年 8卷 157840-157861页

作者： Ocana, Jose Miguel Morales-Urrutia, Elizabeth K. Perez-Marin, Diana Pizarro, Celeste Ejercito Ecuatoriano Ambato 180156 Ecuador Univ Tecn Ambato Ambato 180103 Ecuador Univ Rey Juan Carlos Ciencias Comp Arquitectura Comp Lenguajes & Siste Madrid 28933 Spain Univ Rey Juan Carlos Matemat Aplicada Ciencia & Ingn Mat & Tecnol Elec Madrid 28933 Spain

Learning how to program in Primary Education has attracted significant research in recent years. It is unclear though how programming environments and languages should be adapted to children to achieve better learning and use, but one trend seems to be the use of Scratch. The question in this paper is what programming environment can be used to continue teaching programming to children who have already been taught Scratch for years. This paper's proposal is that students aged between 10 and 12 can benefit from interacting with a friendly learning companion using p-code such as Alcody. The hypothesis is that students (aged between 10 and 12) with a knowledge of Scratch will be able to significantly improve their scores by using a learning companion to teach them how to program even during the COVID-19 pandemic. To check the hypothesis, an experiment was carried out during the 2019/2020 academic year with 137 students in Ecuador. A significant improvement in the scores of the students was recorded together with high satisfaction.

关键词： Education Principal component analysis programming profession programming environments Aging Encoding Learning programming programming environment primary education COVID-19

来源：评论

学校读者我要写书评

暂无评论

Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic

引用

INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH 2024年第2期43卷 203-238页

作者： Hekmatnejad, Mohammad Hoxha, Bardh Deshmukh, Jyotirmoy V. Yang, Yezhou Fainekos, Georgios Arizona State Univ Sch Comp & Augmented Intelligence CIDSE Tempe AZ USA Toyota Motor North Amer Res & Dev Ann Arbor MI USA Univ Southern Calif Dept Comp Sci Los Angeles CA USA Arizona State Univ Sch Comp & Augmented Intelligence CIDSE 699 S Mill Ave Tempe AZ 85281 USA

Automated vehicles (AV) heavily depend on robust perception systems. Current methods for evaluating vision systems focus mainly on frame-by-frame performance. Such evaluation methods appear to be inadequate in assessing the performance of a perception subsystem when used within an AV. In this paper, we present a logic-referred to as Spatio-Temporal Perception Logic (STPL)-which utilizes both spatial and temporal modalities. STPL enables reasoning over perception data using spatial and temporal operators. One major advantage of STPL is that it facilitates basic sanity checks on the functional performance of the perception system, even without ground truth data in some cases. We identify a fragment of STPL which is efficiently monitorable offline in polynomial time. Finally, we present a range of specifications for AV perception systems to highlight the types of requirements that can be expressed and analyzed through offline monitoring with STPL.

关键词： programming environment recognition sensing and perception computer vision simulation, interfaces and virtual reality visual tracking

来源：评论

学校读者我要写书评

暂无评论

A virtual instrumentation system for integrated bearing condition monitoring

引用

IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT 2000年第2期49卷 325-332页

作者： Wang, CT Gao, RX Univ Massachusetts Dept Mech & Ind Engn Amherst MA 01003 USA

This paper presents the design, optimization, and implementation of a virtual instrument (VI), which is an essential part of an integrated hearing condition monitoring system. The VI is designed using the graphical programming language LabVIEW and is capable of performing on-line measurement functions, including data acquisition, display, and analyses in the time and frequency domains, as well as data archiving The issues of data length selection and VI real-time capability have been investigated to optimize the VI operation and improve data-processing efficiency. The VI system presents an effective and user-friendly human-machine interface for on-line bearing condition monitoring, which is of critical importance to real-time fault diagnosis and intelligent manufacturing.

关键词： bearing fault diagnosis optimization methods programming environment virtual instrumentation

来源：评论

学校读者我要写书评

暂无评论

STRUCTURING PARALLEL ALGORITHMS IN AN MIMD, SHARED MEMORY environment

引用

PARALLEL COMPUTING 1986年第2期3卷 93-110页

作者： JORDAN, HF USA BALLIST RES LABDENVERCO 80240

This paper discusses the class of algorithms having global parallelism, i.e. those in which parallelism is introduced at the top of the program structure hierarchy. Such algorithms have performance advantages in a shared-memory. MIMD computational model. A programming environment consisting of FORTRAN, enhanced by some pre-processed macros, has been built to aid in writing programs for such algorithms for the Denelcor HEP multiprocessor. Applications of from tens to hundreds of FORTRAN statements have been written and tested in this environment. A few parallelism constructs suffice to yield understandable programs with a high degree of parallelism. The automatic generation of programs with global parallelism seems to be a promising possibility.

关键词： Denelcor HEP global parallelism MIMD computer programming environment structuring parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

NSEDIT - A SYNTAX-DIRECTED EDITOR AND TESTING TOOL BASED ON NASSI-SHNEIDERMAN CHARTS

引用

SOFTWARE-PRACTICE & EXPERIENCE 1988年第10期18卷 987-998页

作者： HALEWOOD, K WOODWARD, MR Department of Computer Science University of Liverpool P.O. Box 147 Liverpool L69 3BX U.K.

AbstractThis paper describes a programming environment for Pascal, called NSEDIT, which runs under VAX/VMSVAX/VMS is a trademark of the Digital Equipment Corporation.. NSEDIT is based upon the notion of Nassi‐Shneiderman charts (abbreviated to N‐S charts in this paper) and is designed for ease of use by novice programmers in a teaching situation. A key component of the system is the editor, which enables structural features of Pascal to be manipulated in terms of their N‐S chart box representations. Simultaneous editing of more than one program or module is permitted. Another key feature of the system is a semiautomatic interface to the VAX/VMS Pascal compiler, with subsequent display of execution counts as part of the N‐S charts. In this way users can obtain immediate feedback on the coverage of program elements by test runs, while still inside an editing

关键词： programming environment Nassi‐Shnciderman charts Syntax‐directed editor Test coverage

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：