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

FlowTalk: Language Support for Long-Latency Operations in Embedded Devices

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2011年第4期37卷 526-543页

作者： Bergel, Alexandre Harrison, William Cahill, Vinny Clarke, Siobhan Univ Chile Comp Sci Dept DCC PLEIAD Lab Santiago Chile Trinity Coll Dublin Software Struct Grp Sch Comp Sci & Stat Dublin Ireland Trinity Coll Dublin Distributed Syst Grp Dublin Ireland Trinity Coll Dublin Lero Irish Software Engn Res Ctr Dublin Ireland

Wireless sensor networks necessitate a programming model different from those used to develop desktop applications. Typically, resources in terms of power and memory are constrained. C is the most common programming language used to develop applications on very small embedded sensor devices. We claim that C does not provide efficient mechanisms to address the implicit asynchronous nature of sensor sampling. C applications for these devices suffer from a disruption in their control flow. In this paper, we present FlowTalk, a new object-oriented programming language aimed at making software development for wireless embedded sensor devices easier. FlowTalk is an object-oriented programming language in which dynamicity (e.g., object creation) has been traded for a reduction in memory consumption. The event model that traditionally comes from using sensors is adapted in FlowTalk with controlled disruption, a light-weight continuation mechanism. The essence of our model is to turn asynchronous long-latency operations into synchronous and blocking method calls. FlowTalk is built for TinyOS and can be used to develop applications that can fit in 4 KB of memory for a large number of wireless sensor devices.

关键词： Embedded systems object-based programming

来源：评论

学校读者我要写书评

暂无评论

A FORMAL SEMANTICS FOR THE ODP COMPUTATIONAL MODEL

COMPUTER NETWORKS AND ISDN SYSTEMS

引用

COMPUTER NETWORKS AND ISDN SYSTEMS 1995年第8期27卷 1305-1329页

作者： NAJM, E STEFANI, JB CTR NATL ETUD TELECOMMUN F-92131 ISSY MOULINEAUXFRANCE ECOLE NATL SUPER TELECOMMUN BRETAGNE F-75013 PARISFRANCE

The ODP computational model is an essential part of the ODP Reference Model that provides an abstract, language-independent programming framework for open distributed systems. This paper presents a formal operational semantics for an essential subset of the ODP computational model. The semantics takes the form of a rewriting theory that provides a generic and abstract true-concurrency semantics for the ODP computational model.

关键词： OPEN DISTRIBUTED PROCESSING ODP DISTRIBUTED SYSTEMS COMPUTATIONAL MODEL OPERATIONAL SEMANTICS object-based SYSTEMS object-based programming

来源：评论

学校读者我要写书评

暂无评论

Techniques and tools for visually introducing freshmen to object-based thread abstractions

引用

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING 2021年 157卷 179-200页

作者： Dewan, Prasun George, Samuel Wortas, Andrew Do, Justin Univ N Carolina Dept Comp Sci 150 Brooks BldgS Columbia St Chapel Hill NC 27599 USA

An approach to adding concurrency to an existing undergraduate course should integrate driving problems used in analogies, worked examples, and assignments;amplify the subject/topics of the existing course;and ensure that the addition does not have a negative impact on (a) conceptual focus, and (b) student learning, struggle, and engagement. When concurrency is added to a course covering object-based programming, five related design principles for meeting these, sometimes conflicting, requirements are: (a) analogies, worked examples, and assignments are all implementations of simulations of moving physical objects, (b) the user-interface components of the simulations are created automatically or implemented manually using the MVC design pattern, (c) assignment implementations are layered to follow the logical dependence among concepts, (d) the concurrency aspects of the functional components of the simulations are implemented using reusable loop and design patterns, and (e) students can experiment with concurrency extensions to implementations of worked examples and assignments. We followed these principles in multiple course offerings that added concurrency to two different courses on object-based programming. Our data-based evaluation of these offerings, using new inferencing algorithms, analyzed the number of posts and contributions to class discussion forums;the number of entries in class participation diaries;the number of times an automated test is run before it passes;and the percentage of attempts to implement different aspects of concurrency that yield no success. The results show that adding thread execution and creation, synchronization, and coordination has little or no significant effect on measures of engagement, learning, and struggle. (C) 2021 Elsevier Inc. All rights reserved.

关键词： Education object-based programming Concurrency Java

来源：评论

学校读者我要写书评

暂无评论

A simple, object-based view of multiprogramming

引用

FORMAL METHODS IN SYSTEM DESIGN 2002年第1期20卷 23-45页

作者： Misra, J Univ Texas Dept Comp Sci Austin TX 78712 USA

object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. The class of applications that will be implemented on future high-bandwidth networks of processors will be significantly more ambitious than the current applications (which are mostly involved with transmissions of digital data and images), and object-based concurrent programming has the potential to simplify designs of such applications. Many of the programming concepts developed for databases, object-oriented programming and designs of reactive systems can be unified into a compact model of concurrent programs that can serve as the foundation for designing these future applications. We propose a model of multiprograms and a discipline of programming that addresses the issues of reasoning (e.g., understanding) and efficient implementation. The major point of departure is the disentanglement of sequential and multiprogramming features. We propose a sparse model of multiprograms that distinguishes these two forms of computations and allows their disciplined interactions.

