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

IEEE International Conference on Circuit, Power and Computing Technologies (ICCPCT)

作者： Chatterjee, Chandrima Jadavpur Univ Sch Educ Technol Kolkata India

ISBN: (纸本)9781509012770

In India, the accreditation process in engineering made the management and performance of learning process should be enforced to achieve standard goals. The part of every engineering profession is the teaching of the basics of the computer science. At the international level, it had been showed that it is almost impossible to satisfying the standard goals. It had been established in a lack of comprehensive maps about scientific concepts. It happens because of getting error in mental model. The results that are based on ideas are definitive. This paper allows concluding that complementing the comprehension of students mental model with a concrete motivation that is based on virtual and actual robots.

关键词： Intelligent systems computer engineering educational system mental models programming language

来源：评论

学校读者我要写书评

暂无评论

A language Extension for Graph Processing and Its Formal Semantics

引用

Communications of the ACM 1971年第7期14.0卷 460-467页

作者： Pratt, Terrence W. Friedman, Daniel P. University of Texas Department of Computer Science Austin United States

A simple programming language “extension,” Graspe, for processing directed graphs is defined. Graspe consists of a type of directed graph data structure and a set of primitive operations for manipulating these structures. Graspe may be most easily implemented by embedding it in a host language. Emphasis is placed both on Graspe itself and on its method of definition. Commonly, the definition of a language involves definition of the syntactic elements and explanation of the meaning to be assigned them (the semantics). The definition of Graspe here is solely in terms of its semantics;that is, the data structures and operations are defined precisely but without assignment of a particular syntactic representation. Only when the language is implemented is assignment of an explicit syntax necessary. An example of an implementation of Graspe embedded in Lisp is given as an illustration. The advantages and disadvantages of the definition of a language in terms of its semantics are discussed. © 1971, ACM. All rights reserved.

关键词： data structure directed graph flowchart formal semsntics graph processing language definition Lisp network programming language syntax

来源：评论

学校读者我要写书评

暂无评论

A Reactive language for Analyzing Cloud Logs 5

A Reactive Language for Analyzing Cloud Logs

引用

5th ACM SIGPLAN International Workshop on Reactive and Event-Based languages and Systems (REBLS)

作者： Baudart, Guillaume Mandel, Louis Tardieu, Olivier Vaziri, Mandana IBM Res Yorktown Hts NY 10598 USA

ISBN: (纸本)9781450360708

Log analysis is required in many domains, and especially in the emerging field of cloud computing. Cloud applications are often built by composing diverse services. When something goes wrong, finding the root cause of the problem can be difficult. Many services are only reachable through their Application programming Interfaces (APIs) with no possibility for live introspection. In this context, logs become an essential tool for monitoring and debugging. Cloud services typically generate very large quantities of log messages, with formats that may not be well specified and may vary over time. In this paper, we present CloudLens, a language for the analysis of semi-structured textual data as found in logs, and specify its formal semantics. CloudLens is a reactive language and views logs as streams of objects. Our objective is to facilitate exploring the contents of logs interactively and to write reusable analyses succinctly, using familiar constructs. We implemented an interpreter for the Apache Zeppelin notebook to provide an interactive IDE. Our prototype implementation is open source and we report on a detailed case study using logs from the Apache OpenWhisk project.

关键词： Log analysis programming language Reactive programming

来源：评论

学校读者我要写书评

暂无评论

PRSafe: Primitive Recursive Function based Domain Specific language using LLVM

PRSafe: Primitive Recursive Function based Domain Specific L...

引用

20th International Conference on Electronics, Information, and Communication (ICEIC)

作者： Mahadevan, Sai Veerya Takano, Yuuki Miyaji, Atsuko Osaka Univ Dept Informat & Commun Technol Osaka Japan Osaka Univ Osaka Japan Japan Adv Inst Sci & Technol Nomi Japan

ISBN: (纸本)9781728191614

