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

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

Alessandro Pau, Federico Alberto Alfredo Felici, 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 ...

ELSEVIER SCIENCE SA2023

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. Size-aware sharding distributes requests for keys to cores according to the si ...

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

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

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

Multi-machine analysis of termination scenarios, providing the specifications for controlled shutdown of ITER discharges

Olivier Sauter, Sun Hee Kim, Francesca Maria Poli, Anna Teplukhina

The task is to show that the specific ITER design features allow a stable well-controlled termination. This is a joint effort in control, exception handling development and physics modelling. Relevant for ITER is to maintain vertical, radial position, and ...

2016

Semantics-Driven Interoperability between Scala.js and JavaScript

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

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

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.

Système de gestion d'exceptions

Formal Foundations of Capture Tracking

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

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

User Guidance for Efficient Fact Checking

User Guidance for Efficient Fact Checking

Traffic Locality as an Opportunity in the Data Center

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

The Operational Semantics and Implementation of a Core Dart language

Multi-machine analysis of termination scenarios, providing the specifications for controlled shutdown of ITER discharges

Semantics-Driven Interoperability between Scala.js and JavaScript

Graph Chatbot

Chattez avec Graph Search

Traffic Locality as an Opportunity in the Data Center

Formal Foundations of Capture Tracking

User Guidance for Efficient Fact Checking

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

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

Semantics-Driven Interoperability between Scala.js and JavaScript

User Guidance for Efficient Fact Checking

The Operational Semantics and Implementation of a Core Dart language

Multi-machine analysis of termination scenarios, providing the specifications for controlled shutdown of ITER discharges

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