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

IEEE 3rd International Conference on Multimedia Big Data (BigMM)

作者： Xu, Weifeng Xu, Dianxiang El Ariss, Omar Liu, Yunkai Alatawi, Abdulrahman Bowie State Univ Dept Comp Sci Bowie MD 20715 USA Penn State Univ Harrisburg Dept Comp Sci Middletown PA USA Gannon Univ Dept Comp & Informat Sci Erie PA USA

ISBN: (纸本)9781509065493

Unigram is a fundamental element of n-gram in natural language processing. However, unigrams collected from a natural language corpus are unsuitable for solving problems in the domain of computer programming languages. In this paper, we analyze the properties of unigrams collected from an ultralarge source code repository. Specifically, we have collected 1.01 billion unigrams from 0.7 million open source projects hosted at GitHub. com. By analyzing these unigrams, we have discovered statistical patterns regarding (1) how developers name variables, methods, and classes, and (2) how developers choose abbreviations. Our study describes a probabilistic model for solving a well-known problem in source code analysis: how to expand a given abbreviation to its original indented word. It shows that the unigrams collected from source code repositories are essential resources to solving the domain specific problems.

关键词： programming language source code n-gram unigram abbreviations ultra-large-scale analysis

来源：评论

学校读者我要写书评

暂无评论

DESAL^α: An Implementation of the Dynamic Embedded Sensor-Actuator language

DESAL<SUP>α</SUP>: An Implementation of the Dynamic Embedde...

引用

17th International Conference on Computer Communications and Networks

作者： Dalton, Andrew R. McCartney, William P. GhoshDastidar, Kajari Hallstrom, Jason O. Sridhar, Nigamanth Herman, Ted Leal, William M. Arora, Anish Gouda, Mohamed Clemson Univ Clemson SC 29631 USA Cleveland State Univ Cleveland OH 44115 USA Univ Iowa Iowa City IA 52242 USA Ohio State Univ Columbus OH 43210 USA Univ Texas Austin Austin TX 78712 USA

ISBN: (纸本)9781424423897

We present DESAL(alpha), a realization of the Dynamic Embedded Sensor-Actuator language for Telos-based devices. The platform provides native support for (i) rule-based programming, (ii) synchronized action scheduling, (iii) neighborhood management, and (iv) distributed state sharing. We describe the design and implementation of DESAL(alpha), present examples that illustrate its use, and summarize the resource requirements of compiled applications. Finally, we present lessons learned based on our use of DESAL(alpha) during the past year.

关键词： Sensor network programming language runtime system guarded command synchronization dynamic binding

来源：评论

学校读者我要写书评

暂无评论

The French National experiment in computer based education

Microprocessing and Microprogramming

引用

Microprocessing and Microprogramming 1981年第2期7卷 82-91页

作者： Hebenstreit, J. Plateau du Moulon F-91190 Gif-sur-Yvette France

After a description of the guidelines along which the first experiment (1970-1976) of CAI was organized in France, this experiment is described in detail (training of teachers, hardware configurations, development of a new french-speaking programming language, development of courseware, etc.) The second part of the paper describes the recent "10,000 microcomputers plan" and shows that the teaching of computer science in secondary schools will not solve the problem to prepare students to live in a "computerized society" because that society will not be characterized by the ubiquitous presence of the computer but by the ubiquitous presence of sophisticated tools and services based on computers. The challenge is then to familiarize students with the use of these tools through their use in CAI. © 1981.

关键词： Computer assisted instruction Computer science computerized society Courseware development Modelling National policies programming language Simulation Teacher training

来源：评论

学校读者我要写书评

暂无评论

Work-in-Progress: VerticalThings - A language-based microkernel for constrained IoT devices 18

Work-in-Progress: VerticalThings - A language-based microker...

引用

18th ACM SIGBED International Conference on Embedded Software (EMSOFT)

作者： Poroor, Jayaraj Amrita Vishwa Vidyapeetham Sch Engn Dept Comp Sci & Engn Amritapuri India

ISBN: (纸本)9781538655603

A programming language that provides the functions of a secure microkernel is proposed for embedded and IoT applications. Towards this purpose, a type system based on the capability model is proposed, in which resource classes are abstracted as capability classes. Our language enables static analysis of key properties including safety, security, power, and timing considerations.

