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

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

作者： Batko, Pawel Kuta, Marcin VirtusLab Smolensk 21-15 PL-31108 Krakow Poland AGH Univ Sci & Technol Dept Comp Sci Al Mickiewicza 30 PL-059 Krakow Poland

This paper describes actor system of a new functional language called Anemone and compares it with actor systems of Scala and Erlang. Implementation details of the actor system are described. Performance evaluation is... 详细信息

ISBN: (纸本)9783319780542;9783319780535

关键词： Compiler construction concurrent programming Actors Threads Message passing

来源：评论

学校读者我要写书评

暂无评论

Towards a Testing Framework with Visual Feedback for Actor-based Systems 18

Towards a Testing Framework with Visual Feedback for Actor-b...

引用

18th IEEE International Conference on Software Quality, Reliability, and Security (QRS)

作者： Sozer, Hasan Gurler, Ozan Yilmaz, Orhan Ozyegin Univ Istanbul Turkey EPIAS Istanbul Turkey

ISBN: (纸本)9781538677575

We introduce a prototype testing framework as an extension of JUnit for testing actor-based systems. Our framework runs a given JUnit test in various schedules and records the execution trace for each run. In case a failure is observed during one of the test runs, the corresponding execution trace is compared with those traces associated with passed test runs. The sequence of exchanged messages that are different with respect to these runs are extracted. A UML sequence diagram is automatically generated to depict this sequence. Hence, the developer can observe the interleaving of messages that caused the failure. We illustrated the application of our framework on two sample actor-based software systems.

关键词： actor model test automation concurrent programming program debugging scheduling

来源：评论

学校读者我要写书评

暂无评论

Flexible Image Acquisition Service for Distributed Robotic Systems 2

Flexible Image Acquisition Service for Distributed Robotic S...

引用

2nd IEEE International Conference on Robotic Computing (IRC)

作者： Semeniuta, Oleksandr Falkman, Petter NTNU Norwegian Univ Sci & Technol Dept Mfg & Civil Engn Gjovik Norway Chalmers Univ Technol Dept Elect Engn Gothenburg Sweden

ISBN: (纸本)9781538646519

The widespread use vision systems in robotics introduces a number of challenges related to management of image acquisition and image processing tasks, as well as their coupling to the robot control function. With the proliferation of more distributed setups and flexible robotic architectures, the workflow of image acquisition needs to support a wider variety of communication styles and application scenarios. This paper presents FxIS, a flexible image acquisition service targeting distributed robotic systems with event-based communication. The principal idea a FxIS is in composition of a number of execution threads with a set of concurrent data structures, supporting acquisition from multiple cameras that is closely synchronized in time, both between the cameras and with the request timestamp.

关键词： Computer vision concurrent programming Distributed systems GigE vision Image acquisition Service oriented architecture

来源：评论

学校读者我要写书评

暂无评论

Development and Analysis of Synchronization Detection Framework in TDD 2018

Development and Analysis of Synchronization Detection Framew...

引用

2nd International Conference on Management Engineering, Software Engineering and Service Sciences (ICMSS)

作者： Hsieh, Chao-Hsien Ye, Shuzhen Hua, Rui Huang, Shenquan Wenzhou Univ Wenzhou Peoples R China Qufu Normal Univ Qufu Peoples R China

ISBN: (纸本)9781450354318

Testing method using Test-Driven Development has its specific features and requirements. However, the performance of synchronization has not yet been studied in the environment of test cases which is handled in different quantity concurrently. So, in this article, a framework is developed to test the test case in two ways: multi-thread and single-thread. By means of distributed computing and concurrent testing, a testing model is built and analyzed further. Finally, the experiments shows the utilization rate of the CPU and the run time of system depending on the number of threads as well as the test cases shared by each thread. The better test method is shown as the number of test cases is setup. Furthermore, it can be applied to software and hardware environment in different platforms.

关键词： Thread Test-Driven Development JUnit Unit Testing concurrent programming

来源：评论

学校读者我要写书评

暂无评论

Parallel Reachability Testing Based on Hadoop MapReduce 8th

