Concept

Loop optimization

Related publications (115)

Noninvasive Cardiac Output and Central Systolic Pressure From Cuff-Pressure and Pulse Wave Velocity

Nikolaos Stergiopoulos, Bram Trachet, Vasiliki Bikia, Stamatia Zoi Pagoulatou

Goal: We introduce a novel approach to estimate cardiac output (CO) and central systolic blood pressure (cSBP) from noninvasive measurements of peripheral cuff-pressure and carotid-to-femoral pulse wave velocity (cf-PWV). Methods: The adjustment of a previ ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Just-in-time performance without warm-up

Denys Shabalin

Scala has been developed as a language that deeply integrates with the Java ecosystem. It offers seamless interoperability with existing Java libraries. Since the Scala compiler targets Java bytecode, Scala programs have access to high-performance runtimes ...

EPFL2020

Analytic performance modeling and analysis of detailed neuron simulations

Francesco Cremonesi, Gerhard Wellein

Big science initiatives are trying to reconstruct and model the brain by attempting to simulate brain tissue at larger scales and with increasingly more biological detail than previously thought possible. The exponential growth of parallel computer perform ...

2020

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

Area-based equitable pricing strategies for multimodal urban networks with heterogeneous users

Nikolaos Geroliminis, Nan Zheng

Equity issues among travellers are critical in congestion pricing. Failure to treat equity can lead to low acceptability towards pricing. In this paper, we develop congestion pricing schemes to improve both equity and traffic performance, for multimodal ne ...

PERGAMON-ELSEVIER SCIENCE LTD2020

Using the new VPMADD instructions for the new post quantum key encapsulation mechanism SIKE

Dusan Kostic

This paper demonstrates the use of new processor instructions VPMADD, intended to appear in the coming generation of Intel processors (codename "Cannon Lake"), in order to accelerate the newly proposed key encapsulation mechanism (KEM) named SIKE. SIKE is ...

IEEE COMPUTER SOC2019

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

Locomotion Planning through a Hybrid Bayesian Trajectory Optimization

Marco Hutter, Farbod Farshidian

Locomotion planning for legged systems requires reasoning about suitable contact schedules. The contact sequence and timings constitute a hybrid dynamical system and prescribe a subset of achievable motions. State-of-the-art approaches cast motion planning ...

IEEE2019

Generalized Skipgrams for Pattern Discovery in Polyphonic Streams

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Christoph Finkensiep

The discovery of patterns using a minimal set of assumptions constitutes a central challenge in the modeling of polyphonic music and complex streams in general. Skipgrams have been found to be a powerful model for capturing semi-local dependencies in seque ...

2018

Efficient Dynamic Optimisation Heuristics for Dataflow Pipelines

Marco Mattavelli, Simone Casale Brunet, Endri Bezati

Large dataflow designs appear as a result of functional specification of modern complex digital systems and/ or a result of unfolding and behavioral transformation of looped and branched programs. Since deep-submicron silicon technology provides large amou ...

IEEE2018

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.