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

10th International Conference on Aspect-Oriented Software Development (AOSD)

作者： Hohenstein, Uwe Gleim, Urs Siemens AG CT T DE IT 1 Otto Hahn Ring 6 D-81730 Munich Germany

ISBN: (纸本)9781450305563

The Java programming language offers several basic constructs for concurrent programming. Despite covering everything needed from a functional point of view, the constructs are difficult to use since they require a lot of infrastructural statements besides the real logic. This makes concurrent programming error-prone and difficult to reuse. It seems that abstractions are needed to ease the pain and to better support reusability. This paper explores how to use and benefit from aspect-orientation (AO), particularly the AspectJ language, in this respect. AO promises a high potential for reuse due to a higher level of modularization since crosscutting concerns can better be modularized in aspects. This paper confirms higher reuse by presenting a collection of reusable aspects for solving specific problems in concurrent programming. Having AspectJ-based implementations for recurring problems, this paper also summarizes some interesting experiences and takes the chance to present an industrial view on some criticisms of aspect-orientation.

关键词： Aspect-Orientation AspectJ Crosscutting Concern Case Study concurrent programming Modularity

来源：评论

学校读者我要写书评

暂无评论

A Linear Logic programming Language for concurrent programming over Graph Structures

引用

THEORY AND PRACTICE OF LOGIC programming 2014年第4-5期14卷 493-507页

作者： Cruz, Flavio Rocha, Ricardo Goldstein, Seth Copen Pfenning, Frank Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Porto CRACS P-4169007 Oporto Portugal Univ Porto Fac Sci INESC TEC P-4169007 Oporto Portugal

We have designed a new logic programming language called LM (Linear Meld) for programming graph- based algorithms in a declarative fashion. Our language is based on linear logic, an expressive logical system where logical facts can be consumed. Because LM integrates both classical and linear logic, LM tends to be more expressive than other logic programming languages. LM programs are naturally concurrent because facts are partitioned by nodes of a graph data structure. Computation is performed at the node level while communication happens between connected nodes. In this paper, we present the syntax and operational semantics of our language and illustrate its use through a number of examples.

关键词： Language Design Semantics Linear Logic concurrent programming Graphs

来源：评论

学校读者我要写书评

暂无评论

An Experimental Evaluation of Tools for Grading concurrent programming Exercises 43rd

An Experimental Evaluation of Tools for Grading Concurrent P...

引用

43rd International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE)

作者： Barros, Manuel Ramos, Maria Gomes, Alexandre Cunha, Alcino Pereira, Jose Almeida, Paulo Sergio INESC TEC Braga Portugal Univ Minho Braga Portugal

ISBN: (纸本)9783031353543;9783031353550

Automatic grading based on unit tests is a key feature of massive open online courses (MOOC) on programming, as it allows instant feedback to students and enables courses to scale up. This technique works well for sequential programs, by checking outputs against a sample of inputs, but unfortunately it is not adequate for detecting races and deadlocks, which precludes its use for concurrent programming, a key subject in parallel and distributed computing courses. In this paper we provide a hands-on evaluation of verification and testing tools for concurrent programs, collecting a precise set of requirements, and describing to what extent they can or can not be used for this purpose. Our conclusion is that automatic grading of concurrent programming exercises remains an open challenge.

关键词： concurrent programming Testing Verification e-Learning

来源：评论

学校读者我要写书评

暂无评论

Atomic-Delayed Execution: A concurrent programming Model for Incomplete Graph-based Computations

Atomic-Delayed Execution: A Concurrent Programming Model for...

引用

IEEE High Performance Extreme Computing Conference (HPEC)

作者： Diniz, Pedro C. USC Informat Sci Inst 4676 Admiralty WaySuite 1001 Marina Del Rey CA 90292 USA

ISBN: (纸本)9781467392860

