Runtime Verification of Scientific Computing: Towards an Extreme Scale

2016 5th Workshop on Extreme-Scale Programming Tools (ESPT) ◽

10.1109/espt.2016.008 ◽

2016 ◽

Author(s):

Minh Ngoc Dinh ◽

Chao Jin ◽

David Abramson ◽

Clinton L. Jeffery

Keyword(s):

Scientific Computing ◽

Runtime Verification ◽

Extreme Scale

Download Full-text

Machine Learning and Understanding for Intelligent Extreme Scale Scientific Computing and Discovery. DOE Workshop Report, January 7–9, 2015, Rockville, MD

10.2172/1471083 ◽

2015 ◽

Cited By ~ 2

Author(s):

Michael Berry ◽

Thomas E. Potok ◽

Prasanna Balaprakash ◽

Hank Hoffmann ◽

Raju Vatsavai ◽

...

Keyword(s):

Machine Learning ◽

Scientific Computing ◽

Workshop Report ◽

Extreme Scale

Download Full-text

Advanced scientific computing in BASIC with applications in chemistry, biology and pharmacology

10.1016/s0922-3487(08)x7007-8 ◽

1989 ◽

Keyword(s):

Scientific Computing

Download Full-text

Random Differential Equations in Scientific Computing

10.2478/9788376560267 ◽

2013 ◽

Cited By ~ 16

Author(s):

Tobias Neckel ◽

Florian Rupp

Keyword(s):

Differential Equations ◽

Scientific Computing ◽

Random Differential Equations

Download Full-text

Quantification of Extreme-Scale Wind Turbine Performance Parameters due to Variations in Beam Properties

AIAA Scitech 2021 Forum ◽

10.2514/6.2021-1603 ◽

2021 ◽

Author(s):

Alejandra S. Escalera Mendoza ◽

Mayank Chetan ◽

D. Todd Griffith

Keyword(s):

Wind Turbine ◽

Performance Parameters ◽

Turbine Performance ◽

Extreme Scale

Download Full-text

Academic Computing Management Benchmarks: Beta Version - A Report on a Pilot Survey of the Coalition for Academic Scientific Computing (CASC) Members

SSRN Electronic Journal ◽

10.2139/ssrn.2313089 ◽

2013 ◽

Author(s):

Nicholas Berente ◽

Joe Rubleske

Keyword(s):

Scientific Computing ◽

Academic Computing ◽

Pilot Survey ◽

Beta Version

Download Full-text

Challenges in Scientific Computing - CISC 2002

10.1007/978-3-642-19014-8 ◽

2003 ◽

Keyword(s):

Scientific Computing

Download Full-text

Cardiovascular flow simulation at extreme scale

Computational Mechanics ◽

10.1007/s00466-009-0450-z ◽

2009 ◽

Vol 46 (1) ◽

pp. 71-82 ◽

Cited By ~ 32

Author(s):

Min Zhou ◽

Onkar Sahni ◽

H. Jin Kim ◽

C. Alberto Figueroa ◽

Charles A. Taylor ◽

...

Keyword(s):

Flow Simulation ◽

Cardiovascular Flow ◽

Extreme Scale

Download Full-text

Private runtime verification

Proceedings of the International Conference on Embedded Software Companion - EMSOFT '19 ◽

10.1145/3349568.3351552 ◽

2019 ◽

Author(s):

Houssam Abbas

Keyword(s):

Runtime Verification

Download Full-text

Runtime verification for trustworthy secure shell deployment

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution ◽

10.1145/3464974.3468449 ◽

2021 ◽

Author(s):

Axel Curmi ◽

Christian Colombo ◽

Mark Vella

Keyword(s):

Runtime Verification ◽

Secure Shell

Download Full-text

An extension of first-order LTL with rules with application to runtime verification

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-021-00626-y ◽

2021 ◽

Author(s):

Klaus Havelund ◽

Doron Peled

Keyword(s):

Runtime Verification ◽

First Order

Download Full-text