Concept

Analyse statique de programmes

Publications associées (307)

WOK: Statistical Program Slicing in Production

James Richard Larus, Bogdan-Alexandru Stoica

Dynamic program slicing can significantly reduce the amount of code developers need to inspect by focusing only on program statements relevant to their investigation. However, this technique is still not ready for production-level use either in terms of ru ...

IEEE2019

COMPAS Finite Element (FE) Workshop

Aryan Rezaei Rad

The Block Research Group (BRG) at ETH Zurich and the Laboratory for Timber Constructions (IBOIS) gave a collaborative workshop on the Finite Element (FE) analysis using the COMPAS package. ...

2019

Fast Mean Estimation with Sub-Gaussian Rates

Nicolas Henri Bernard Flammarion

We present an improved analysis of the Euler-Maruyama discretization of the Langevin diffusion. Our analysis does not require global contractivity, and yields polynomial dependence on the time horizon. Compared to existing approaches, we make an additional ...

2019

FirmFuzz: Automated IoT Firmware Introspection and Analysis

Mathias Josef Payer, Hui Peng

While the number of IoT devices grows at an exhilarating pace their security remains stagnant. Imposing secure coding standards across all vendors is infeasible. Testing individual devices allows an analyst to evaluate their security post deployment. Any d ...

ASSOC COMPUTING MACHINERY2019

Formal Analysis of Human-Assisted Smart City Emergency Services

The concept of IoT-based Smart Cities has gained momentum in recent years. The research in this domain has focused on modeling key characteristics of future smart cities along with exploring their design and implementation aspects from multiple perspective ...

2019

Characterization of Uncertainty Contributions in a High-Accuracy PMU Validation System

Mario Paolone, Asja Derviskadic, Guglielmo Frigo, Daniele Colangelo, Jean-Pierre Braun

The eective deployment of Phasor Measurement Units (PMUs) in Distribution Networks (DNs) requires an enhancement in terms of estimation accuracy beyond the limits of IEEE Std C37.118.1 (IEEE Std), aiming at a Total Vector Error (TVE) in the order of 0.0x% ...

2019

Monte Carlo Modeling of Electron Multiplication in Amorphous Silicon Based Microchannel Plates

Christophe Ballif, Jonathan Emanuel Thomet, Janina Christine Isabelle Löffler, Mohamed Belhaj

Amorphous silicon based microchannel plates are being developed to overcome performance limits of conventional microchannel plates. They offer a new flexibility and ease of fabrication. A comprehensive AMCP model is being constructed to analyze the perform ...

IEEE2019

Microgrid Stability Definitions, Analysis, and Examples

Mario Paolone

This document is a summary of a report prepared by the IEEE PES Task Force (TF) on Microgrid Stability Definitions, Analysis, and Modeling \cite{task}, which defines concepts and identifies relevant issues related to stability in microgrids. In this paper, ...

2019

Gait events during turning can be detected using kinematic features originally proposed for the analysis of straight-line walking

Julien Favre

There is a growing interest for turning biomechanics notably because it is a more challenging task than straight-line walking during which some gait impairments are increased. Detecting heel-strike (HS) and toe-off (TO) events using the trajectory of marke ...

ELSEVIER SCI LTD2019

System for planning and/or providing neuromodulation, especially neurostimulation

Grégoire Courtine, Vincent Delattre, Miroslav Caban, Marco Capogrosso, Fabien Bertrand Paul Wagner, Karen Minassian

The present invention relates system for planning and/or providing neuromodulation (10), especially neurostimulation, comprising - a neurostimulator (24) comprising a least one electrode (22), - functional mapping module (38) configured and arranged such t ...

2019

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