Parallel Reachability Testing Based on Hadoop MapReduce

引用

8th Annual International Conference on Software Analysis, Testing, and Evolution (SATE)

作者： Qi, Xiaofang Li, Yueran Southeast Univ Sch Comp Sci & Engn Nanjing 211189 Peoples R China

ISBN: (纸本)9783030042721;9783030042714

Reachability testing is an important approach to testing concurrent programs. It generates and executes all the possible sequences of a concurrent program automatically with a given input while not saving any sequences that have already been executed. However, for a large and complex concurrent program, the number of synchronization sequences that are exercised is too large. It will take too long time to perform leachability testing, which limits its application. In this paper, we propose a parallel leachability testing approach based on Hadoop MapReduce called PRT, aiming to improve its performance. PRT adopts the framework of Hadoop MapReduce with a heuristic strategy to realize dynamic loading balance. We present the algorithms used in PRT, and reports the results of five concurrent Java programs that were conducted to evaluate the speed-up with respect to the sequential execution of leachability testing. Experimental results demonstrate that our PRT is an effective approach to parallelizing leachability testing.

关键词： Reachability testing Hadoop MapReduce Software testing concurrent programming

来源：评论

学校读者我要写书评

暂无评论

Using TOST in Teaching Mutual Exclusion, Synchronization, and Deadlock

Using TOST in Teaching Mutual Exclusion, Synchronization, an...

引用

EAEEIE Annual Conference,

作者： Tzanko Golemanov Emiliya Golemanova Ruse University Ruse Bulgaria

ISBN: (数字)9781728132228

ISBN: (纸本)9781728132235

The paper describes the capabilities of the integrated environment TOST in teaching some of the basic IT concepts such as Mutual exclusion, concurrent processes synchronization, and Deadlock. The purpose of TOST is to be used in Operating systems and Parallel programming courses. It allows the student to develop and run sample programs in two simple PASCAL-style and C-style programming languages and to monitor the data in the main system tables. A set of well-known concurrent processing problems are presented in order to illustrate the TOST usage in teaching IT specialists.

关键词： Operating Systems concurrent programming Teaching Tools Mutual Exclusion Interprocess Synchronization Deadlock

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Early Introduction to concurrent Computing Concepts in Primary School 20th

Evaluation of Early Introduction to Concurrent Computing Con...

引用

20th International Conference on Interactive Collaborative Learning (ICL)

作者： Fatourou, Eleni Zygouris, Nikolaos C. Loukopoulos, Thanasis Stamoulis, Georgios I. Univ Thessaly Dept Comp Sci 2-4 Papasiopoulou St Lamia 35100 Greece Univ Thessaly Comp Sci & Biomed Informat Dept 2-4 Papasiopoulou St Lamia 35100 Greece Univ Thessaly Dept Elect & Comp Engn 37 Glavani St Volos 38221 Greece

ISBN: (纸本)9783319732107;9783319732091

Learning computer programming is a basic literacy in the digital age, which helps children develop creative problem solving, logical thinking and mental flexibility. Many countries have introduced computer science in their curriculum. For example, in the educational system of United Kingdom, pupils are introduced to computer science topics from the age of six, while in Greece the teaching of computer programming commences at the age of eleven. Given differences in culture, available infrastructures, as well as the age pupils are introduced to computer science, the challenge of forming a computer science curriculum that not only offers basic background but expands the cognitive horizon and cultivates the imagination of students, still remains a challenge. Towards this end, this study focuses on exploring the potential merits of introducing concurrent programming concepts early in the learning process. Results indicate that uninitiated to programming pupils at the age of eleven were able to comprehend basic concurrency topics, while pupils at the age of twelve with some programming familiarity were able to understand more advanced concepts and use them successfully for problem solving.

关键词： concurrent programming Constructivism Scratch

来源：评论

学校读者我要写书评

暂无评论

Attached and Detached Closures in Actors 8

Attached and Detached Closures in Actors

引用

8th ACM SIGPLAN International Workshop on programming Based on Actors, Agents, and Decentralized Control (AGERE)

