Filters








78 Hits in 5.6 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.  ...  As illustrated, the exact set of rollback processes depends on: Energy-efficient localised rollback after failures via data flow analysis , , Figure 2 : Illustration of global and data-flow-driven rollback  ... 
arXiv:1806.01611v1 fatcat:2hfy7w44tzhh7eg6qls4pwp7mq

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  ...  competitive European HPC systems but also about making our HPC solutions work together with other related technologies - the material included in this SRA is also a result of our interactions with Big Data  ...  rollback and recovery), which consumes extra energy  ... 
doi:10.5281/zenodo.4605343 fatcat:lcsgbea5dzgdfmj5dkw6pr7vni

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
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications.  ...  Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor.  ...  Hybrid Information Flow. As mentioned earlier, it is not possible to have a sound yet permissive dynamic information flow analysis [292] .  ... 
arXiv:1811.06740v1 fatcat:4bxx5tvfpzez3jidsj22flibv4

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
The domain decomposition is realised via MPI. After each space-time prediction step, we have to exchange the domain boundary data to allow all ranks to compute all relevant Riemann problems.  ...  Empirical data leads us to expect a linear correlation between the system size and the failure rate [3] . The mean time between failures (MTBF) will shrink.  ... 
arXiv:2110.15804v1 fatcat:fhcb2uarbfdlzmhfnt6p4bkite

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  
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications.  ...  Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor.  ...  C 5.3 Hybrid Information Flow. As mentioned earlier, it is not possible to have a sound yet permissive dynamic information flow analysis [289] .  ... 
doi:10.1007/s10703-019-00337-w fatcat:6vu5odqyjjbkvf255bsxcchane

Challenges in Engineering Self-Adaptive Authorisation Infrastructures [chapter]

Lionel Montrieux, Rogério de Lemos, Chris Bailey
2019 Engineering Adaptive Software Systems  
consumption more efficiently.  ...  themselves, without sending the data to the controller for analysis.  ... 
doi:10.1007/978-981-13-2185-6_3 fatcat:ex6tvfwbubhv7lqeg4kuyencmq

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  ...  Workflow automation tools, while still maturing, already play an important role in effective and efficient analysis of the monitored data.  ...  It will be one of the three activities in the International Fusion Energy Research Center (IFERC).  ... 
doi:10.1088/1009-0630/9/3/13 fatcat:qultg3zae5dqtcyqm6lktxgdve

Application-layer Fault-Tolerance Protocols [article]

Vincenzo De Florio
2016 arXiv   pre-print
The weaver first generates a data flow graph from the component program. In this graph, nodes represent components, and edges represent data flowing from one component to another.  ...  Introduction Industrial distributed embedded systems such as those used in the control and automation of electrical energy infrastructures rely on off-the-shelf components and protocols to ensure cost-efficient  ...  The first capability is also known as lexical analysis, the second as syntactical analysis.  ... 
arXiv:1611.02273v1 fatcat:my2uj2n2hrf4ljzpmbh4zlk57q

A Fault-tolerance Linguistic Structure for Distributed Applications [article]

Vincenzo De Florio
2016 arXiv   pre-print
The weaver first generates a data flow graph from the component program. In this graph, nodes represent components, and edges represent data flowing from one component to another.  ...  Note the control and data messages that flow from BB to TOM, DB, and RINT. RINT also sends control messages to the isolation and recovery BTs. Data messages flow also from BB to the monitoring tool.  ...  Alarm execution is managed via the mechanism shown in Fig.  ... 
arXiv:1611.01690v1 fatcat:mtyx6ubjafhzter5zream33d5u

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.  ...  The FCC study covered an energy-frontier hadron collider (FCC-hh), a highest-luminosity high-energy lepton collider (FCC-ee), the corresponding 100 km tunnel infrastructure, as well as the physics opportunities  ...  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

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  
After summarizing the physics discovery opportunities, it presents the accelerator design, performance reach, a staged operation scenario, the underlying technologies, civil engineering, technical infrastructure  ...  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.  ...  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

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  
the broadest discovery potential at the energy frontier.  ...  of these two colliders, and a high-energy LHC, based on FCC-hh technology.  ...  , provide coordinated rollback and much more.  ... 
doi:10.1140/epjst/e2019-900087-0 fatcat:uddkszokffdcxgerws2ulkgx7u

Comparing prospectivity modelling results and past exploration data: A case study of porphyry Cu–Au mineral systems in the Macquarie Arc, Lachlan Fold Belt, New South Wales

Oliver P. Kreuzer, Alexandra V.M. Miller, Katie J. Peters, Constance Payne, Charlene Wildman, Gregor A. Partington, Elisa Puccioni, Maureen E. McMahon, Michael A. Etheridge
2015 Ore Geology Reviews  
As such, our analysis confirmed that despite a greater 100 year exploration and mining history, much of the prospective ground within the study area remained untested.  ...  As a general rule, each consecutive exploration stage is more expensive due to the progressively more drill-and study-intensive nature of the work required, in particular after discovery of a potentially  ...  Acknowledgements This work is based on historic exploration and expenditure data compiled as part of an industry-collaborative research project at the ARC National Key Centre for Geochemical Evolution  ... 
doi:10.1016/j.oregeorev.2014.09.001 fatcat:hmyv3as7qjbepk4t44cgrluofy

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.  ...  sources 12,45,46 P 112 Energy efficiency (megawatt hours/consumer) 19 F,W 113 Efficient water use (water supply stress index) 10,30 F 114 Transformer stations 28 K 115 Operation of bridges  ... 
doi:10.1016/j.ocecoaman.2019.105004 fatcat:f642ff5eb5cklbca6s2726jlga

Supplementum 236: swiss orthopaedics, 79th annual meeting

2019 Swiss Medical Weekly  
Statistical data analysis was done using the Wilcoxon signed-rank test.  ...  Linear stiffness, extension, hysteresis, stiffness, yield load, ultimate load, energy to yield load, and energy to ultimate load were compared among the three graft types by using repeated-measures analysis  ...  Methods: This meta-analysis quantitatively synthesizes and compares data about outcomes of the treatment of recurrent LPD with MPFL surgery without or with TP in patients affected by TD.  ... 
doi:10.4414/smw.2019.20438 fatcat:fruhdz3hwre5td4osxvycvey5a
« Previous Showing results 1 — 15 out of 78 results