General Purpose programming languages such as C++, Python suffer from resource management and input errors because they are Turing-complete. The goal of this paper is to introduce a prototype functional Domain Specific language that is Non-Turing complete called PRSafe. The design of PRSafe is based on the memory and input properties of Primitive Recursive Functions (PRFs). Hence, all computations must terminate. For the language implementation, we use the Lex and Bison softwares for lexing and parsing respectively and LLVM compiler infrastructure for code generation and optimization. PRSafe is designed such that syntactically and semantically, it prohibits the creation of Turing-complete programs. It is eventually intended to be a mathematically verifiable compiler with better user-friendly error-diagnostics for eBPF programs than the eBPF verifier.

关键词： programming language primitive recursive function LLVM eBPF

来源：评论

学校读者我要写书评

暂无评论

A New Approach for Reflection of Code Modifications to Model in Synchronization of Architecture Design Model and Code 6

A New Approach for Reflection of Code Modifications to Model...

引用

6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Pham, Van Cam Radermacher, Ansgar Gerard, Sebastien CEA LIST Lab Model Driven Engn Embedded Syst PC 174 F-91191 Gif Sur Yvette France

ISBN: (纸本)9789897582837

Model-Driven Engineering (MDE) increases the abstraction level, thus facilitates the design of complex systems. It is possible to create an executable system from a model enriched with detailed behavior specifications. But the graphical modeling of some system aspects is likely less efficient compared to writing code in a programming language. For method signatures, textual editing includes a few lines of text, whereas modeling requires the separate addition of methods along with their parameters. Therefore, we propose to develop systems by combining the strength of graphical modeling with programming languages by allowing a developer to make changes in either notation and synchronize the result with the other one, respectively. Synchronization between model and code is already supported by existing tools, but often restricted to structural elements that have a 1-1 mapping. The synchronization of additional modeling aspects from the code, notably component based modeling in UML and behavior in form of state-machines, is not supported by the state-of-the-art. In order to enable this synchronization, it is important to reduce the abstraction gap and assure a 1-1 mapping if possible. Our proposition is to perform the synchronization with an extended programming language that provides additional language elements for some UML elements, notably those that do not already exist in object-oriented programming languages. This extension uses built-in language facilities, in case of C++ templates and preprocessor macros, and a design pattern that adds a shadow implementation.

关键词： UML State Machine Code Generation Change Reflection Programmers Software Architects C plus Java Annotation Processing programming language Component-based Design Source Code Organization Incremental Reverse

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study on the Energy Consumption of PHP Single and Double Quotes

A Comparative Study on the Energy Consumption of PHP Single ...

引用

IEEE International Conference on Data Science and Data Intensive Systems

作者： Olaoluwa, Peter Olawale Kor, Ah-Lian Pattinson, Colin Leeds Beckett Univ Sch Comp Creat Technol & Engn Leeds W Yorkshire England

ISBN: (纸本)9781509002146

This paper is an enhanced version of the paper presented at the SEEDS Conference (Olaoluwa, et. al, 2015). The increasing rate of carbon dioxide and other greenhouse gas emission resulting from the use of IT and other human activities to the atmosphere has become a major source of concern. It is imperative for the IT sector to ensure that its products are effective and energy efficient accompanied by mitigated negative impact on the environment. Reducing energy consumption of IT products is a key to contributing towards a greener environment. Another alternative is to produce energy efficient codes for software applications. In programming or scripting languages, an end result can be achieved in more than one way. For example, in PHP, a print command can be executed using a single quote and can also be achieved using a double quote. They have similar functions with similar quality of the intended outcomes. The aim of this research is conduct an investigation on the energy consumption of selected PHP scripts that perform similar functions: print single and double quote;echo single and double quote, etc. The Joulemeter energy measuring tool is used to measure the amount of energy consumed when run the various PHP scripts.

关键词： energy consumption efficiency software application rules green code programming language joulemeter

来源：评论

学校读者我要写书评

暂无评论

A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling

引用

ACM Transactions on programming languages and Systems (TOPLAS) 1979年第1期1卷 142-160页

作者： Kennedy, Ken Ramanathan, Jayashree Thomas J. Watson Research Center Rice University Yorktown Heights NY 10598 P.O. Box 218 Department of Computer Science Rice University University of Houston Houston TX 77004 United States