作者： Castegren, Elias Clarke, Dave Fernandez-Reyes, Kiko Wrigstad, Tobias Yang, Albert Mingkun KTH Royal Inst Technol Stockholm Sweden Uppsala Univ Informat Technol Uppsala Sweden Uppsala Univ Uppsala Sweden

ISBN: (纸本)9781450360661

Expressive actor models combine aspects of functional programming into the pure actor model enriched with futures. Such functional features include first-class closures which can be passed between actors and chained on futures. Combined with mutable objects, this opens the door to race conditions. In some situations, closures may not be evaluated by the actor that created them yet may access fields or objects owned by that actor. In other situations, closures may be safely fired off to run as a separate task. This paper discusses the problem of who can safely evaluate a closure to avoid race conditions, and presents the current solution to the problem adopted by the Encore language. The solution integrates with Encore's capability type system, which influences whether a closure is attached and must be evaluated by the creating actor, or whether it can be detached and evaluated independently of its creator. Encore's current solution to this problem is not final or optimal. We conclude by discussing a number of open problems related to dealing with closures in the actor model.

关键词： closures parallel programming concurrent programming type systems

来源：评论

学校读者我要写书评

暂无评论

Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs

Search based software testing for the generation of synchron...

引用

作者： Rodolfo Adamshuk Silva UNIVERSIDADE DE SAO PAULO

学位级别：博士

concurrent programming has become an essential paradigm for reductions in the computational time in many application domains. However, the validation and testing activity is more complex than the testing for sequential programs due to the non-determinism, synchronization and inter-process communication. Mutation testing is based on mistakes produced by software developers and presents a high effectiveness to reveal faults. However, high computational costs limit its applicability even for sequential code, becoming higher for concurrent programs in which each test has to be executed with different (ideally all) thread schedules. To date, only selective mutation have been applied to reduce the number of mutants in concurrent programs, however, the problem of state explosion of thread schedules still remains. This Ph. D. thesis presents the SBBMuT approach that applies deterministic execution and genetic algorithm for the generation and execution of a set of synchronization sequences during the mutation testing of Java multithreaded programs. An experimental study was conducted, and the results showed that the set of synchronization sequences generated by SBBMuT achieved a higher mutation score in comparison with the use of the Java PathFinder model checking tool.

关键词： concurrent programming Mutation testing Search based software testing

来源：评论

学校读者我要写书评

暂无评论

Wait-Free programming for General Purpose Computations on Graphics Processors

引用

IEEE TRANSACTIONS ON COMPUTERS 2017年第8期66卷 1407-1420页

作者： Ha, Phuong Hoai Tsigas, Philippas Anshus, Otto J. Univ Tromso Fac Sci Dept Comp Sci NO-9037 Tromso Norway Chalmers Univ Technol Dept Comp Sci & Engn SE-41296 Gothenburg Sweden

The fact that graphics processors (GPUs) are today's most powerful computational hardware for the dollar has motivated researchers to utilize the ubiquitous and powerful GPUs for general-purpose computing. However, unlike CPUs, GPUs are optimized for processing 3D graphics (e.g., graphics rendering), a kind of data-parallel applications, and consequently, several GPUs do not support strong synchronization primitives to coordinate their cores. This prevents the GPUs from being deployed more widely for general-purpose computing. This paper aims at bridging the gap between the lack of strong synchronization primitives in the GPUs and the need for strong synchronization mechanisms in parallel applications. Based on the intrinsic features of typical GPU architectures, we construct strong synchronization objects such as wait-free and t-resilient read-modify-write objects for a general model of GPU architectures without hardware synchronization primitives such as test-and-set and compare-and-swap. Accesses to the wait-free objects have time complexity O(N), where N is the number of processes. The wait-free objects have the optimal space complexity O(N-2) . Our result demonstrates that it is possible to construct wait-free synchronization mechanisms for GPUs without strong synchronization primitives in hardware and that wait-free programming is possible for such GPUs.

关键词： concurrent programming fault-tolerance GPGPU interprocess synchronization multicore computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：