Filters








66 Hits in 5.9 sec

Energy-efficient localised rollback after failures via data flow analysis [article]

Kiril Dichev and Kirk Cameron and Dimitrios Nikolopoulos
2018 arXiv   pre-print
the data flow of iterative codes, and the well-known concept of data-flow graphs.  ...  We demonstrate the effectiveness of DFR for an MPI stencil code to optimise rollback and reduce the overall energy consumption by 10-12 % on idling nodes during localised rollback.  ...  ACKNOWLEDGEMENTS This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 671603.  ... 
arXiv:1806.01611v1 fatcat:2hfy7w44tzhh7eg6qls4pwp7mq

Simulation of Fusion Plasmas: Current Status and Future Direction

D A Batchelor, M Beck, A Becoulet, R V Budny, C S Chang, P H Diamond, J Q Dong, G Y Fu, A Fukuyama, T S Hahm, D E Keyes, Y Kishimoto (+17 others)
2007 Plasma Science and Technology  
Third, as more simulation data gets monitored, efficient storage of this data, utilization of storage resources for "mainstream" data analysis and sharing the results of this analysis across distributed  ...  This requires seamless, rapid, and collaborative high-level data analysis and simulation capabilities for both between-shot and longer time-scale analysis.  ...  integration of heating and current drive, the impurity transport, edge pedestal model, divertor model, MHD and high energy behavior model ].  ... 
doi:10.1088/1009-0630/9/3/13 fatcat:qultg3zae5dqtcyqm6lktxgdve

A high-level characterisation and generalisation of communication-avoiding programming techniques [article]

Tobias Weinzierl
2019 arXiv   pre-print
An abstraction, generalisation and weakening of the term enriches our toolset of how to tackle the data movement challenges.  ...  Today's hardware's explosion of concurrency plus the explosion of data we build upon in both machine learning and scientific simulations have multifaceted impact on how we write our codes.  ...  Instead of a static localisation, we have studied algorithms which localise the data exchange graph dynamically [45] .  ... 
arXiv:1909.10853v2 fatcat:72wuro6bhjhmfnilmvulwx4eqm

ETP4HPC's Strategic Research Agenda for High-Performance Computing in Europe 4 [article]

Michael Malms, Marcin Ostasz, Maike Gilliot, Pascale Bernier-Bruna, Laurent Cargemel, Estela Suarez, Herbert Cornelius, Marc Duranton, Benny Koren, Pascale Rosse-Laurent, María S. Pérez-Hernández, Manolis Marazakis (+11 others)
2020 Zenodo  
The main objective of this SRA is to identify the European technology research priorities in the area of HPC and High-Performance Data Analytics (HPDA), which should be used by EuroHPC to build its 2021  ...  , Internet of Things (IoT), Artificial Intelligence (AI) and Cyber Physical Systems (CPS).  ...  Quantifying the cost of HPC system failures rollback and recovery), which consumes extra energy  ... 
doi:10.5281/zenodo.4605343 fatcat:lcsgbea5dzgdfmj5dkw6pr7vni

Doubt and Redundancy Kill Soft Errors – Towards Detection and Correction of Silent Data Corruption in Task-based Numerical Software [article]

Philipp Samfass and Tobias Weinzierl and Anne Reinarz and Michael Bader
2021 arXiv   pre-print
~is dubious, we compute the task redundantly and compare the outcomes. Whenever they disagree, the task result with a lower error likeliness is accepted.  ...  In many cases, silent data corruption can immediately be corrected, while the algorithm also provides evidence when rollback-and-recompute becomes mandatory.  ...  This enclave tasking [19] implies that MPI data transfer and space-time predictor computations overlap, and that we obtain good per-node scaling [20] .  ... 
arXiv:2110.15804v1 fatcat:fhcb2uarbfdlzmhfnt6p4bkite

HE-LHC: The High-Energy Large Hadron Collider

A. Abada, the FCC Collaboration, M. Abbrescia, S. S. AbdusSalam, I. Abdyukhanov, J. Abelleira Fernandez, A. Abramov, M. Aburaia, A. O. Acar, P. R. Adzic, P. Agrawal, J. A. Aguilar-Saavedra (+1352 others)
2019 The European Physical Journal Special Topics  
of these two colliders, and a high-energy LHC, based on FCC-hh technology.  ...  in a global context, with emphasis on proton-proton and electron-positron high-energy frontier machines.  ...  We also want to express our thanks to the administration officers who prepared the ground and created a framework in which this work could be carried out efficiently.  ... 
doi:10.1140/epjst/e2019-900088-6 fatcat:isjvv2ozxbagnhfkqsk73ay6im

Challenges in Engineering Self-Adaptive Authorisation Infrastructures [chapter]

Lionel Montrieux, Rogério de Lemos, Chris Bailey
2019 Engineering Adaptive Software Systems  
In this paper, we scope and define the emerging area of self-adaptive authorisation by describing some of its developments, trends and challenges.  ...  For that, we start by identifying key concepts related to access control and authorisation infrastructures, and provide a brief introduction to self-adaptive software systems, which provides the foundation  ...  It is in the household's interest to minimise the energy company's data collection frequency, and the amount of data it can collect.  ... 
doi:10.1007/978-981-13-2185-6_3 fatcat:ex6tvfwbubhv7lqeg4kuyencmq

FCC-ee: The Lepton Collider