关键词： embedded systems programming language internet of things capabilities security kernel security access control IoT types refinement types

来源：评论

学校读者我要写书评

暂无评论

Self-Healing Spatio-Temporal Data Streams Using Error Signatures

Self-Healing Spatio-Temporal Data Streams Using Error Signat...

引用

IEEE 16th International Conference on Computational Science and Engineering (CSE)

作者： Imai, Shigeru Klockowski, Richard Varela, Carlos A. Rensselaer Polytech Inst Dept Comp Sci Troy NY 12180 USA

ISBN: (纸本)9781479948970

Self-healing spatio-temporal data streaming systems enable error detection and data correction based on error signatures. Error signatures are mathematical function patterns with constraints and are used to identify and categorize errors in redundant spatio-temporal data streams. In this paper, we apply these methods to real data from a private Cessna flight and from the Air France AF447 accident in June 2009. For the private Cessna flight, three error scenarios are simulated: pitot tube failure, GPS failure, and simultaneous pitot tube and GPS failures. The error detection accuracy is approximately 93% and the response time to correct data is at most 5 seconds. For the AF447 flight, 162 seconds of available flight data including the pitot tubes failure is collected from the accident report. The pitot tube failure of the AF447 flight is successfully detected and corrected after 5 seconds from the beginning of the failure. Overall error mode detection accuracy reaches 96.31%. Furthermore, our simulations show that the system never corrects data incorrectly, i.e., all inaccurate mode detections produce either unknown or unrecoverable errors.

关键词： data streaming error signature programming language data flow Computer programming languages Error detection data correction flight Reaction Time flight data Pitot tubes

来源：评论

学校读者我要写书评

暂无评论

Theoretical Basis of language System with State Constraints 5

Theoretical Basis of Language System with State Constraints

引用

5th International Conference on Complexity, Future Information Systems and Risk (COMPLEXIS)

作者： Yamasaki, Susumu Okayama Univ HCI Grp Dept Comp Sci Tsushima Okayama Japan

ISBN: (纸本)9789897584275

This paper presents theoretical basis of a language system whose program is described as algebraic expressions and implemented as abstract state machine. The behaviors of the described expressions may be captured (with their models) as causing sequences for state transitions, where composition and alternation for state transitions are mechanized in algebraic structure. Monitoring facilities to the language system may be described with state concepts, as well. With respect to intuitionistic logic and logical program containing negatives, Heyting algebra expressions are taken rather than already established nonmonotonic reasoning programs with negations, where 3-valued domain may be of use for the undefined to be allowable such that positives and negatives may be consistently evaluated, instead of rigid 2-valued settlements. We may have a standard form of Heyting algebra expressions in accordance to logical and AI programming, where the expressions are constrained with states. The states may be regarded as environmental conditions or objects as in object-oriented programming. As regards 3-valued models of given expressions, monotonic mapping cannot be in general associated with, but some ways are presented to approximate fixed points of a mapping for the given expression. Then the formal description of programs may be given with reference to state transitions, which is thought of as proposing a language system structure.

关键词： programming language Algebraic Expression State Constraint System

来源：评论

学校读者我要写书评

暂无评论

Code Vision: Learning Mobile Application 4

Code Vision: Learning Mobile Application

引用

4th International Conference on Innovative Computing (ICIC)

作者： Hussain, Muhammad Zunnurain Hasan, Muhammad Zulkifl Sarwar, Nadeem Nasir, Junaid Aslam, Naila Univ Putra Malaysia Dept Commun Technol & Network Fac Comp Sci & Informat Technol Serdang 43400 Selangor Malaysia Bahria Univ Dept Comp Sci Lahore Campus Lahore Pakistan Univ Management Technol Dept Comp Sci Lahore Pakistan

ISBN: (纸本)9781665400916

Technology is becoming a major part of each individual's life. The modern society is saturated with technology and cannot be separated from technology. Now a days, every person is using many number of devices and systems. Code Vision is a mobile application which is created for e-learning purposes. So we are emerging entertainment and education together for students to learn programming language. The aim of this article is to illustrate the leaning mobile application which is based on animated dry run of programming language C++ and Object-Oriented programming. It is based on the basic and advance concepts of OOP and C++. Mostly people face problems like they could not be able to understand the working of programming when they initially start learning, they won't be able to create the logic of their own program. This application reduces the confusion factor and make all the concepts clear in people's mind. In this article, the development process of this application has been described, and also the functionalities and significance of requirements of this application is defined. This article will be helpful in further researches and development in the field of mobile application development.