The sheer size of data sets from application domains such as biomedical and social networks will lead to the need to develop algorithms that have strict time bounds and can tolerate temporary unavailability of data if they are to produce acceptable results in feasible time. In this paper we describe a simple, yet powerful, object-based concurrent programming model that features atomicity, timed execution and tolerance to data unavailability. We describe the underlying concepts and illustrate their use in a sample computation on large graphs. This experience shows that it is possible to augment existing concurrent programming models to support developers in developing and reasoning about incomplete computations, we believe, will become, an increasingly important class of algorithms.

关键词： concurrent programming Graph-based Computations Incomplete Traversals

来源：评论

学校读者我要写书评

暂无评论

Portable Explicit Threading and concurrent programming for MPI Applications

Portable Explicit Threading and Concurrent Programming for M...

引用

9th International Conference on Parallel Processing and Applied Mathematics (PPAM)

作者： Berka, Tobias Hagenauer, Helge Vajtersic, Marian Salzburg Univ Dept Comp Sci A-5020 Salzburg Austria

ISBN: (纸本)9783642314995;9783642315008

New applications for parallel computing in today's data centers, such as online analytical processing, data mining or information retrieval, require support for concurrency. Due to online query processing and multi-user operation, we need to concurrently maintain and analyze the data. While the Portable Operating System Interface (POSIX) defines a thread interface that is widely available, and while modern implementations of the Message Passing Interface (MPI) support threading, this combination is lacking in safety, security and reliability. The development of such parallel applications is therefore complex, difficult and error-prone. In response to this, we propose an additional layer of middle-ware for threaded MPI applications designed to simplify the development of concurrent parallel programs. We formulate a list of requirements and sketch a design rationale for such a library. Based on a prototype implementation, we evaluate the run-time overhead to estimate the overhead caused by the additional layer of indirection.

关键词： Threads Parallel programming concurrent programming Message passing interface

来源：评论

学校读者我要写书评

暂无评论

Specification of a Flexible Manufacturing System Using concurrent programming

引用

concurrent Engineering 1995年第3期3卷 187-194页

作者： Van de Mortel-Fronczak, J.M. Rooda, J.E. Van Den Nieuwelaar, N.J.M. Department of Mechanical Engineering Eindhoven University of Technology 5600 MB Eindhoven P.O. Box 513 Netherlands

Because of the growing complexity, the design of and reasoning about modern industrial systems becomes increasingly difficulty. In order to understand and estimate the dynamic system behaviour, appropriate models have to be used. In many cases, existing mathematical models like queuing networks, Markov chain models, or perturbation analysis cannot be applied. In such cases, usually a model is constructed that can be validated by means of computer simulation. Since industrial systems exhibit concurrency, formalisms developed to reason about con current systems are also well suited for developing models in this specific application area. Models of systems can be expressed, for instance, in terms of Petri nets or in terms of programs written in a concurrent programming language, like Timed CSP. Both approaches, originating from computer science, are increasingly often applied in modelling of manufacturing systems. In this paper, we present a simple modular approach to the specification of (discrete) industrial systems that is based on concurrent programming. As an illustration, we present a model of a flexible manufacturing cell. The specification language used is modular and, therefore, allows for hierarchical modelling. To specify the information and control flows, a VDM-like notation is used. © 1995, Sage Publications. All rights reserved.

关键词： concurrent programming discrete manufacturing systems modelling simulation models specification languages

来源：评论

学校读者我要写书评

暂无评论

PROGRAM ANALYSIS TO SUPPORT concurrent programming IN DECLARATIVE LANGUAGES

PROGRAM ANALYSIS TO SUPPORT CONCURRENT PROGRAMMING IN DECLAR...

引用

26th International Conference on Logic programming (ICLP)

作者： Demeyer, Romain Univ Namur Fac Comp Sci Rue Grandgagnage 21 B-5000 Namur Belgium

ISBN: (纸本)9783939897170

