Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Analyse dynamique de programmes

Publications associées (27)

Unification of Compile-Time and Runtime Metaprogramming in Scala

Eugene Burmako

Metaprogramming is a technique that consists in writing programs that treat other programs as data. This paradigm of software development contributes to a multitude of approaches that improve programmer productivity, including code generation, program anal ...

EPFL2017

Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads

Mohammad Dashti Rahmat Abadi

There is a trend towards increased specialization of data management software for performance reasons. The improved performance not only leads to a more efficient usage of the underlying hardware and cuts the operation costs of the system, but also is a ga ...

EPFL2017

Definition of Accurate Reference Synchrophasors for Static and Dynamic Characterization of PMUs

Mario Paolone, Asja Derviskadic, Guglielmo Frigo, Marco Pignati, Daniele Colangelo

The calibration of phasor measurement units (PMUs) consists of comparing coordinated universal time time-aligned phasors (synchrophasors) measured by the PMU under test, against reference synchrophasors generated through a PMU calibrator. The IEEE Standard ...

Institute of Electrical and Electronics Engineers2017

User-Friendly Image-Based Segmentation and Analysis of Chromosomes

Michaël Unser, Florian Maria Wurm, Lucia Baldi Unser, Ricard Delgado Gonzalo, Virginie Sophie Uhlmann

We designed two efficient and user-friendly tools for the segmentation and analysis of images containing chromosomes or, more generally, rod-shaped elements that are spread on microscopic slides. The segmentation tool allows to automatically extract the pr ...

IEEE2016

Simplifying Development and Management of Software-Defined Networks

Peter Peresini

Computer networks are an important part of our life. Yet, they are traditionally hard to manage and operate. The recent shift to Software-Defined Networking (SDN) is promised to change the way in which the networks are run by their operators. However, SDN ...

EPFL2016

Monitoring of composite structures using a network of integrated PVDF film transducers

Thomas Gmür, Joël Cugnoni, Enrique René Guzman Solares

Aiming to reduce costs, polyvinylidene difluoride (PVDF) film patches are an emerging alternative to more classic piezoelectric technologies, like ceramic patches, as transducers to measure local deformation in many structural applications. This choice is ...

Institute of Physics2015

PBCOV: a property-based coverage criterion

Hamza Harkous

Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...

Springer2015