Publications associées à Graphe de flot de contrôle

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

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

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

Unleashing Parallelism in Elastic Circuits with Faster Token Delivery

Paolo Ienne, Andrea Guerrieri, Lana Josipovic, Ayatallah Ahmed Gamal Kamal Elakhras

High-level synthesis (HLS) is the process of automatically generating circuits out of high-level language descriptions. Previous research has shown that dynamically scheduled HLS through elastic circuit generation is successful at exploiting parallelism in ...

IEEE COMPUTER SOC2022

Three-dimensional and real-scale modeling of flow regimes in dense snow avalanches

Johan Alexandre Philippe Gaume, Betty Sovilla, Xingyue Li

Snow avalanches cause fatalities and economic loss worldwide and are one of the most dangerous gravitational hazards in mountainous regions. Various flow behaviors have been reported in snow avalanches, making them challenging to be thoroughly understood a ...

2021

Scaling Functional Synthesis and Repair

Emmanouil Koukoutos

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

EPFL2019

On Facilitating the Modular Multilevel Converter Power Scalability Through Branch Paralleling

Drazen Dujic, Stefan Milovanovic

Modular multilevel converter current scalability challenge can be significantly alleviated by connecting its branches in parallel. In case a predefined submodule design is to be used with the aim of serving a certain span of applications, methods of achiev ...

IEEE2019

RAQ: Relationship-Aware Graph Querying in Large Networks

Akhil Arora, Arnab Bhattacharya

The phenomenal growth of graph data from a wide variety of real-world applications has rendered graph querying to be a problem of paramount importance. Traditional techniques use structural as well as node similarities to find matches of a given query grap ...

ASSOC COMPUTING MACHINERY2019

Anomaly detection in the dynamics of web and social networks

Pierre Vandergheynst, Kirell Maël Benzi, Volodymyr Miz, Benjamin Ricaud

In this work, we propose a new, fast and scalable method for anomaly detection in large time-evolving graphs. It may be a static graph with dynamic node attributes (e.g. time-series), or a graph evolving in time, such as a temporal network. We define an an ...

2019

Mitsuba 2: A Retargetable Forward and Inverse Renderer

Wenzel Alban Jakob, Tizian Lucien Zeltner, Delio Aleardo Vicini, Merlin Eléazar Nimier-David

Modern rendering systems are confronted with a dauntingly large and growing set of requirements: in their pursuit of realism, physically based techniques must increasingly account for intricate properties of light, such as its spectral composition or polar ...

ASSOC COMPUTING MACHINERY2019

Design of Riverbank Riprap Using Large, Individually Placed Blocks

Anton Schleiss, Michael Pfister, Mário Jorge Rodrigues Pereira Da Franca, Mona Jafarnejad Chaghooshi

The protection of river banks in mountain rivers by riprap requires large blocks with weights typically exceeding 1 t. Thus, the blocks have to be placed individually. Such packed riprap has a relatively small spacing between the blocks. Consequently, the ...

2019

Block Oriented Programming: Automating Data-Only Attacks

Mathias Josef Payer

With the widespread deployment of Control-Flow Integrity (CFI), control-flow hijacking attacks, and consequently code reuse attacks, are significantly more difficult. CFI limits control flow to well-known locations, severely restricting arbitrary code exec ...

ASSOC COMPUTING MACHINERY2018

Effect of an abrupt slope change on air entrainment and flow depths at stepped spillways

Anton Schleiss, Michael Pfister, José Pedro Gamito de Saldanha Calado Matos, Mohammad Javad Ostad Mirza

Several stepped spillways have been built in recent decades, mostly integrated in the downstream faces of roller compacted concrete dams. Among them, only a few have changing bottom slopes. Comprehensive information on the effect of a slope change on the f ...

Taylor & Francis Ltd2017

Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads

Mohammad Dashti Rahmat Abadi

There is a trend towards increased specialization of data management software for performance reasons. The improved performance not only leads to a more efficient usage of the underlying hardware and cuts the operation costs of the system, but also is a ga ...

EPFL2017

Unsteady hydraulic simulation of the cavitating part load vortex rope in Francis turbines

François Avellan, Arthur Tristan Favrel

For Francis turbines at part load operation a helical vortex rope is formed due to the swirling nature of the flow exiting the runner. This vortex creates pressure fluctuations which can lead to power swings, and the unsteady loading can lead to fatigue da ...

2017

A Mapping-Scheduling Algorithm for Hardware Acceleration on Reconfigurable Platforms

David Atienza Alonso, Ivan Beretta, Juan Antonio Clemente Barreira

Reconfigurable platforms are a promising technology that offers an interesting trade-off between flexibility and performance, which many recent embedded system applications demand, especially in fields such as multimedia processing. These applications typi ...

Assoc Computing Machinery2014

Controlled reattachment in separated flows: a variational approach to recirculation length reduction

François Gallaire, Edouard Boujo

A variational technique is used to derive analytical expressions for the sensitivity of recirculation length to steady forcing in separated flows. Linear sensitivity analysis is applied to the two-dimensional steady flow past a circular cylinder for Reynol ...

Cambridge University Press2014

Three-dimensional numerical modeling of flow field in rectangular shallow reservoirs

Anton Schleiss

Flow field in shallow waters, which is characterized by its complex mixing process and inherent dynamic nature, is interesting mainly due to its practical importance (e. g. in free flushing operation and sedimentation in large reservoirs). 3D numerical mod ...

CRC Press/Balkema2014

Measurements of the pore-scale water flow through snow using Fluorescent Particle Tracking Velocimetry

Michael Lehning, Benjamin Andreas Walter

Fluorescent Particle Tracking Velocimetry (FPTV) measurements of the pore-scale water flow through the pore space of a wet-snow sample are presented to demonstrate the applicability of this measurement technique for snow. For the experiments, ice-cooled wa ...

American Geophysical Union2013

Two-phase heat transfer and high-speed visualization of refrigerant flows in 100 × 100 μm2 silicon multi-microchannels

John Richard Thome, Navid Borhani, Sylwia Szczukiewicz

Two-phase flow boiling of R245fa, R236fa, and R1234ze(E) in 100 × 100 μm2 parallel microchannels for cooling of future 3D-ICs has been investigated. Significant flow instabilities, back flow, and non-uniform flow distribution among the channels were observ ...

Elsevier2013

Alternating Control Flow Reconstruction

Johannes Kinder

Unresolved indirect branch instructions are a major obstacle for statically reconstructing a control flow graph (CFG) from machine code. If static analysis cannot compute a precise set of possible targets for a branch, the necessary conservative over-appro ...

Springer2012

Integrated Kernel Partitioning and Scheduling for Coarse-Grained Reconfigurable Arrays

Giovanni Ansaloni

Coarse-grained reconfigurable arrays (CGRAs) are a promising class of architectures conjugating flexibility and efficiency. Devising effective methodologies to map applications onto CGRAs is a challenging task, due to their parallel execution paradigm and ...

Institute of Electrical and Electronics Engineers2012