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

WSN Design and Verification Using On-Board Executable Specifications

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2019年第2期15卷 710-718页

作者： Gaglio, Salvatore Lo Re, Giuseppe Martorella, Gloria Peri, Daniele Univ Palermo Dipartimento Innovaz Ind & Digitale I-90128 Palermo Italy

The gap between informal functional specifications and the resulting implementation in the chosen programming language is notably a source of errors in embedded systems design. In this paper, we discuss a methodology and a software platform aimed at coping with this issue in programming resource-constrained wireless sensor network nodes (WSNs). Whereas the typical development model for the WSNs is based on cross compilation, the proposed approach supports high-level symbolic coding of abstract models and distributed applications, as well as their test and their execution, directly on the target hardware. As a working example, we discuss the application of our methodology to specify the functional behavior of a radio transceiver chip. The resulting executable specifications are augmented with automatically generated runtime verification code. Our approach is also compared to code development for two prominent WSN general-purpose operating systems.

关键词： Embedded systems resource-constrained devices symbolic programming system programming system specification wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

Ibm :: 370 :: Os Vs2 :: Release 3.7 1977 :: Gc28-0629-1 Os Vs2 Mvs programming Library Tso Rel 3.7 Nov76

引用

2016年

[Auto Generated] Summary of Amendments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Part 1: TSO Services . . Preparing for TSO Processing ............ . Writing a Message Control Program Cataloged Procedure Writing a LOGON Cataloged Procedure TSO Allocation Suggestions Determining TSO User Size EXEC Parameters Optional Data Sets . . . . Sample Procedure ..... . Space Allocation Used by the EDIT Access Method Creating, Converting, and Maintaining UADS and Broadcas

关键词： account account number broadcast data cataloged procedure change subcommand command data data set data sets exit exit routine gc28-0629-1 library logon logon processor nov76 parameter programming release specifies subcommand syntax checker system programming tso user

来源：评论

学校读者我要写书评

暂无评论

EXTENDING PROLOG WITH MODULARITY, CONCURRENCY AND META-RULES

引用

NEW GENERATION COMPUTING 1992年第4期10卷 335-359页

作者： MELLO, P NATALI, A UNIV BOLOGNA DIPARTIMENTO ELETTR INFORMAT & SISTEMISTI-40136 BOLOGNAITALY

This paper presents the main features of an extension to Prolog toward modularity and concurrency - called Communicating Prolog Units (CPU) - whose main aim is to allow logic programming to be used as an effective tool for system programming and prototyping. While Prolog supports only a single set of clauses and sequential computations, CPU allows programmers to define different theories (P-unis) and parallel processes interacting via P-units, according to a model very similar to Linda's generative communication. The possibility of expressing meta-rules to specify where and how object-level (sub)golas have to be proved, not only enhances modularity, but also increases the expressive power and flexibility of CPU systems.

关键词： LOGIC programming PROLOG MODULARITY PARALLELISM META-programming system programming

来源：评论

学校读者我要写书评

暂无评论

Anecdotes

引用

IEEE Annals of the History of Computing 2006年第3期28卷 76-80页

作者： Quatse, Jesse T. Pay By Touch

No abstract available

关键词： Computer Architecture G 21 Hardware Design Computer Facility system programming Hardware Computer Architecture Design Methodology CMU Computer Science Department Graphic Display Multiprocessing Shared Memory RACE File Portable Computer Terminal Acoustic Modem Remote Batch system Design

来源：评论

学校读者我要写书评

暂无评论

Animated Flowchart with Example Followed by Think-Pair- Share Activity for Teaching Algorithms of Engineering Courses 9

Animated Flowchart with Example Followed by Think-Pair- Shar...

引用

IEEE Tenth International Conference on Technology for Education (T4E)

作者： Dol, Sunita Milind Walchand Inst Technol Comp Sci & Engn Solapur Maharashtra India

ISBN: (纸本)9781728111438

It is generally observed that students always find the difficulty in understanding and studying the algorithms of any course. Algorithm part of any course can be taught using a flowchart which is a diagrammatic representation of a program that represents an algorithm, work-flow or process. Flowchart helps the students understand how the algorithm works and will remember for a long time. But only flowchart is not sufficient for understanding some algorithms, so animated flowchart with the example to understand the steps of algorithm instead of normal flowchart is considered in the current study. This animated flowchart with example improves the understanding about algorithm, conveys the information easily, gives the clear view of algorithm and analyzes the problem effectively. Think-Pair-Share (TPS) is an active learning strategy, in which students work on a problem posed by instructor, first individually (Think), then in pairs (Pair) and finally together with the entire class (Share). TPS helps students understand fundamental knowledge of a topic, enable self learning ability, develop the ability to percolate information and draw conclusions, and improve technical and soft skills. In this paper, I have combined animated flowchart with example and TPS activity. This modified the TPS activity is named Animated Flowchart with Example Think-Pair-Share and is useful for algorithm based courses. The case study of algorithm based course like system programming of Third Year Computer Science and Engineering is considered for this modified TPS activity. Animated Flowchart with Example Think-Pair-Share is a modified TPS activity in which first the algorithm is explained with help animated flowchart and then step by step working of algorithm is demonstrated with the help of example followed by TPS activity. One group pre-test and post-test model is considered for this study. It is found that Animated Flowchart with Example Think-Pair-Share activity is effective and results are

关键词： Animated Flowchart with Example Think-Pair-Share system programming t-Test Likert's Scale

