English
Related papers

Related papers: Reusable Verification Components for High-Energy P…

200 papers

Application Specific Integrated Circuits, ASICs, similar to those envisaged for the readout electronics of the central calorimeters of detectors for a future lepton collider have been exposed to high-energy electromagnetic showers. A…

Instrumentation and Detectors · Physics 2015-03-19 The CALICE Collaboration

High-energy physics (HEP) provides ever-growing amount of data. To analyse these, continuously-evolving computational power is required in parallel by extending the storage capacity. Such developments play key roles in the future of this…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-03-10 Gábor Bíró , Gergely Gábor Barnaföldi , Péter Lévai

The dependency on the correct functioning of embedded systems is rapidly growing, mainly due to their wide range of applications, such as micro-grids, automotive device control, health care, surveillance, mobile devices, and consumer…

Logic in Computer Science · Computer Science 2017-03-01 Lucas Cordeiro

Software component reuse is the software engineering practice of developing new software products from existing components. A reuse library or component reuse repository organizes stores and manages reusable components. This paper describes…

Software Engineering · Computer Science 2010-07-30 P. Shireesha , S. S. V. N. Sharma

The study group on data preservation in high energy physics, DPHEP, is moving to a new collaboration structure, which will focus on the implementation of preservation projects, such as those described in the group's large scale report…

High Energy Physics - Experiment · Physics 2015-06-17 Dmitri Ozerov , David M. South

The findable, accessible, interoperable, and reusable (FAIR) data principles provide a framework for examining, evaluating, and improving how data is shared to facilitate scientific discovery. Generalizing these principles to research…

The design of Systems on Chips (SoCs) is becoming more and more complex due to technological advancements. Missed bugs can cause drastic failures in safety-critical environments leading to the endangerment of lives. To overcome these…

Hardware Architecture · Computer Science 2024-10-25 Bryan Olmos , Daniel Gerl , Aman Kumar , Djones Lettnin

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

We introduce new correlation consistent effective core potentials (ccECPs) for the elements I, Te, Bi, Ag, Au, Pd, Ir, Mo, and W with $4d$, $5d$, $6s$ and $6p$ valence spaces. These ccECPs are given as a sum of spin-orbit averaged…

In this paper we document the current analysis software training and onboarding activities in several High Energy Physics (HEP) experiments: ATLAS, CMS, LHCb, Belle II and DUNE. Fast and efficient onboarding of new collaboration members is…

ALICE, one of the experiments at the Large Hadron Collider (CERN), is undergoing ambitious upgrades during the ongoing second long shutdown (LS2). The main goal of this project is to access rare events and previously inaccessible physics…

Instrumentation and Detectors · Physics 2020-04-23 Adam Laszlo Gera

Perception, localization, planning, and control, high-level functions often organized in a so-called pipeline, are amongst the core building blocks of modern autonomous (ground, air, and underwater) vehicle architectures. These functions…

Software Engineering · Computer Science 2023-01-24 Erfan Asaadi , Ewen Denney , Ganesh Pai

This study focuses on the development of reinforcement learning based techniques for the design of microelectronic components under multiphysics constraints. While traditional design approaches based on global optimization approaches are…

Computational Physics · Physics 2025-04-25 Siddharth Nair , Timothy F. Walsh , Greg Pickrell , Fabio Semperlotti

Renewables are key enablers for the realization of a sustainable energy supply but grid operators and energy utilities have to mange their intermittent behavior and limited storage capabilities by ensuring the security of supply and power…

Systems and Control · Computer Science 2018-12-27 Marcel Otte , Fabian Leimgruber , Roland Bründlinger , Sebastian Rohjans , Aadil Latif , Thomas I. Strasser

In modern High Energy Physics (HEP) experiments visualization of experimental data has a key role in many activities and tasks across the whole data chain: from detector development to monitoring, from event generation to reconstruction of…

The readout electronics of the ATLAS Hadronic Endcap Calorimeter (HEC) will have to withstand an about 3-5 times larger radiation environment at the future high-luminosity LHC (HLLHC) compared to their design values. The preamplifier and…

Instrumentation and Detectors · Physics 2013-09-04 Martin Nagel

In this chapter of the High Energy Physics Software Foundation Community Whitepaper, we discuss the current state of infrastructure, best practices, and ongoing developments in the area of data and software preservation in high energy…

Formal verification of complex algorithms is challenging. Verifying their implementations goes beyond the state of the art of current automatic verification tools and usually involves intricate mathematical theorems. Certifying algorithms…

Logic in Computer Science · Computer Science 2013-02-01 Eyad Alkassar , Sascha Böhme , Kurt Mehlhorn , Christine Rizkallah

Software and Computing (S&C) are essential to all High Energy Physics (HEP) experiments and many theoretical studies. The size and complexity of S&C are now commensurate with that of experimental instruments, playing a critical role in…

Advancements in AI capabilities, driven in large part by scaling up computing resources used for AI training, have created opportunities to address major global challenges but also pose risks of misuse. Hardware-enabled mechanisms (HEMs)…

Cryptography and Security · Computer Science 2025-05-08 Aidan O'Gara , Gabriel Kulp , Will Hodgkins , James Petrie , Vincent Immler , Aydin Aysu , Kanad Basu , Shivam Bhasin , Stjepan Picek , Ankur Srivastava