关键词： programming language Object-Oriented programming Dry Run Development Requirements

来源：评论

学校读者我要写书评

暂无评论

LIFTING THE ABSTRACTION LEVEL OF COMPILER TRANSFORMATIONS

LIFTING THE ABSTRACTION LEVEL OF COMPILER TRANSFORMATIONS

引用

作者： XIAOLONG TANG Texas A&M University

学位级别：博士

Production compilers implement optimizing transformation rules for built-in types. What justifies applying these optimizing rules is the axioms that hold for built-in types and the built-in operations supported by these types. Similar axioms also hold for user-defined types and the operations defined on them, and therefore justify a set of optimization rules that may apply to user-defined types. Production com- pilers, however, do not attempt to construct and apply these optimization rules to user-defined types. Built-in types together the axioms that apply to them are instances of more general algebraic structures. So are user-defined types and their associated axioms. We use the technique of generic programming, a programming paradigm to design efficient, reusable software libraries, to identify the commonality of classes of types, whether built-in or user-defined, convey the semantics of the classes of types to compilers, design scalable and effective program analysis for them, and eventually apply optimizing rules to the operations on them. In generic programming, algorithms and data structures are defined in terms of such algebraic structures. The same definitions are reused for many types, both built-in and user-defined. This dissertation applies generic programming to compiler analyses and transformations. Analyses and transformations are specified for general algebraic structures, and they apply to all types, both built-in and primitive types.

关键词： Compiler optimization Program analysis programming language Generic programming C++ Thesis

来源：评论

学校读者我要写书评

暂无评论

Towards general purpose, high level, software languages

Towards general purpose, high level, software languages

引用

1st European Conference on Model Driven Architecture - Foundations and Applications

作者： Kleppe, A Klasse Objecten Netherlands

ISBN: (纸本)3540300260

A highly significant benefit of MDA is that it raises the level of abstraction at which the soft-ware developer is able to work. However, the languages available to the developer have not seen much change in the last decade. Modeling languages offer high level concepts, but the pre-dominant modeling language (UML) offers too little expressive power to be able to specify a system completely. Meanwhile, the level of abstraction of most programming language con-cepts is the same as 10 to 15 years ago. Although transformation tools may to some extent bridge the gap between modeling and programming languages, in practice the developer still needs to do both modeling and programming. This means switching between the two levels of abstractions, which is difficult for most people. We argue that a general purpose, high level, software language is necessary to get MDA adopted. This language will enable any developer to focus on the problem at hand while the supporting tools - transformation tools or generators- take care of the nitty gritty details. This paper introduces an early version of such a language, which brings together a number of powerful concepts from various sources: UML, OCL, design patterns, existing programming languages, and eventually aspectoriented languages.

关键词： modeling language programming language UML OCL design patterns domain specific languages MDA model transformations

来源：评论

学校读者我要写书评

暂无评论

Integration of textual and graphic languages for real-time programming

引用

Annual Review in Automatic programming 1985年第PART 1期13卷 63-69页

作者： Benedick, D.R Honeywell Industrial Programmable Control Division York PA 17405 United States

programming languages for real-time control are tools provided to the control engineers to apply sophisticated control systems to control problems in understandable terms. The need for integration of several real-time control programs is illustrated by reviewing the different levels of the control system development procedure and the personnel involved at each level. Standard languages developed by task force 3 of the International Electrotechnical Commission (IEC)subcommittee 65A on Standards for Programmable Controllers for real-time control applications are shown to have the features required to meet the requirements of the real-time control problem. Real-time control strategy may be conveyed easily to all levels of personnel participating in the control system development by integrating the different languages into the control program. Implementation of integrating different languages to real-time control applications has been slow. However, with the emphasis on productivity at all levels in the production process, more attention will be given to this programming technique in the future. © 1985.

关键词： Hierarchical Systems Industrial Control Machine Oriented languages programming language Standards

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：