In recent years, manufacturers of processors are focusing on parallel architectures in order to increase performance. This shift in hardware evolution is provoking a fundamental turn towards concurrency in software development. Unfortunately, developing concurrent programs which are correct and efficient is hard, as the underlying programming model is much more complex than it is for simple sequential programs. The goal of this research is to study and to develop program analysis to support and improve concurrent software development in declarative languages. The characteristics of these languages offer opportunities, as they are good candidates for building concurrent applications while their simple and uniform data representation, together with a small and formally defined semantics makes them well-adapted to automatic program analysis techniques. In our work, we focus primarily on developing static analysis techniques for detecting race conditions at the application level in Mercury and Prolog programs. A further step is to derive (semi-) automatically the location and the granularity of the critical sections using a data-centric approach.

关键词： Program Analysis concurrent programming Logic Languages Abstract Interpretation

来源：评论

学校读者我要写书评

暂无评论

A Linear Logic programming Language for concurrent programming over Graph Structures

A Linear Logic Programming Language for Concurrent Programmi...

引用

30th International Conference on Logic programming

关键词： Language Design Semantics Linear Logic concurrent programming Graphs

来源：评论

学校读者我要写书评

暂无评论

Safety and Security Framework for Exception Handling in concurrent programming

Safety and Security Framework for Exception Handling in Conc...

引用

3rd International Conference on Advances in Computing and Communications (ICACC)

作者： Anwer, Faisal Nazir, Mohd. Mustafa, Khurram Jamia Millia Islamia Dept Comp Sci Cent Univ New Delhi India

ISBN: (纸本)9780769550336

Exception handling mechanism provides a structured way of handling errors in software applications as compared to traditional error handling. Moreover it may cause safety and security threats if not used carefully. Some of the possible issues are information leakage, spoofed parent classes and inconsistent states. Unfortunately most programmers are rarely aware of exception handling re-percussions, in case of inappropriate exception handling. However, with the advent of multi-core processors people are more interested in utilizing all the computational powers of machine by using concurrent programming. This also brings up new challenges in terms of exception handling decisions like retry, continuation, rollback, termination and at the same time maintaining the clean state of the program. In this paper we propose a safety and security architecture by using Aspect Oriented programming (AOP) technique and transactional memory (TM) concept without making any modifications to the development language.

关键词： Exception Handling Transactional Memory Safety and Security Information Leakage concurrent programming Multi-threading

来源：评论

学校读者我要写书评

暂无评论

Lessons Learned from an Interactive Educational Computer Game About concurrent programming 18

Lessons Learned from an Interactive Educational Computer Gam...

引用

49th ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE)

作者： Alderfer, Katelyn Bright Smith, Brian K. Ontanon, Santiago Char, Bruce Nebolsky, Jessica Zhu, Jichen Furgan, Anushay Freed, Evan Patterson, Justin Valls-Vargas, Josep Drexel Univ Philadelphia PA 19104 USA

ISBN: (纸本)9781450351034

In parallel programming, there is a shift away from the single execution path of sequential programming to situations where non-deterministic operation force consideration of multiple paths of execution. Compared to the substantial computer science education literature on helping students to learn sequential programming, there are fewer studies of the cognitive difficulties that students follow when learning parallel programming. To address this, we created a computer game, Parallel involving concurrent situations. The game is an abstract representation of concurrency problems where players are asked to solve a progression of puzzles involving arrows moving concurrently on tracks. Play does not require coding. The goals of our research were to 1) explore how students acquire skills in the design of solutions with parallelism, and 2) explore how interactive games can substitute or compliment conventional parallel programming courses. Through two user studies of the game (n=7) where students played the game and used a talk-aloud protocol alongside a researcher, three major themes emerged, that of non-determinism where students were able to make the connection of non-deterministic behavior in parallel programming to the game, self-efficacy where students were stating they felt their knowledge of parallel programming increased after playing the game, and expertise where researchers learned that expertise was important to successful connection of the game to parallel programming concepts These findings show that students are beginning to see the connection between the game/s presentation of concurrency to programming concepts such as non-determinism.

关键词： Parallel programming concurrent programming game design user study computer science education

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：