Publications associées à Système de gestion d'exceptions

Formal Foundations of Capture Tracking

Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...

EPFL2024

Dynamic pulse scheduling in ASDEX Upgrade: Disruption avoidance and investigation of the H-Mode density limit

Federico Alberto Alfredo Felici, Alessandro Pau, Bernhard Sieglin

Operation of a tokamak device requires the coordinated operation of a multitude of systems. The sequence of operations during a discharge is both too complex and fast for human interaction. A common way of operation is a predefined sequence of operations w ...

2023

Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores

Willy Zwaenepoel, Diego Didona

This paper introduces the concept of size-aware sharding to improve tail latencies for in-memory key-value stores, and describes its implementation in the Minos key-value store. ...

USENIX ASSOC2019

User Guidance for Efficient Fact Checking

Quoc Viet Hung Nguyen, Thành Tâm Nguyên

The Web constitutes a valuable source of information. In recent years, it fostered the construction of large-scale knowledge bases, such as Freebase, YAGO, and DBpedia. The open nature of the Web, with content potentially being generated by everyone, howev ...

2019

User Guidance for Efficient Fact Checking

Thành Tâm Nguyên, Thanh Trung Huynh, Quoc Viet Hung Nguyen

The Web constitutes a valuable source of information. In recent years, it fostered the construction of large-scale knowledge bases, such as Freebase, YAGO, and DBpedia. The open nature of the Web, with content potentially being generated by everyone, howev ...

ASSOC COMPUTING MACHINERY2019

Exploring manycore architectures for next-generation HPC systems through the MANGO approach

David Atienza Alonso, Marina Zapater Sancho, Arman Iranfar, Simone Libutti

The Horizon 2020 MANGO project aims at exploring deeply heterogeneous accelerators for use in High Performance Computing systems running multiple applications with different Quality of Service (QoS) levels. The main goal of the project is to exploit custom ...

ELSEVIER SCIENCE BV2018

About individual differences in vision

Michael Herzog, Gregory Francis, Lukasz Grzeczkowski, Aaron Michael Clarke, Fred Mast

In cognition, audition, and somatosensation, performance strongly correlates between different paradigms, which suggests the existence of common factors. In contrast, visual performance in seemingly very similar tasks, such as visual and bisection acuity, ...

Elsevier2017

Semantics-Driven Interoperability between Scala.js and JavaScript

Tobias Schlatter, Sébastien Jean R Doeraene, Nicolas Alexander Stucki

Hundreds of programming languages compile to JavaScript. Yet, most of them fail, at one level or another, to provide satisfactory interoperability with JavaScript APIs. This is limiting, as interoperability is at least required to manipulate web pages thro ...

Association for Computing Machinery2016

Do we need "more research" or better implementation through knowledge brokering?

Janet Gordon Hering

More research is needed is an iconic catchphrase used by scientists worldwide. Yet policy and management decisions are continually being made with variable levels of reliance on scientific knowledge. Funding agencies have provided incentives for knowledge ...

Springer2015

Parallel Preconditioners for Navier-Stokes Equations and Fluid-Structure Interaction Problems : Application to Hemodynamics

Gwenol Grandperrin

The Navier–Stokes equations play a key role in the modeling of blood flows in the vascular sys- tem. The cost for solving the 3D linear system obtained by Finite Element (FE) discretization of the equations, using tetrahedral unstructured meshes and time a ...

EPFL2013