Concept

Control-flow graph

Related publications (71)

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

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

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

DatAFLow: Toward a Data-Flow-Guided Fuzzer

Mathias Josef Payer

Coverage-guided greybox fuzzers rely on control-flow coverage feedback to explore a target program and uncover bugs. Compared to control-flow coverage, data-flow coverage offers a more fine-grained approximation of program behavior. Data-flow coverage capt ...

2023

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

Experimental assessment of traffic density estimation at link and network level with sparse data

Nikolaos Geroliminis, Anna Takayasu

This paper investigates the accuracy of mean density estimation from direct sensing at link and network levels. Different calculation methods are compared depending on sensor type, probe vehicles or loop detectors, and availability to quantify the magnitud ...

TAYLOR & FRANCIS LTD2021

LIGHTBLUE: Automatic Profile-Aware Debloating of Bluetooth Stacks

Mathias Josef Payer, Daniele Antonioli, Duo Xu

The Bluetooth standard is ubiquitously supported by computers, smartphones, and IoT devices. Due to its complexity, implementations require large codebases, which are prone to security vulnerabilities, such as the recently discovered BlueBorne and BadBluet ...

USENIX ASSOC2021

Forces on buildings with openings and orientation in a steady post-tsunami free-surface flow

Anton Schleiss, Michael Pfister, Davide Wüthrich

Steady free-surface flows around buildings occurring during flood or tsunami events can produce major damages and a quantification of the post-peak forces is essential for safety and resilience of coastal structures. The loading process is highly affected ...

2020

Investigation of the symmetry-breaking instability in a T-mixer with circular cross section

Lorenzo Siconolfi

This paper investigates the laminar flow inside a T-mixer composed of three pipes with a circular cross section. The flow enters the mixer symmetrically from the two aligned pipes and leaves the device from the third pipe. In similar devices, but involving ...

AMER INST PHYSICS2020

Mitigation of impact of a major benzene spill into a river through flow control and in-situ activated carbon absorption

David Andrew Barry, Yue Yang

Benzene is a toxic contaminant and can harm many aquatic species and cause serious damages to the river eco-system, if released to rivers. In 2012, a major spill accident occurred on the Huaihe River in Eastern China with 3 tons of benzene released to the ...

2020

Reconfigurable microfluidics: real-time shaping of virtual channels through hydrodynamic forces

David Philipp Taylor

To break the current paradigm in microfluidics that directly links device design to functionality, we introduce microfluidic "virtual channels" that can be dynamically shaped in real-time. A virtual channel refers to a flow path within a microfluidic flow ...

2020

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.