Publication

Classification of Resilience Techniques Against Functional Errors at Higher Abstraction Layers of Digital Systems

Publications associées (25)

Where is the money ? A decomposition of monetary flows behind fossil fuels

François Maréchal, Jonas Schnidrig, Raphaël Briguet, Xiang Li

Transition from fossils to renewables is leading to radical societal changes. Shifting the capital from fossils to renewables is commonly accompanied with political concerns, such as energy autonomy, domestic employment etc. Despite a decreasing trend in r ...

DTU Construct2022

A Benders decomposition for maximum simulated likelihood estimation of advanced discrete choice models

Michel Bierlaire, Claudia Bongiovanni

In this paper, we formulate a mixed integer linear program (MILP) for the simulated maximum likelihood estimation (MLSE) problem and devise a Benders decomposition approach to speed up the solution process. This framework can be applied to any advanced dis ...

2022

A Versatile Mapping Approach for Technology Mapping and Graph Optimization

Giovanni De Micheli, Heinz Riener, Alessandro Tempia Calvino, Shubham Rai, Akash Kumar

This paper proposes a versatile mapping approach that has three objectives: i) it can map from one technology-independent graph representation to another; ii) it can map to a cell library; iii) it supports logic rewriting. The method is cut-based, mitigate ...

IEEE2022

Logic Synthesis From Incomplete Specifications Using Disjoint Support Decomposition

Giovanni De Micheli, Andrea Costamagna

Approximate logic synthesis is an emerging field that tolerates errors in the synthesized logic circuits for better optimization quality. Indeed, in many computing problems, the requirement of preserving the exact functionality either results in unnecessar ...

IEEE2022

Roadmap on Machine learning in electronic structure

Michele Ceriotti, Andrea Grisafi, Max David Veit, Jigyasa Nigam

In recent years, we have been witnessing a paradigm shift in computational materials science. In fact, traditional methods, mostly developed in the second half of the XXth century, are being complemented, extended, and sometimes even completely replaced by ...

IOP Publishing Ltd2022