Performing a tsunami or storm surge simulation in realtime on low power computation devices is a highly challenging research topic with a big impact on the lives of many people. In order to advance this topic further...
详细信息
ISBN:
(数字)9783319312958
ISBN:
(纸本)9783319312958;9783319312941
Performing a tsunami or storm surge simulation in realtime on low power computation devices is a highly challenging research topic with a big impact on the lives of many people. In order to advance this topic further a tight collaboration between mathematics and computer science is needed. Mathematical models must be combined with numerical methods which, in turn, directly determine the computational performance and efficiency of the solution. Also, code parallelization is required in order to obtain accurate and fast simulation results. Traditional approaches in high performance computing require a lot of computational power and significant amounts of electrical energy;they are also highly dependent on uninterrupted access to a reliable network and power supply. We present a concept how to develop solutions for suitable low power hardware architectures for tsunami and storm surge simulations based on cooperative software and hardware simulation. the main goal is to enable in situ simulations on potentially battery-powered device on site. Flood warning systems in regions with weak or unreliable power, network and computing infrastructure could largely benefit from our approach as it would significantly decrease the risk of network or power failure during the computation.
the proceedings contain 42 papers. the topics discussed include: global fixed priority scheduling with deferred pre-emption;the Carousel-EDF scheduling algorithm for multiprocessor systems;applying the peak over thres...
ISBN:
(纸本)9781479908509
the proceedings contain 42 papers. the topics discussed include: global fixed priority scheduling with deferred pre-emption;the Carousel-EDF scheduling algorithm for multiprocessor systems;applying the peak over thresholds method on worst-case response time analysis of complex real-timesystems;aperiodic job handling in cache-based real-timesystems;worst-case memory traffic analysis for many-cores using a limited migrative model;timing analysis of PCM main memory in multicore systems;generalized standby-sparing technique for energy-efficient fault tolerance;an experimental evaluation of the cache partitioning impact on multicore real-time schedulers;energy efficiency analysis for the single frequency approximation (SFA) scheme;on-line thermal-aware task management for three-dimensional dynamically partially reconfigurable systems;and a fifty-percent rule to minimize the energy consumption of PCM-based storage systems.
Partial differential equation (PDE) solvers are commonly employed to study and characterize the parameter space for reaction-diffusion (RD) systems while investigating biological pattern formation. Increasingly, biolo...
详细信息
ISBN:
(纸本)9783319321493;9783319321486
Partial differential equation (PDE) solvers are commonly employed to study and characterize the parameter space for reaction-diffusion (RD) systems while investigating biological pattern formation. Increasingly, biologists wish to perform such studies with arbitrary surfaces representing 'real' 3D geometries for better insights. In this paper, we present a highly optimized CUDA-based solver for RD equations on triangulated meshes in 3D. We demonstrate our solver using a chemotactic model that can be used to study snakeskin pigmentation, for example. We employ a finite element based approach to perform explicit Euler time integrations. We compare our approach to a naive GPU implementation and provide an in-depth performance analysis, demonstrating the significant speedup afforded by our optimizations. the optimization strategies that we exploit could be generalized to other mesh based processing applications with PDE simulations.
real-time automotive software becomes increasingly complex due to the integration of more functionalities. At the same time, the computation power of electronic control units grows by increasing the number of cores in...
详细信息
real-time automotive software becomes increasingly complex due to the integration of more functionalities. At the same time, the computation power of electronic control units grows by increasing the number of cores instead of the core performance. thus, in the near future a single task will require more computation power than a single core can offer. We propose an approach that solves this problem by splitting a task into multiple parallel task partitions with minimal synchronization overhead while maintaining all data dependencies of the functionalities inside the original task. the approach is successfully validated on a real-world engine management system.
time-triggered architectures bring to the applications a considerable degree of determinism and a strong conformity between their execution and their logical model. the Extended Timing Definition Language (E-TDL) is a...
详细信息
time-triggered architectures bring to the applications a considerable degree of determinism and a strong conformity between their execution and their logical model. the Extended Timing Definition Language (E-TDL) is a time-triggered framework for programming real-timeapplicationsthat can be structured through multiple independent components with fully adaptive behaviors. In this paper, we propose a schedulability test for E-TDL applications executed under Earliest Deadline First on a single processor. We derive an efficient solution for evaluating the maximal processor demand over the time intervals during which application may change its operational modes. We provide a detailed insight into the schedulability test procedure and discuss its complexity. Simulation results illustrate the performance of the current implementation of the test.
this paper presents the fusion techniques for detecting and tracking the face. the proposed method combines the Viola-Jones method, the CamShift tracking, and the Kalman Filter tracking. the objective is to increase t...
详细信息
ISBN:
(纸本)9781509022199
this paper presents the fusion techniques for detecting and tracking the face. the proposed method combines the Viola-Jones method, the CamShift tracking, and the Kalman Filter tracking. the objective is to increase the face detection rate, while reduce the computation cost. the proposed method is implemented on a low cost embedded system based-on the Raspberry Pi module. the experimental results show that the average detection rate of 98.3% is achieved, and it is superior compared to the existing techniques. the proposed system achieves the frame rate of 7.09 fps in the real-time face detection.
In large-scale disaster scenarios, efficient triage management is a major challenge for emergency services. Rescue forces traditionally respond to such incidents with a paper-based triage system, but technical solutio...
详细信息
Software transactional memory (STM) is a synchronisation paradigm which improves the parallelism and composability of modern applications executing on a multi-core architecture. However, to abort and retry a transacti...
详细信息
Software transactional memory (STM) is a synchronisation paradigm which improves the parallelism and composability of modern applications executing on a multi-core architecture. However, to abort and retry a transaction multiple times may have a negative impact on the temporal characteristics of a real-time task set. this paper addresses this issue: It provides a framework in which an upper-bound on the worst-case response time of each task is derived, assuming that tasks are scheduled by following either the Non-Preemptive During Attempt (NPDA), Non-Preemptive Until Commit (NPUC) or Stack Resource Policy for Transactional Memory (SRPTM) policy.
the proceedings contain 25 papers. the special focus in this conference is on Perspectives of System Informatics. the topics include: Quantitative analysis of collective adaptive systems;applying MDA to generate hadoo...
ISBN:
(纸本)9783319415789
the proceedings contain 25 papers. the special focus in this conference is on Perspectives of System Informatics. the topics include: Quantitative analysis of collective adaptive systems;applying MDA to generate hadoop based scientific computingapplications;site-level web template extraction based on DOM analysis;verification support for a state-transition-DSL defined with Xtext;towards using exact real arithmetic for initial value problems;constraint solving for verifying modal specifications of workflow nets with data;behavioural analysis of sessions using the calculus of structures;using refinement in formal development of OS security model;conflict resolution in multi-agent systems with typed connections for ontology population;maximally-polyvariant partial evaluation in polynomial time;dynamics security policies and process opacity for timed process algebras;estimating development effort for software architectural tactics;clone detection in reuse of software technical documentation;checking several requirements at once by CEGAR;program schemata technique to solve propositional program logics revised;automated two-phase composition of timed web services;equivalence of finite-valued symbolic finite transducers;relaxed parsing of regular approximations of string-embedded languages;branching processes of timed Petri nets and implementation and evaluation of contextual natural deduction for minimal logic.
Wireless networks are typically deemed not reliable enough to address real-time requirements typical of industrial distributed control applications. Several solutions were proposed in the past years to overcome their ...
详细信息
Wireless networks are typically deemed not reliable enough to address real-time requirements typical of industrial distributed control applications. Several solutions were proposed in the past years to overcome their limitations and make them suitable for those (soft) real-timeapplications where a limited percentage of deadlines can be missed. A promising approach relies on centralized transmission (and retransmission) scheduling and exploits well-known results for feasibility analysis to provide a priori guarantees on performance. this paper focuses on a framework based on non-preemptive EDF transmission scheduling and takes into account two retransmission strategies. A prototype framework implementation, relying on conventional Linux platforms and employing Wi-Fi technology, is then exploited to perform a preliminary performance assessment. To provide useful implementation guidelines, the paper investigates how the choice of retransmission strategy and of the parameters to be used in feasibility analysis may affect performance.
暂无评论