Publications related to Buffer overflow

Homothetic Tube Model Predictive Control With Multi-Step Predictors

Giancarlo Ferrari Trecate, Danilo Saccani, Melanie Nicole Zeilinger

We present a robust model predictive control (MPC) framework for linear systems facing bounded parametric uncertainty and bounded disturbances. Our approach deviates from standard MPC formulations by integrating multi-step predictors, which provide reduced ...

Piscataway2023

Overflow pressure characterization in lined plunge pools for slab sizing

Giovanni De Cesare, Pedro Filipe De Almeida Manso, Francisca Marco Cutillas

This study presents an experimental work on dynamic pressures at the bottom of a lined plunge pool that receives overflow rectangular impinging jets and aims at improving the design criteria for pool slabs. The experiments were conducted in a fairly large ...

International Association for Hydro-Environment Engineering and Research (IAHR)2022

Perimeter Control and Route Guidance of Multi-Region MFD Systems With Boundary Queues Using Colored Petri Nets

Nikolaos Geroliminis, Anastasios Kouvelas, Hui Fu

Perimeter control based on Macroscopic Fundamental Diagram (MFD) aims to meter the number of transferring vehicles at the periphery of the protected urban region in order to obtain the desired number of vehicles in that region. The advantage of perimeter c ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

On the radar: Predicting near-future surges in skills’ hiring demand to provide early warning to educators

Pierre Dillenbourg, Richard Lee Davis, Ramtin Yazdanian

The AI-driven Fourth Industrial Revolution and the COVID-19 pandemic have one important thing in common: they both have caused significant and rapid changes to the skill set landscape of various industries. These disruptive forces mean that the early ident ...

2021

A Simpler and Faster NIC Driver Model for Network Functions

George Candea, Solal Vincenzo Pirelli

The advent of software network functions calls for stronger correctness guarantees and higher performance at every level of the stack. Current network stacks trade simplicity for performance and flexibility, especially in their driver model. We show that p ...

2021

A Computational Method for Identifying the Optimum Buffer Size in the Era of Zero Defect Manufacturing

Ali Boujemaoui

Decreasing defects, waste time, meeting customer demand and being adaptable are the goals of a Zero Defect Manufacturing (ZDM) strategy. Scheduling is an important tool to perform that. It should take in account buffer size allocation. In this study, a met ...

SPRINGER INTERNATIONAL PUBLISHING AG2020

Shrink It or Shed It! Minimize the Use of LSQs in Dataflow Designs

Paolo Ienne, Andrea Guerrieri, Lana Josipovic, Atri Bhattacharyya

When applications have unpredictable memory accesses or irregular control flow, dataflow circuits overcome the limitations of statically scheduled high-level synthesis (HLS). If memory dependences cannot be determined at compile time, dataflow circuits rel ...

IEEE COMPUTER SOC2019

Forbidden induced subposets of given height

Istvan Tomon

Let P be a partially ordered set. The function La* (n, P) denotes the size of the largest family F subset of 2([n]) that does not contain an induced copy of P. It was proved by Methuku and Palvolgyi that there exists a constant C-P (depending only on P) su ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2019

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.

Buffer overflow

EdgeAI-Aware Design of In-Memory Computing Architectures

Homothetic Tube Model Predictive Control With Multi-Step Predictors

Scaling Language Features for Program Verification

Overflow pressure characterization in lined plunge pools for slab sizing

Perimeter Control and Route Guidance of Multi-Region MFD Systems With Boundary Queues Using Colored Petri Nets

On the radar: Predicting near-future surges in skills’ hiring demand to provide early warning to educators

A Simpler and Faster NIC Driver Model for Network Functions

A Computational Method for Identifying the Optimum Buffer Size in the Era of Zero Defect Manufacturing

Shrink It or Shed It! Minimize the Use of LSQs in Dataflow Designs

Forbidden induced subposets of given height

Graph Chatbot

Chat with Graph Search

Scaling Language Features for Program Verification

On the radar: Predicting near-future surges in skills’ hiring demand to provide early warning to educators

Shrink It or Shed It! Minimize the Use of LSQs in Dataflow Designs

Forbidden induced subposets of given height

Homothetic Tube Model Predictive Control With Multi-Step Predictors

EdgeAI-Aware Design of In-Memory Computing Architectures

Perimeter Control and Route Guidance of Multi-Region MFD Systems With Boundary Queues Using Colored Petri Nets

A Simpler and Faster NIC Driver Model for Network Functions

A Computational Method for Identifying the Optimum Buffer Size in the Era of Zero Defect Manufacturing