this paper describes a specific perspective on developing case studies related to education in robotics. the proposed framework intends to support students learning how to develop distributed software applications thr...
详细信息
ISBN:
(纸本)9783319212906;9783319212890
this paper describes a specific perspective on developing case studies related to education in robotics. the proposed framework intends to support students learning how to develop distributed software applications through functionality composition. the multi-agent approach is used as a test bed for case studies development. It tries to stress the role of the application development platform in creating rich simulations, giving students the possibility to express their goals with clarity, and creating suitable application architectures to achieve their goals. the presented roadmap describes three "Technology to Teach Technology" platforms that support distributed application development. the last section of the paper gives the structure of a specific case study in mobile robotics, along withthe Presage2 multi-agent platform.
the proceedings contain 20 papers. the special focus in this conference is on Engineering Service-Oriented Applications and Resource Management in Service-Oriented computing. the topics include: From choreography diag...
ISBN:
(纸本)9783662505380
the proceedings contain 20 papers. the special focus in this conference is on Engineering Service-Oriented Applications and Resource Management in Service-Oriented computing. the topics include: From choreography diagrams to RESTful interactions;estimating the complexity of software services using an entropy based metric;establishing distributed governance infrastructures for enacting cross-organization collaborations;revisiting industrial practice in services computing;distributed service co-evolution based on domain objects;a web services infrastructure for the management of mashup interfaces;a CPS service contract framework for composition;towards RAM-based variant generation of business process models;extending generic BPM with computer vision capabilities;expressive equivalence and succinctness of parametrized automata with respect to finite memory automata;toward the formalization of BPEL;context-aware personalization for smart mobile cloud services;information governance requirements for architectural solutions supporting dynamic business networking;an evolutionary multiobjective approach for the dynamic multilevel component selection problem;a reusable architecture for dependability and performance benchmarking of cloud services;safe configurations of replica voting processes in fault-resilient data collection services;on composition of checkpoint and recovery protocols for distributedsystems and a proactive solution to manage web service unavailability in service oriented software systems.
Presents the introductory welcome message from the conferenceproceedings. May include the conference officers' congratulations to all involved withthe conference event and publication of the proceedings record.
Presents the introductory welcome message from the conferenceproceedings. May include the conference officers' congratulations to all involved withthe conference event and publication of the proceedings record.
the proceedings contain 24 papers. the topics discussed include: distributed multi-core development in the automotive domain - a practical comparison of ASAM MDX vs. AUTOSAR vs. AMALthEA;fault-tolerant FCC architectur...
ISBN:
(纸本)9783800741571
the proceedings contain 24 papers. the topics discussed include: distributed multi-core development in the automotive domain - a practical comparison of ASAM MDX vs. AUTOSAR vs. AMALthEA;fault-tolerant FCC architecture for future UAV systems based on COTS SoC;how to speed up embedded multi-core systems using locality conscious array distribution for loop parallelization;I/O subsystem interference and possible mitigation or avoidance;models for dependable heterogenous multi- and many-core system software design revisited;a many-core solution for the multi-objective challenge in the field of dynamic cycle accurate verification;a novel NoC-architecture for fault tolerance and power saving;synchronization of MPI one-sided communication on a non-cache-coherent many-core system;simulation based analysis of memory access conflicts for heterogeneous multi-core platforms;measuring self-organisation processes in smart camera networks;from active learning to dedicated collaborative interactive learning;multi-k-resilience in distributed adaptive cyber-physical systems;'know thyselves' - computational self-reflection in collective technical systems;and FABAN - fault-tolerant atomic broadcast and agreement in bridge-connected networks.
the proceedings contain 30 papers. the special focus in this conference is on TAPEMS 2016 and BigTrust 2016. the topics include: An in-memory event tracing extension to the open trace format 2;network-aware optimizati...
ISBN:
(纸本)9783319499550
the proceedings contain 30 papers. the special focus in this conference is on TAPEMS 2016 and BigTrust 2016. the topics include: An in-memory event tracing extension to the open trace format 2;network-aware optimization of MPDATA on homogeneous multi-core clusters with heterogeneous network;formalizing data locality in task parallel applications;improving the energy efficiency of evolutionary multi-objective algorithms;a parallel model for heterogeneous cluster;comparative analysis of OpenACC compilers;traffic sign recognition based on parameter-free detector and multi-modal representation;reversible data hiding using non-local means prediction;secure data access in hadoop using elliptic curve cryptography;statistical analysis of CCM.M-K1 international comparison based on monte carlo method;redundancy elimination in the ExaStencils code generator;a dataflow IR for memory efficient RIPL compilation to FPGAs;exploring a distributed iterative reconstructor based on split bregman using PETSc;implementation of the beamformer algorithm for the NVIDIA jetson;efficiency of GPUs for relational database engine processing;geocon;a middleware for location-aware ubiquitous applications and cellular ANTomata as engines for highly parallel pattern processing.
Geo-distributed Situation Awareness applications are large in scale and are characterized by 24/7 data generation from mobile and stationary sensors (such as cameras and GPS devices);latency-sensitivity for converting...
详细信息
this paper presents our work on developing parallel reservoir simulators for modeling of fluid flows in porous media on distributed-memory parallel systems and studying the scalability of our reservoir simulators. the...
详细信息
Computer scientists and programmers face the difficultly of improving the scalability of their applications while using conventional programming techniques only. As a base-line hypothesis of this paper we assume that ...
详细信息
ISBN:
(纸本)9781509028252
Computer scientists and programmers face the difficultly of improving the scalability of their applications while using conventional programming techniques only. As a base-line hypothesis of this paper we assume that an advanced runtime system can be used to take full advantage of the available parallel resources of a machine in order to achieve the highest parallelism possible. In this paper we present the capabilities of HPX - a distributed runtime system for parallel applications of any scale - to achieve the best possible scalability through asynchronous task execution [1]. OP2 is an active library which provides a framework for the parallel execution for unstructured grid applications on different multi-core/many-core hardware architectures [2]. OP2 generates code which uses OpenMP for loop parallelization within an application code for both single-threaded and multi-threaded machines. In this work we modify the OP2 code generator to target HPX instead of OpenMP, i.e. port the parallel simulation backend of OP2 to utilize HPX. We compare the performance results of the different parallelization methods using HPX and OpenMP for loop parallelization within the Airfoil application. the results of strong scaling and weak scaling tests for the Airfoil application on one node with up to 32 threads are presented. Using HPX for parallelization of OP2 gives an improvement in performance by 5%-21%. By modifying the OP2 code generator to use HPX's parallel algorithms, we observe scaling improvements by about 5% as compared to OpenMP. To fully exploit the potential of HPX, we adapted the OP2 API to expose a future and dataflow based programming model and applied this technique for parallelizing the same Airfoil application. We show that the dataflow oriented programming model, which automatically creates an execution tree representing the algorithmic data dependencies of our application, improves the overall scaling results by about 21% compared to OpenMP. Our results show
Safety requirements are of great importance in Railway Interlocking systems. However it is still very difficult to obtain all of the safety requirements in practice. In this paper, we propose an approach to capture sa...
详细信息
ISBN:
(纸本)9781509036950
Safety requirements are of great importance in Railway Interlocking systems. However it is still very difficult to obtain all of the safety requirements in practice. In this paper, we propose an approach to capture safety requirements based on safety requirements patterns. From a variety of sources, such as interlocking tables and existing safety relevant functional requirements of railway interlocking system, we classify them and extract some safety requirement patterns in formal descripitions. Finally, a process to elicit safety requirements based on these patterns are given. We applied our approach to the interlocking system at Mohe station in China.
暂无评论