Publications associées à Programmation impérative

Serial dependence in visual perception: A review

David Pascucci, Ayberk Ozkirli, Gizay Ceylan

How does the visual system represent continuity in the constantly changing visual input? A recent proposal is that vision is serially dependent: Stimuli seen a moment ago influence what we perceive in the present. In line with this, recent frameworks sugge ...

ASSOC RESEARCH VISION OPHTHALMOLOGY INC2023

From C/C plus plus Code to High-Performance Dataflow Circuits

Paolo Ienne, Andrea Guerrieri, Lana Josipovic

High-level synthesis (HLS) tools typically generate statically scheduled datapaths. Static scheduling implies that the resulting circuits have a hard time exploiting parallelism in code with potential memory dependences, with control dependences, or where ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms

Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch

The performance of programs written in languages following the dataflow model of computation (MoC) largely depends on the configuration (partitioning, mapping, scheduling, buffer dimensioning) chosen during the synthesis stages. Furthermore, this programmi ...

2022

Representing Monads with Capabilities

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Jonathan Immanuel Brachthäuser

Programming with monads can be advantageous even in imperative languages with builtin support for side effects. However, in these languages composing monadic programs is different from composing side effecting imperative programs. This does not need to be ...

2021

The physics of higher-order interactions in complex systems

Enrico Amico, Benedetta Franceschiello

Network representations of complex systems are limited to pairwise interactions, but real-world systems often involve higher-order interactions. This Perspective looks at the new physics emerging from attempts to characterize these interactions. Complex ne ...

NATURE PORTFOLIO2021

Application of data reconciliation methods for performance monitoring of power-to-gas plants

François Maréchal, Jonas Schnidrig, Tuong-Van Nguyen, Alessio Santecchia

Power-to-gas plants have recently gained more attraction as these storage systems can be deployed in the European energy grid to ease the integration of renewable energy sources. Most studies in this field address several aspects, from their technical perf ...

ECOS 2020 Local Organizing Committee2020

SpecROP: Speculative Exploitation of ROP Chains

Mathias Josef Payer, Atri Bhattacharyya, Andrés Sánchez Marín

Speculative execution attacks, such as Spectre, reuse code from the victim’s binary to access and leak secret information during speculative execution. Every variant of the attack requires very particular code sequences, necessitating elaborate gadget-sear ...

2020

Influence of Load Duration on Shear Strength of Reinforced Concrete Members

Aurelio Muttoni, Miguel Fernández Ruiz, Darko Tasevski

The significance of sustained loading on the compressive and tensile strength of concrete has been experimentally verified since the 1950s and is currently acknowledged in most design codes implicitly or explicitly. However; its influence on other potentia ...

AMER CONCRETE INST2020

Buffer Placement and Sizing for High-Performance Dataflow Circuits

Paolo Ienne, Andrea Guerrieri, Lana Josipovic, Shabnam Sheikhha

Commercial high-level synthesis tools typically produce statically scheduled circuits. Yet, effective C-to-circuit conversion of arbitrary software applications calls for dataflow circuits, as they can handle efficiently variable latencies (e.g., caches) a ...

ASSOC COMPUTING MACHINERY2020

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Programmation impérative

Serial dependence in visual perception: A review

Scaling Language Features for Program Verification

From C/C plus plus Code to High-Performance Dataflow Circuits

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms

Representing Monads with Capabilities

The physics of higher-order interactions in complex systems

Application of data reconciliation methods for performance monitoring of power-to-gas plants

SpecROP: Speculative Exploitation of ROP Chains

Influence of Load Duration on Shear Strength of Reinforced Concrete Members

Buffer Placement and Sizing for High-Performance Dataflow Circuits

Graph Chatbot

Chattez avec Graph Search

Scaling Language Features for Program Verification

From C/C plus plus Code to High-Performance Dataflow Circuits

SpecROP: Speculative Exploitation of ROP Chains

Serial dependence in visual perception: A review

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms

Representing Monads with Capabilities

Influence of Load Duration on Shear Strength of Reinforced Concrete Members

The physics of higher-order interactions in complex systems

Application of data reconciliation methods for performance monitoring of power-to-gas plants

Buffer Placement and Sizing for High-Performance Dataflow Circuits