Publications associées à Classification of Resilience Techniques Against Functional Errors at Higher Abstraction Layers of Digital Systems

Publications associées (25)

A Spectral Ansatz for The Long-Time Homogenization of The Wave Equation

Consider the wave equation with heterogeneous coefficients in the homogenization regime. At large times, the wave interacts in a nontrivial way with the heterogeneities, giving rise to effective dispersive effects. The main achievement of the present wor ...

Ecole Polytechnique2024

Re-design of EU DEMO with a low aspect ratio

The design point that had been chosen for EU DEMO in 2016 is reviewed here and a modification is proposed with a lower aspect ratio. Previously the same aspect ratio, A, was chosen for EU DEMO as in major tokamak experiments including ITER (A = 3.1), and, ...

Elsevier2024

SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs

David Atienza Alonso, Giovanni Ansaloni, José Angel Miranda Calero, Benoît Walter Denkinger, Juan Pablo Sapriza Araujo, Ruben Rodriguez, Rubén Rodríguez Álvarez

Coarse-Grain Reconfigurable Arrays (CGRAs) represent emerging low-power architectures designed to accelerate Compute-Intensive Loops (CILs). The effectiveness of CGRAs in providing acceleration relies on the quality of mapping: how efficiently the CIL is c ...

2024

Single-cell biology: what does the future hold?

Bart Deplancke

In this Editorial, our Chief Editor and members of our Advisory Editorial Board discuss recent breakthroughs, current challenges, and emerging opportunities in single-cell biology and share their vision of "where the field is headed." ...

WILEY2023

Tri-axial H-Field Sensor with Frequency-shaped Response in the band 400 MHz - 6 GHz

German Augusto Ramirez Arroyave

This contribution presents an isotropic field probe to assess human exposition to broadband magnetic fields in the 400 MHz to 6 GHz band according to the ICNIRP 2020 guidelines. This device complements the current practice in this band, based on the measur ...

IEEE2023

Functional data analysis with rough sample paths?

Victor Panaretos, Neda Mohammadi Jouzdani

Functional data are typically modeled as sample paths of smooth stochastic processes in order to mitigate the fact that they are often observed discretely and noisily, occasionally irregularly and sparsely. The smoothness assumption is imposed to allow for ...

TAYLOR & FRANCIS LTD2024

Duality and bicrystals on infinite binary matrices

Thomas Gerber

The set of finite binary matrices of a given size is known to carry a finite type AA bicrystal structure. We first review this classical construction, explain how it yields a short proof of the equality between Kostka polynomials and one-dimensional sums t ...

EMS Press2023

espm: A Python library for the simulation of STEM-EDXS datasets

Adrien Maxime Louis Teurtrie, Cécile Hébert, Duncan Thomas Lindsay Alexander, Nathanaël Perraudin, Hui Chen, Guillaume Romain Obozinski, Hui Chen

We present two open-source Python packages: "electron spectro-microscopy"(espm) and "electron microscopy tables"(emtables). The espm software enables the simulation of scanning transmission electron microscopy energy-dispersive X-ray spectroscopy datacubes ...

ELSEVIER2023

Analytic Approximation of In-Body Path Loss for Implanted Antennas

Anja Skrivervik, Mingxiang Gao

Implantable bioelectronic devices predominantly use wireless links for communication and/or power transfer. When considering transmitting implanted antennas, electromagnetic radiation through biological media is highly attenuated, and previous work has sho ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Frequency and time domains interactions in nanophotonics

Andrei Kiselev

In this thesis, we discuss the problems of scattering and optical manipulation related to nanosystems of different complexities. The multipolar decomposition method is used to represent scattering processes in nanosystems as a series of elementary excitati ...

EPFL2023

Appropriations and Uses of Travel Time

Ludy Juliana González Villamizar

Time has always been a central factor in understanding the challenges of daily mobility. For a long time, and still today, methods of economic evaluation of transport projects have monetized time savings so that they can be included in the cost–benefit ana ...

ISTE Wiley2023

NORM TORI OF ETALE ALGEBRAS AND UNRAMIFIED BRAUER GROUPS

Eva Bayer Fluckiger, Ting-Yu Lee

Let k be a field, and let L be an etale k-algebra of finite rank. If a is an element of k(x), let X-a be the affine variety defined by N-L/k(x) = a. Assuming that L has at least one factor that is a cyclic field extension of k, we give a combinatorial desc ...

Hebrew Univ Magnes Press2023

Evaluation of the role of superoxide radical as chain carrier for the formation of hydroxyl radical during ozonation

Urs von Gunten, Gang Yu

Superoxide radicals (O-2(center dot-)) have been suggested as an important chain carrier in the radical chain reaction that promotes ozone (O-3) decomposition to hydroxyl radicals ((OH)-O-center dot) during ozonation. However, due to the difficulty in meas ...

PERGAMON-ELSEVIER SCIENCE LTD2023

A mixed precision LOBPCG algorithm

Daniel Kressner, Meiyue Shao

The locally optimal block preconditioned conjugate gradient (LOBPCG) algorithm is a popular approach for computing a few smallest eigenvalues and the corresponding eigenvectors of a large Hermitian positive definite matrix A. In this work, we propose a mix ...

SPRINGER2023

Technology Mapping Using Multi-output Library Cells

Giovanni De Micheli, Alessandro Tempia Calvino

Technology mapping transforms a technology-independent representation into a technology-dependent one given a library of cells. Even if technology libraries contain multi-output cells, state-of-the-art techniques fully exploit single-output cells only. Mul ...

2023

Confirming the high pressure phase diagram of the Shastry-Sutherland model

Henrik Moodysson Rønnow, Martin Mansson

A Muon Spin Rotation (mu+SR) study was conducted to investigate the magnetic properties of SrCu2(BO3)(2) (SCBO) as a function of temperature/pressure. Measurements in zero field and transverse field confirm the absence of long range magnetic order at high ...

IOP PUBLISHING LTD2023

Nonlinear interactions of ion acoustic waves explored using fast imaging decompositions

Simon Pierre Henri Vincent

Fast camera imaging is used to study ion acoustic waves propagating azimuthally in a magnetized plasma column. The high-speed image sequences are analyzed using proper orthogonal decomposition and 2D Fourier transform, allowing to evaluate the assets and d ...

2023

Building Chips Faster: Hardware-Compiler Co-Design for Accelerated RTL Simulation

Sahand Kashani

The demise of Moore's Law and Dennard scaling has resulted in diminishing performance gains for general-purpose processors, and so has prompted a surge in academic and commercial interest for hardware accelerators. Specialized hardware has already redefine ...

EPFL2023

LenslessPiCam: A Hardware and Software Platform for Lensless Computational Imaging with a Raspberry Pi

Martin Vetterli, Matthieu Martin Jean-André Simeoni, Eric Bezzam, Sepand Kashani

This toolkit has everything you need to perform imaging with a lensless camera. We make use of a low-cost implementation of DiffuserCam, namely replacing the lens with a piece of tape and using the Raspberry Pi HQ camera sensor. Similar principles and meth ...

Zenodo2023

Between digital and territorial turns: A forking path

Elena Cogato Lanza, Chiara Cavalieri

This chapter looks at the intertwined evolution of two different ideas throughout the past century: that of ‘territory’, that has been reshaped and redefined in the field of architecture and urbanism, and that of ‘digital’, that while becoming dominant, ha ...

Routledge2022