The problem of semantic evaluation in a compiler-generating system can be addressed by specifying language semantics in an attribute grammar [19], a context-free grammar augmented with “attributes” for the nonterminals and “semantic functions” to compute the attributes. A deterministic method for evaluating all attributes in a “semantic” parse tree is derived and shown to have time and space complexities which are essentially linear in the size of the tree. In a prepass through the parse tree, the method determines an evaluation sequence for the attributes;thus it is somewhat analogous to dynamic programming. The constructor-evaluator system described should be suitable for inclusion in a general translator-writing system. for inclusion in a general translator-writing system. © 1979, ACM. All rights reserved.

关键词： attribute grammar compiler formal semantics programming language semantic evaluation translator writing system

来源：评论

学校读者我要写书评

暂无评论

Programmable enforcement framework of information flow policies 15

Programmable enforcement framework of information flow polic...

引用

15th Italian Conference on Theoretical Computer Science, ICTCS 2014

作者： Ngo, Minh Massacci, Fabio University of Trento Italy

We propose a programmable framework that can be easily instantiated to enforce a large variety of information flow properties. Our framework is based on the idea of secure multi-execution in which multiple instances of the controlled program are executed in parallel. The information flow property of choice can be obtained by simply implementing programs that control parallel executions. We present the architecture of the enforcement mechanism and its instantiations for non-interference (NI) (from Devriese and Piessens), non-deducibility (ND) (from Sutherland) and some properties proposed by Mantel, such as removal of inputs (RI) and deletion of inputs (DI), and demonstrate formally soundness and precision of enforcement for these properties.

关键词： Non-Deducibility Non-Interference Possibilistic information flow properties programming language Secure multi execution

来源：评论

学校读者我要写书评

暂无评论

A language-based approach to service deployment

A language-based approach to service deployment

引用

IEEE Services Computing Workshops

作者： Wang, Xiaoning Li, Wei Liu, Hong Xu, Zhiwei Chinese Acad Sci Inst Comp Technol Res Ctr Grid & Serv Comp Beijing 100080 Peoples R China Chinese Acad Sci Grad Sch Beijing 100039 Peoples R China

ISBN: (纸本)0769526705

This paper presents a language-based approach to service deployment. The language is called Abacus, which is a service-oriented programming language for grid applications. In Abacus, a service is abstracted as a basic language construct, and service deployment is expressed by a deployment statement. This approach allows an Abacus application to automatically deploy a service at runtime without any configuration information. This paper compares the development detail in the Abacus environment with that in the manual deployment environment, and evaluates our deployment approach accordingly. On the one hand, this approach frees maintainers from annoying deployment work at low-level, which helps to enhance the productivity in building grid applications. On the other hand, this approach allows services to be deployed according to the application logic, helping to improve the utilization and the management of various grid resources.

关键词： grid computing service-oriented service deployment programming language grid application

来源：评论

学校读者我要写书评

暂无评论

A Method to Enhance the Security Capability of Python IDE 6th

A Method to Enhance the Security Capability of Python IDE

引用

6th International Conference on Future Data and Security Engineering (FDSE)

作者： Vinh Pham Kim, Namuk Seo, Eunil Ha, Jun Suk Chung, Tai-Myoung Sungkyunkwan Univ Dept Comp Sci & Engn Suwon South Korea Sungkyunkwan Univ Dept Elect & Comp Engn Suwon South Korea Univ Illinois Dept Math & Comp Sci Urbana IL USA

ISBN: (纸本)9783030356538;9783030356521

The majority of applications running on the Internet are web applications;however, these applications are vulnerable to arbitrary code execution and database manipulation by Cross-Site Scripting or SQL injection attacks. The fundamental reason of these vulnerabilities is that web applications use a string type for assembling heterogeneous computer languages' syntax for a particular language. To cope with these vulnerabilities, we propose a language-based scheme, in which the programming language itself provides security capabilities by a method of the syntax embedded in Python. Furthermore, the proposed solution supports backward compatibility and higher portability to other languages as well as Python. To improve the debugging difficulty caused by a language-based scheme, we propose a trace-processor that has post-mortem debug ability. We implement the proposed solution as a development environment, named Python-S, based on CPython's source code. Python-S successfully displays the protection capabilities for the SQL injection attack.

关键词： Code injection Python Web application programming language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：