English
Related papers

Related papers: Ensuring Correctness at the Application Level: a S…

200 papers

Maintaining leadership in HPC requires the ability to support simulations at large scales and fidelity. In this study, we detail one of the most significant productivity challenges in achieving this goal, namely the increasing proclivity to…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-05-23 Ganesh Gopalakrishnan , Paul D. Hovland , Costin Iancu , Sriram Krishnamoorthy , Ignacio Laguna , Richard A. Lethin , Koushik Sen , Stephen F. Siegel , Armando Solar-Lezama

A new class of Second generation high-performance computing applications with heterogeneous, dynamic and data-intensive properties have an extended set of requirements, which cover application deployment, resource allocation, -control, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-02-28 Ole Weidner , Malcolm Atkinson , Adam Barker , Rosa Filgueira

A new form of caching, namely application-level caching, has been recently employed in web applications to improve their performance and increase scalability. It consists of the insertion of caching logic into the application base code to…

Software Engineering · Computer Science 2020-11-03 Jhonny Mertz , Ingrid Nunes

Treating uncertainties in models is essential in many fields of science and engineering. Uncertainty quantification (UQ) on complex and computationally costly numerical models necessitates a combination of efficient model solvers, advanced…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-28 Linus Seelinger , Anne Reinarz , Jean Benezech , Mikkel Bue Lykkegaard , Lorenzo Tamellini , Robert Scheichl

High-Performance Computing (HPC) platforms enable scientific software to achieve breakthroughs in many research fields such as physics, biology, and chemistry, by employing Research Software Engineering (RSE) techniques. These include 1)…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-16 Matan Rusanovsky , Re'em Harel , Lee-or Alon , Idan Mosseri , Harel Levin , Gal Oren

In recent years, language models (LMs), such as GPT-4, have been widely used in multiple domains, including natural language processing, visualization, and so on. However, applying them for analyzing and optimizing high-performance…

Machine Learning · Computer Science 2023-11-28 Le Chen , Pei-Hung Lin , Tristan Vanderbruggen , Chunhua Liao , Murali Emani , Bronis de Supinski

Quantum computing (QC) is anticipated to provide a speedup over classical HPC approaches for specific problems in optimization, simulation, and machine learning. With the advances in quantum computing toward practical applications, the need…

Quantum Physics · Physics 2022-10-26 Jernej Rudi Finžgar , Philipp Ross , Leonhard Hölscher , Johannes Klepsch , Andre Luckow

Scientific applications are starting to explore the viability of quantum computing. This exploration typically begins with quantum simulations that can run on existing classical platforms, albeit without the performance advantages of real…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-08-16 Amir Shehata , Thomas Naughton , In-Saeng Suh

With the emergence of large-scale data-intensive high-performance applications, new I/O challenges appear in the efficient management of petabytes of information in High-Performance Computing (HPC) environments. Data management environments…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-17 Neda Tavakoli , Yong Chen

While there have been approaches for integrating security policies into operating systems (OSs) for more than two decades, applications often use objects of higher abstraction requiring individual security policies with application-specific…

Cryptography and Security · Computer Science 2021-05-06 Marius Schlegel

The high-performance computing (HPC) community has adopted incentive structures to motivate reproducible research, with major conferences awarding badges to papers that meet reproducibility requirements. Yet, many papers do not meet such…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-09-01 Valérie Hayot-Sasson , Nathaniel Hudson , André Bauer , Maxime Gonthier , Ian Foster , Kyle Chard

Quantum computing (QC) introduces a novel mode of computation with the possibility of greater computational power that remains to be exploited - presenting exciting opportunities for high performance computing (HPC) applications. However,…

Modern high performance computing (HPC) systems exhibit a rapid growth in size, both "horizontally" in the number of nodes, as well as "vertically" in the number of cores per node. As such, they offer additional levels of hardware…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-11-06 Ahmed Eleliemy , Ali Mohammed , Florina M. Ciorba

Quantum computing is fast evolving as a technology due to recent advances in hardware, software, as well as the development of promising applications. To use this technology for solving specific problems, a suitable quantum algorithm has to…

Quantum Physics · Physics 2024-06-25 Nils Quetschlich , Lukas Burgholzer , Robert Wille

Meeting performance and scalability requirements while delivering services is a critical issue in web applications. Recently, latency and cost of Internet-based services are encouraging the use of application-level caching to continue…

Software Engineering · Computer Science 2020-11-03 Jhonny Mertz , Ingrid Nunes

We present OpenComputer, a verifier-grounded framework for constructing verifiable software worlds for computer-use agents. OpenComputer integrates four components: (1) app-specific state verifiers that expose structured inspection…

Artificial Intelligence · Computer Science 2026-05-20 Jinbiao Wei , Qianran Ma , Yilun Zhao , Xiao Zhou , Kangqi Ni , Guo Gan , Arman Cohan

A key focus of the SODALITE project is to assure the quality and performance of the deployments of applications over heterogeneous Cloud and HPC environments. It offers a set of tools to detect and correct errors, smells, and bugs in the…

Software Engineering · Computer Science 2020-03-26 Indika Kumara , Giovanni Quattrocchi , Damian Tamburri , Willem-Jan Van Den Heuvel

The software development process for embedded systems is getting faster and faster, which generally incurs an increase in the associated complexity. As a consequence, consumer electronics companies usually invest a lot of resources in fast…

Logic in Computer Science · Computer Science 2015-09-08 Felipe R. M. Sousa , Lucas C. Cordeiro , Eddie B. de Lima Filho

Quantum computers promise exponential speed ups over classical computers for various tasks. This emerging technology is expected to have its first huge impact in High Performance Computing (HPC), as it can solve problems beyond the reach of…

Quantum Physics · Physics 2024-03-29 Arnaud Gazda , Oceane Koska

In the field of scientific computing, one often finds several alternative software packages (with open or closed source code) for solving a specific problem. These packages sometimes even use alternative methodological approaches, e.g.,…