Publications associées à A Study on More Realistic Room Simulation for Far-Field Keyword Spotting

Automated Verification of Network Function Binaries

George Candea, Aikaterini Argyraki, Solal Vincenzo Pirelli

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Templates for 3D Object Pose Estimation Revisited: Generalization to New Objects and Robustness to Occlusions

Mathieu Salzmann, Vincent Lepetit, Yinlin Hu, Van Nguyen Nguyen, Yang Xiao

We present a method that can recognize new objects and estimate their 3D pose in RGB images even under partial occlusions. Our method requires neither a training phase on these objects nor real images depicting them, only their CAD models. It relies on a s ...

IEEE COMPUTER SOC2022

U-Boost NAS: Utilization-Boosted Differentiable Neural Architecture Search

Pascal Frossard, Ahmet Caner Yüzügüler, Nikolaos Dimitriadis

Optimizing resource utilization in target platforms is key to achieving high performance during DNN inference. While optimizations have been proposed for inference latency, memory footprint, and energy consumption, prior hardware-aware neural architecture ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

On the Scalability of Vision-based Drone Swarms in the Presence of Occlusions

Dario Floreano, Fabian Maximilian Schilling, Enrica Soria

Vision-based drone swarms have recently emerged as a promising alternative to address the fault-tolerance and flexibility limitations of centralized and communication-based aerial collective systems. Although most vision-based control algorithms rely on th ...

2022

Using an antenna as a tool for studying microturbulence and zonal structures in tokamaks with a global gyrokinetic GPU-enabled particle-in-cell code

Noé Thomas Elie Ohana

In order to get a better understanding of the interaction of plasma microinstabilities and associated turbulence with specific modes, an antenna is implemented in the global gyrokinetic Particle-In-Cell (PIC) code ORB5. It consists in applying an external ...

EPFL2020

Safe Initialization of Objects

Martin Odersky, Fengyun Liu, Ondrej Lhoták, Paolo Giosuè Giarrusso

Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...

2020

A Type-and-Effect System for Object Initialization

Martin Odersky, Fengyun Liu, Ondrej Lhoták, Paolo Giosuè Giarrusso

Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...

ASSOC COMPUTING MACHINERY2020

Safe initialization of objects

Fengyun Liu

The inception of object-oriented programming introduces a category of bugs related to object construction: initialization errors. Every newly created object goes through several initialization states: starting from a state where all fields are uninitialize ...

EPFL2020

The Sixth Visual Object Tracking VOT2018 Challenge Results

Jiri Matas, Li Wang, Qing Guo, Jue Wang, Wei Wu, Yunpeng Li, Xiaofan Zhang, Qiang Wang, Erhan Gündogdu, Wenjun Zeng, Bo Chen, Luca Bertinetto, Siwen Wang, Hongwei Li, Chong Sun, Tianzong Zhang, Yuxuan Sun, Peixia Li, Yunhua Zhang, Ran Tao, Namhoon Lee, Zhiye Wang, Bo Li, Litu Rout, Zeyu Zhang, Tianyang Xu, Yi Wu, Feng Li, Ning Wang, Jing Li

The Visual Object Tracking challenge VOT2018 is the sixth annual tracker benchmarking activity organized by the VOT initiative. Results of over eighty trackers are presented; many are state-of-the-art trackers published at major computer vision conferences ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

PyLandStats: An open-source Pythonic library to compute landscape metrics

Martí Bosch Padrós

Quantifying the spatial pattern of landscapes has become a common task of many studies in landscape ecology. Most of the existing software to compute landscape metrics is not well suited to be used in interactive environments such as Jupyter notebooks nor ...

2019

Evaluation of Deep Learning Strategies for Nucleus Segmentation in Fluorescence Images

Matthieu Jean-Michel Philippe Broisin, Jonathan Roth

Identifying nuclei is often a critical first step in analyzing microscopy images of cells and classical image processing algorithms are most commonly used for this task. Recent developments in deep learning can yield superior accuracy, but typical evaluati ...

2019

Hardware Acceleration of HDR-Image Tone Mapping on an FPGA-CPU Platform Through High-Level Synthesis

Christian Enz, Vincent Frédéric Camus, Mattia Cacciotti, Jérémy Lucien Maurice Schlachter, Alessandro Pezzotta

In this paper, the hardware acceleration of a tone-mapping algorithm for High-Dynamic-Range image processing is presented. Starting from the C++ source code, High-Level Synthesis has been performed using Xilinx SDSoC for a Xilinx Zynq SoC device. After an ...

IEEE2018

Bio-physically plausible visualization of highly scattering fluorescent neocortical models for in silico experimentation

Henry Markram, Felix Schürmann, Marwan Muhammad Ahmed Abdellah, Julian Charles Shillcock, Ahmet Bilgili, Stefan Eilemann

Background: We present a visualization pipeline capable of accurate rendering of highly scattering fluorescent neocortical neuronal models. The pipeline is mainly developed to serve the computational neurobiology community. It allows the scientists to visu ...

2017

StreamFlow 1.0: an extension to the spatially distributed snow model Alpine3D for hydrological modelling and deterministic stream temperature prediction

Tristan Jonas Brauchli, Michael Lehning, Wolf Hendrik Huwald, Aurélien Gallice, Francesco Comola, Mathias Thierry Pierre Bavay

Climate change is expected to strongly impact the hydrological and thermal regimes of Alpine rivers within the coming decades. In this context, the development of hydrological models accounting for the specific dynamics of Alpine catchments appears as one ...

Copernicus Gesellschaft Mbh2016

Modern techniques and applications for real-time non-rigid registration

Sofien Bouaziz, Mark Pauly, Andrea Tagliasacchi, Hao Li

Registration algorithms are an essential component of many computer graphics and computer vision systems. With recent technological advances in RGBD sensors (color plus depth), an active area of research is in techniques combining color, geometry, and lear ...

2016

Automating Ad hoc Data Representation Transformations

Martin Odersky, Vlad Ureche

To maximize run-time performance, programmers often specialize their code by hand, replacing library collections and containers by custom objects in which data is restructured for efficient access. However, changing the data representation is a tedious and ...

Assoc Computing Machinery2015

Hardware/Software Approach for Code Synchronization in Low-Power Multi-Core Sensor Nodes

David Atienza Alonso, Ruben Braojos Lopez, Ivan Beretta, Giovanni Ansaloni

Latest embedded bio-signal analysis applications, targeting low-power Wireless Body Sensor Nodes (WBSNs), present conflicting requirements. On one hand, bio-signal analysis applications are continuously increasing their demand for high computing capabiliti ...

IEEE/ACM Press2014

On Source Coding for Distributed Temperature Sensing with Shift-Invariant Geometries

Robert Konsbruck

We study the source coding problem in sensor networks deployed to monitor the evolution of spatio-temporal temperature distributions. The sensors sample the temperature field, quantize the samples and transmit the encoded samples through digital channels t ...

Institute of Electrical and Electronics Engineers2011

An Integrated Framework for Improving the Quality and Reliability of Software Upgrades

Olivier Crameri

Despite major advances in the engineering of maintainable and robust software over the years, upgrading software remains a primitive and error-prone activity. In this dissertation, we argue that several problems with upgrading software are caused by a poor ...

EPFL2011

iProve: A Scalable Approach to Consumer-Verifiable Software Guarantees

George Candea, Horatiu Jula, Silviu Andrica

Formally proving complex program properties is still considered impractical for systems with over a million lines of code (MLOC). We present iProve, an approach that enables the generation and verification of proofs for interesting program properties in la ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010