Concept

Dépassement de tampon

Publications associées (35)

Design of a diversion structure for the management of residual risks using physical model tests

Giovanni De Cesare, Raphaël Sprenger, Antoine Magnollay

As revitalization and protection against floods are essential in our time, the town of Delémont in Switzerland has set up a major project named “Delémont Marée Basse”. Part of the project, the residual risk plans to be managed by a lateral overflow bypassi ...

CRC Press/Balkema2014

Compatible Buffer for Capillary Electrophoresis and Matrix-Assisted Laser Desorption/Ionization Mass Spectrometry

Hubert Girault, Natalia Gasilova, Liang Qiao, Hong-Xu Chen

A compatible buffer system for the coupling of capillary electrophoresis (CE) with matrix-assisted laser desorption/ionization mass spectrometry (MALDI-MS) was developed. The employed interface consists of a robot to drive a sliver-covered separation capil ...

Royal Society of Chemistry2013

A Buffer-Sizing Algorithm for Network-on-Chips with Multiple Voltage-Frequency Islands

Giovanni De Micheli, Luca Benini, Srinivasan Murali, Akash Kumar

Buffers in on-chip networks constitute a significant proportion of the power consumption and area of the interconnect, and hence reducing them is an important problem. Application-specific designs have nonuniform network utilization, thereby requiring a bu ...

2012

MaSM: Efficient Online Updates in Data Warehouses

Anastasia Ailamaki, Manoussos Gavriil Athanassoulis, Radu Ioan Stoica

Data warehouses (DW) have been traditionally optimized for readonly query performance, allowing only offline updates at night, essentially trading off data freshness for performance. The need for 24x7 operations in global markets and the rise of online and ...

2011

Proving memory safety of floating-point computations by combining static and dynamic program analysis

Johannes Kinder

Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many new security vulnerabilities (buffer overflows) in Windows and Linux applicatio ...

ACM Press2010

Electron localization by a donor in the vicinity of a basal stacking fault in GaN

Benoît Marie Joseph Deveaud, Jean-Daniel Ganière, Pierre Michel Corfdir, Jelena Ristic

We study the effects of the vicinity between a shallow donor nucleus and an I1-type basal stacking fault (BSF) in GaN. We propose a numerical calculation, in the “effective potential” formalism, of energies and envelope functions of electrons submitted to ...

2009

Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program Analysis

Johannes Kinder

Whitebox fuzzing is a novel form of security testing based on runtime symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found dozens of new security vulnerabilities (buffer overflows) in Windows and Linux appli ...

Microsoft Research2009

LFI: A Practical and General Library-Level Fault Injector

George Candea, Paul Dan Marinescu

Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of general-purpose software. We believe this is due to the absence of easy-to-use tools and to the extensive manual labor required to perform fault injecti ...

2009

Reducing Buffer Space in Multipath Schemes

Maysam Yabandeh, Sajjad Zarifzadeh

One major drawback of multipath transferring schemes, which is inspired by the usage of different paths with diverse delays, is the emergence of reordering among packets of a flow. This reordering brings some substantial problems (like larger delay and buf ...

2008

Mechanisms for store-wait-free multiprocessors

Anastasia Ailamaki, Babak Falsafi

Store misses cause significant delays in shared-memory multiprocessors because of limited store buffering and ordering constraints required for proper synchronization. Today, programmers must choose from a spectrum of memory consistency models that reduce ...

2007

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search