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