来源：评论

学校读者我要写书评

暂无评论

Adolf Lvovich Fuksman: His Book "Technological aspects of software system design" and Modern Age 4

Adolf Lvovich Fuksman: His Book "Technological aspects of so...

引用

4th International Conference on Computer Technology in Russia and in the Former Soviet Union (SORUCOM)

作者： Mikhalkovich, Stanislav Southern Fed Univ II Vorovich Inst Math Mech & Comp Sci Rostov Na Donu Russia

The paper discusses the biography of Rostovon-Don computer scientist Adolf Lvovich Fuksman, his main scientific results in theoretical and applied programming and the role of his main paper "Technological aspects... 详细信息

ISBN: (纸本)9781538647417

关键词： history of science system programming aspect-oriented programming cross-cutting functionality vertical program layering

来源：评论

学校读者我要写书评

暂无评论

Checkpoint and restore of file locks in userspace 17

Checkpoint and restore of file locks in userspace

引用

13th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)

作者： Begunkov (Silence), Pavel St Petersburg Acad Univ Russian Acad Sci St Petersburg Russia

ISBN: (纸本)9781450363969

Checkpoint/restore (a.k.a checkpoint/restart) is a technique which is naturally described by its two parts. The first one is a checkpoint. It allows creating snapshot of an application. The second one is restart. It uses the snapshot to run a copy of the application in the state it was during the time of the checkpoint. Moreover, a new instance can be created on another machine or after a period of time. Checkpoint/restore has found many applications in real-world problems such as live migration, load balancing, crash recovering, debugging and many others. The paper describes checkpoint/restore facility for file locks in Linux in userspace. Two types of file locks will be considered in particular: file lease and OFD lock. The solution described can be used in userspace and it does not require extra kernel modules or modification of the operating system. Implementation is based on CRIU project and intensively uses its infrastructure.

关键词： checkpoint/restart system programming Linux live migration

来源：评论

学校读者我要写书评

暂无评论

A software design and evaluation system

引用

Communications of the ACM 1973年第2期16卷 110-116页

作者： Graham, Robert M. Clancy, Gerald J. DeVaney, David B. Department of Computer Science City College of New York University of California Berkeley New York 10031 Convent and 138th Street United States Honeywell Information Systems Inc. Waltham MA 02154 United States

A critical failure of current software system design and implementation methodology is that the performance of a proposed design is not evaluated before it is actually implemented. In this paper the reasons for this failure are explored, and a new methodology which overcomes many of the difficulties is proposed. A system which integrates performance evaluation with design and implementation is described. This system is based on a simple, high level language which is used to describe the evolving system at all stages of its development. The source language description is used as direct input to performance analysis and simulation routines. Using the performance information obtained from these routines as feedback, the problems which adversely affect performance are detected early enough so that they can be corrected without costly major reimplementation of the proposed system. © 1973, ACM. All rights reserved.

关键词： compilers debugging language processing modeling oeprating system development program maintenance simulation software evaluation supervisory systems system integration system programming

来源：评论

学校读者我要写书评

暂无评论

Fe.g.: An Animated Flowchart with Example to Teach the Algorithm based Courses in Engineering 7

Fe.g.: An Animated Flowchart with Example to Teach the Algor...

引用

7th IEEE International Conference on Technology for Education (T4E)

作者： Dol, Sunita M. Walchand Inst Technol CSE Dept Solapur India

ISBN: (纸本)9781467395090

Fe.g. is an animated flowchart which can be used for algorithm based subjects. In Fe.g., first the working of algorithm is demonstrated with the help of animated flowchart and then the step by step working of algorithm with the help of example. So this activity is considered for the subject system programming of Third Year Computer Science and engineering. One group pre-test pots-test model is considered to test the effectiveness of this activity. The results are also explained in this paper.

关键词： Fe.g.(Animated Flowchart with example) system programming Bloom's Taxonomy Pre-test Post-test t-Test

来源：评论

学校读者我要写书评

暂无评论

Improving Software Development for Embedded systems 17

Improving Software Development for Embedded Systems

引用

ACM Southeast Regional Conference

作者： Garrido, Jose M. Kennesaw State Univ Coll Comp & Software Engn Dept Comp Sci 1100 South Marietta Pkwy Marietta GA 30060 USA

ISBN: (纸本)9781450350242

Software development for embedded systems can be challenging. One reason for this is that computing engineers may not have sufficient preparation in a well-defined software development process and computer scientists do not often have sufficient knowledge of low-level architecture of controller devices. The actual implementation of software for embedded subsystems is usually carried out with the C programming language and might also require assembly language routines called from the C program. Several existing micro-controller development boards include software support for developing C and assembly programs. Examples of these types of boards are: Arduino boards and Silicon Labs Development kits. The software support provided mainly includes software tools such as: C compiler, editor, debugger, utilities for transferring the compiled program to the actual micro-controller board. This paper presents the first version of the high-level systems programming language systems Computing Language (SCL). This is part of larger ongoing project that has as its goal the investigation of newer approaches, methods, techniques, and tools for improving the software development of embedded systems. The language syntax is defined at a higher level of abstraction than C, C++, and Java. Its compiler is implemented as a pre-processor that generates C code, that will subsequently be compiled and linked with standard tools. This paper provides an overview of systems programming languages, a description of the main features of the SCL language, then presents an example of an SCL program implemented for an Arduino program.

关键词： system programming Languages Embedded systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：