Publications related to Stack (abstract data type)

Local electrochemical and thermal investigation of a segmented reversible solid oxide fuel cell and electrolyzer

Jan Van Herle, Stefan Diethelm, Audrey Désirée Wesoly, Zacharie Wuillemin, Hamza Moussaoui

A novel setup has been designed and mounted to investigate the local electrochemical and thermal behavior of a cell from a 4-cell short stack under reversible operation solid oxide fuel cell/solid oxide electrolyzer (SOFC/SOE). It consists in the partition ...

Pergamon-Elsevier Science Ltd2023

Understanding and Mitigating Latency Variability of Latency-Critical Applications

Mia Primorac

A major theme of IT in the past decade has been the shift from on-premise hardware to cloud computing. Running a service in the public cloud is practical, because a large number of resources can be bought on-demand, but this shift comes with its own set of ...

EPFL2020

Verifying Software Network Functions with No Verification Expertise

George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Aikaterini Argyraki, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Matteo Rizzo

We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...

ACM2019

An FPGA-Based Test System for RRAM Technology Characterization

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Maxime Victor Thammasack, Armando Biscontini

Resistive random access memory (RRAM) technologies have recently gained large attention from the academic and industrial research communities. Significant efforts have been made to enhance the performance of the memory stacks from both communities through ...

2018

The Effects of Component Tolerances on the Thermo-Mechanical Reliability of SOFC Stacks

Jan Van Herle, Fabio Greco, Arata Nakajo, Zacharie Wuillemin

The reliability of solid oxide fuel cell (SOFC) systems is closing the gap to meet the requirements for market implementation. Finite-element (FE) stack models, typically used for stack reliability analyses, commonly consider idealized components. In reali ...

2017

Algorithmic Resource Verification

Ravichandhran Kandhadai Madhavan

Static estimation of resource utilisation of programs is a challenging and important problem with numerous applications. In this thesis, I present new algorithms that enable users to specify and verify their desired bounds on resource usage of functional p ...

EPFL2017

Solid oxide fuel cell anode degradation by the effect of hydrogen chloride in stack and single cell environments

Jan Van Herle, Christian Ludwig, Stefan Diethelm, Hossein Madi, Davide Papurello

The poisoning effect by hydrogen chloride (HCl) on state-of-the-art Ni anode-supported solid oxide fuel cells (SOFCs) at 750 degrees C is evaluated in either hydrogen or syngas fuel. Experiments are performed on single cells and short stacks and HCl concen ...

2016

New approach to low thermal conductivity of thermal barrier protection with improved mechanical integrity

Heinrich Hofmann, Paul Bowen, Abhishek Tewari

Layered ceramic systems with designed stacks of dense and porous layers were investigated as alternative for thermal barrier protection system (TBPs). This approach gives the possibility to obtain low thermal conductivity with the impact protection of dens ...

Elsevier2016

Investigations into the Effects of Biofuel Contaminants on Solid Oxide Fuel Cells

Hossein Madi

Solid Oxide Fuel Cells (SOFCs) have gathered considerable attention as a clean, highly efficient conversion device for the production of both electricity and heat from fuels. Due to their high operating temperatures, SOFCs do not require pure hydrogen as f ...

EPFL2016

Thermo-mechanical Reliability of SOFC Stacks During Combined Long-term Operation and Thermal Cycling

Jan Van Herle, Arata Nakajo, Zacharie Wuillemin, Fabio Greco

Thermo-mechanical issues in solid oxide fuel cells (SOFC) must be understood and overcome to meet the reliability standards for market implementation. This study presents a thermo-mechanical model of an SOFC-stack SRU. The analysis starts with the simulati ...

2015

Cost-Effective Design of Mesh-of-Tree Interconnect for Multi-Core Clusters with 3-D Stacked L2 Scratchpad Memory

Giovanni De Micheli, Luca Benini

3-D integrated circuits (3-D ICs) offer a promising solution to overcome the scaling limitations of 2-D ICs. However, using too many through-silicon-vias (TSVs) pose a negative impact on 3-D ICs due to the large overhead of TSV (e.g., large footprint and l ...

Institute of Electrical and Electronics Engineers2015

Temperature-Aware Runtime Power Management for Chip-Multiprocessors with 3-D Stacked Cache

Giovanni De Micheli, Siang-Yun Lee

The advent of 3-D fabrication technology makes it possible to stack a large amount of last-level cache memory onto a multi-core die to reduce off-chip memory accesses and, thus, increases system performance. However, the higher power density (i.e., power d ...

2014

The S2E Platform: Design, Implementation, and Applications

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for comprehensive performance profiling, reverse engineering of proprietary software, and automated testing of kerne ...

2012

A High-throughput and Low-Latency Interconnection Network for Multi-Core Clusters with 3-D Stacked L2 Tightly-Coupled Data Memory

Giovanni De Micheli, Luca Benini

The performance of most digital systems today is limited by the interconnect latency between logic and memory, rather than by the performance of logic or memory itself. Three- dimensional (3-D) integration using through-silicon-vias (TSVs) may provide a so ...

2012

Multipolar effects and strong coupling in hybrid plasmonic metamaterials

Olivier Martin, Arash Farhang

Recently stacked metamaterial structures coupled to a conductive plane have been investigated and have been shown to exhibit the same properties as stacked structures with double the layers, due to dipole mirror coupling. Here we study a system of stacked ...

International Society for Optical Engineering2012

A Distributed Interleaving Scheme for Efficient Access to WideIO DRAM Memory

Giovanni De Micheli, Luca Benini, Ciprian Seiculescu

Achieving the main memory (DRAM) required bandwidth at ac- ceptable power levels for current and future applications is a ma- jor challenge for System-on-Chip designers for mobile platforms. Three dimensional (3D) integration and 3D stacked DRAM mem- ories ...

2012

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding ...

2011

Querypoint : Moving Backwards on Wrong Values in the Buggy Execution

Claude Petitpierre, Salman Mirghasemi

As developers debug, they often have to seek the origins of wrong values they see in their debugger. This search must be performed backwards in time since the code causing the wrong value is executed before the wrong value appears. Therefore, locating the ...

2011

Orientation dependent emission properties of columnar quantum dash laser structures

Philipp Ridha

InAs columnar quantum dash (CQDash) structures on (100) InP have been realized by gas source molecular beam epitaxy for stacking numbers of up to 24. Laser devices show low threshold current densities between 0.73 and 3.5 kA/cm(2), dependent on the CQDash ...

AIP American Institute of Physics2009

Mixed Heuristic and Mathematical Programming Using Reference Points for Dynamic Data Types Optimization in Multimedia Embedded Systems

David Atienza Alonso, José Luis Risco Martin

New multimedia embedded applications are becoming increasingly dynamic. Thus, they cannot only rely on static data allocation, and must employ Dynamically-allocated Data Types (DDTs) to store their data and efficiently use the limited physical resources of ...

ACM Press2009