关键词： multiprogramming concurrency object-based programming distributed implementation semaphore communicating processes

来源：评论

学校读者我要写书评

暂无评论

Interactive data analysis in a manufacturing setting - A case study

引用

COMPUTATIONAL STATISTICS 1999年第1期14卷 147-159页

作者： James, DA AT&T Bell Labs Lucent Technol Murray Hill NJ 07974 USA

We present a case study in the application of interactive data analysis in the context of semiconductors and optical fiber manufacturing. Our approach to interactive graphics is based on well-known principles of data analysis and interactive graphics (Chambers, Cleveland, Kleiner & Tukey 1983, Cleveland 1993, Tufte 1983, Tufte 1990, Stuetzle 1987, Becker, Cleveland & Well 1988b, Becker, Eick & Wilks 1991, Young & Lubinsky 1995, Buja, Cook & Swayne 1996), and its implementation is written in the S-language for data analysis and graphics (Becker, Chambers & Wilks 1988a, Chambers & Hastie 1992). The case study also highlights the need for improved interactive software tools in S-based systems to support the type of programmable interactive graphics that we envision. These limitations have motivated us to explore some recent developments in software technology, such as S Version 4 (Chambers 1998), Java, LispStat (Tierney 1996), XploRe (Haerdle, Klinke, Turlach & Ardle 1995), CORBA (Siegel 1996), and PVM (Geist, Beguelin, Dongarra, Jiang, Mancheck & Sunderam 1994), and asses how they can be used to alleviate some of the deficiencies we see in existing tools.

关键词： interactive data analysis integrated circuits optical fiber linked plots object-based programming

来源：评论

学校读者我要写书评

暂无评论

A Modern-Fortran Program for Chemical Kinetics on Top of Anharmonic Vibrational Calculations 19th

A Modern-Fortran Program for Chemical Kinetics on Top of Anh...

引用

19th International Conference on Computational Science and Its Applications (ICCSA)

作者： Nandi, Surajit Calderini, Danilo Bloino, Julien Rampino, Sergio Barone, Vincenzo Scuola Normale Super Pisa Piazza Cavalieri 7 I-56126 Pisa Italy

ISBN: (纸本)9783030243111

We discuss the design and implementation of StarRate, a modern-Fortran program for the calculation of chemical kinetics coupled to anharmonic vibrational perturbative treatments. The program is written in the F language, a carefully crafted subset of Fortran 95, and is conceived in an object-based programming paradigm, i.e. the set of object-oriented programming features supported by Fortran 90/95. StarRate is made up of three main modules handling the involved molecular species, the elementary reaction steps, and the whole reaction scheme. Input data are accessed through an XML interface based on a cross-code hierarchical data format granting interoperability with popular electronic-structure packages and with the graphical interface of the Virtual Multifrequency Spectrometer developed in our group. Data parsing is performed through versatile Python scripts. Test calculations on the isomerization reaction of C-cyanomethanimine using anharmonic densities of states obtained with a development version of Gaussian are reported together with an account of ongoing developments.

关键词： object-based programming Modern Fortran Chemical kinetics Anharmonic perturbative models Reaction rates

来源：评论

学校读者我要写书评

暂无评论

Modeling of dermal wound healing-remodeling phase by Neural Networks

Modeling of dermal wound healing-remodeling phase by Neural ...

引用

Spring Conference of the International-Association-of-Computer-Science-and-Information-Technology

作者： Azizi, Aydin Seifipour, Navid Sharif Univ Technol Dept Mech Engn Kish Isl Iran

ISBN: (纸本)9780769536538

Wound healing is a complex biological process dependent on multiple variables: tissue oxygenation, wound size, contamination, etc. Many of these factors depend on multiple factors themselves. Mechanisms for some interactions between these factors are still unknown, presenting a barrier for scientists intending to model wound healing using an object-based programming approach. In this paper we focus on the neural networks and regard them as function approximators, and attempt to simulate remodeling phase of dermal wound healing process using neural networks as an intelligence technique.

关键词： Wound healing modeling Dermal wounds Remodeling phase object-based programming Neural networks

来源：评论

学校读者我要写书评

暂无评论

A knowledge-based system for the analysis and redesign of digital circuit networks

引用

Artificial Intelligence in Engineering 1987年第3期2卷 167-172页

作者： Simoudis, Evangelos AI Applications Group Digital Equipment Corporation Hudson MA 01749 77 Reed Rd United States

The Transmission Line Troubleshooting System (TLTS) is a tool which analyzes and redesigns digital circuit networks. TLTS implements a technology independent methodology for troubleshooting signal integrity problems. The architecture of TLTS is based on the development of a predecessor tool that is being used by circuit designers. TLTS consists of two blackboard-based, distributed subsystems. Analysis in the first subsystem is performed using heuristic methods, whereas in the second subsystem algorithmic analysis is used. TLTS was implemented in the expert system language ORBS. We discuss the knowledge representation scheme, and compare the architectures used in the two versions of the tool. © 1987.

关键词： blackboard model circuit analysis circuit networks circuit redesign computer aided design diagnostic systems expert systems heuristic simulation knowledge-based systems object-based programming planning systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：