A. Abada, M. Abbrescia, S. S. AbdusSalam, I. Abdyukhanov, J. Abelleira Fernandez, A. Abramov, M. Aburaia, A. O. Acar, P. R. Adzic, P. Agrawal, J. A. Aguilar-Saavedra, J. J. Aguilera-Verdugo (+1350 others)
2019 The European Physical Journal Special Topics  
This study covers a highest-luminosity high-energy lepton collider (FCCee) and an energy-frontier hadron collider (FCC-hh), which could, successively, be installed in the same 100 km tunnel.  ...  in a global context, with emphasis on proton-proton and electron-positron high-energy frontier machines.  ...  We also want to express our thanks to the administration officers who prepared the ground and created a framework in which this work could be carried out efficiently.  ... 
doi:10.1140/epjst/e2019-900045-4 fatcat:5xiuqzkrd5ax7p4obnz3sj74ae

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) [article]

César Sánchez and Gerardo Schneider and Wolfgang Ahrendt and Ezio Bartocci and Domenico Bianculli and Christian Colombo and Yliés Falcone and Adrian Francalanza and Sran Krstić and Joa̋o M. Lourenço and Dejan Nickovic and Gordon J. Pace and Jose Rufino and Julien Signoles and Dmitriy Traytel and Alexander Weiss
2018 arXiv   pre-print
Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor.  ...  Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target  ...  The authors would like to thank Fonenantsoa Maurica and Pablo Picazo-Sanchez for their feedback on parts of a preliminary version of this document.  ... 
arXiv:1811.06740v1 fatcat:4bxx5tvfpzez3jidsj22flibv4

The role of data within coastal resilience assessments: an East Anglia, UK, case study

Alexander G. Rumson, Andres Payo Garcia, Stephen H. Hallett
2019 Ocean and Coastal Management  
School of Water, Energy and Environment, Building 53,  ...  This work sets out to establish a set of core metrics, and data sources suitable for inclusion within a data-driven coastal resilience assessment.  ...  Acknowledgements The authors acknowledge the staff of Coastal Partnership East, Great Yarmouth Borough, North Norfolk, Suffolk Coastal and Waveney District Councils and, in particular, Bill Parker and  ... 
doi:10.1016/j.ocecoaman.2019.105004 fatcat:f642ff5eb5cklbca6s2726jlga

FCC-hh: The Hadron Collider

A. Abada, the FCC Collaboration, M. Abbrescia, S. S. AbdusSalam, I. Abdyukhanov, J. Abelleira Fernandez, A. Abramov, M. Aburaia, A. O. Acar, P. R. Adzic, P. Agrawal, J. A. Aguilar-Saavedra (+1352 others)
2019 The European Physical Journal Special Topics  
of these two colliders, and a high-energy LHC, based on FCC-hh technology.  ...  in a global context, with emphasis on proton-proton and electron-positron high-energy frontier machines.  ...  isolation, have system updates that have little or no impact on work efficiency, provide coordinated rollback and much more.  ... 
doi:10.1140/epjst/e2019-900087-0 fatcat:uddkszokffdcxgerws2ulkgx7u

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o M. Lourenço, Dejan Nickovic, Gordon J. Pace (+4 others)
2019 Formal methods in system design  
Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor.  ...  Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target  ...  , comments and criticism.  ... 
doi:10.1007/s10703-019-00337-w fatcat:6vu5odqyjjbkvf255bsxcchane

Image-D5.01: Final Report On Integrated Application In Field Models (Magmatic Settings)

Simon Lopez
2017 Zenodo  
This document gives an overview of the current experience and challenges in defining a workflow for a 3D geological model representation and visualization of high temperature geothermal reservoirs in magmatic  ...  Better knowledge and useful models of the subsurface are then key bottlenecks for the large deployment of deep geothermal technologies.  ...  Thanks to people from Landsvirkjun for providing data for this project and for useful meetings during this period.  ... 
doi:10.5281/zenodo.1286259 fatcat:24h53w22wvgevnlskmjx5jkole

The Vesuvius and the other volcanoes of Central Italy

Riccardo Avanzinelli, Raffaello Cioni, Sandro Conticelli, Guido Giordano, Roberto Isaia, Massimo Mattei, Leone Melluso, Roberto Sulpizio
2017 Geological Field Trips  
ACKNOWLEDGEMENTS This Field Trip guide was originally written and offered to the participants during the pre-meeting events of the Goldschmidt 2013.  ...  Facies analysis on PDC deposits reveals both lateral and vertical variations from massive to stratified deposits, which can be related to the combined effects of flow dynamics and local irregularities  ...  In addition, following the "Avellino Pumice" eruption, an increase in the frequency Sub Plinian II 10 2 10 -2 -10 -1 3 10 6 -10 7 10-15 minor tephriphonolitephonotephrite 48-54 8-11 no data no data Violent  ... 
doi:10.3301/gft.2017.01 fatcat:zkprhhwvdzbarlqdeubqbhbqti

Application-layer Fault-Tolerance Protocols [article]

Vincenzo De Florio
2016 arXiv   pre-print
The central topic of this book is application-level fault-tolerance, that is the methods, architectures, and tools that allow to express a fault-tolerant system in the application software of our computers  ...  Application-level fault-tolerance is a sub-class of software fault-tolerance that focuses on the problems of expressing the problems and solutions of fault-tolerance in the top layer of the hierarchy of  ...  Furthermore, as (310) is the initial state, it is reasonable to assume that p 310 (0) = 1 and ∀s = (310) : p s (0) = 0.  ... 
arXiv:1611.02273v1 fatcat:my2uj2n2hrf4ljzpmbh4zlk57q
« Previous Showing results 1 — 15 out of 66 results