Concept

Compilateur source à source

Publications associées (82)

An Optimizing Multi-platform Source-to-source Compiler Framework for the NEURON MODeling Language

Felix Schürmann, James Gonzalo King, Michael Lee Hines, Pramod Shivaji Kumbhar, Jorge Blanco Alonso, Omar Awile, Liam Roger George Keegan

Domain-specific languages (DSLs) play an increasingly important role in the generation of high performing software. They allow the user to exploit domain knowledge for the generation of more efficient code on target architectures. Here, we describe a new c ...

Springer2020

Safe Initialization of Objects

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

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, Paolo Giosuè Giarrusso, Ondrej Lhoták

2020

A Type-and-Effect System for Object Initialization

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

ASSOC COMPUTING MACHINERY2020

Analysis of SwissCovid

Serge Vaudenay, Martin Vuagnoux

We present an analysis of the SwissCovid application which is currently being tested. We observe that the essential part of SwissCovid is under the control of Apple and Google. Outsourcing the heart of SwissCovid to Apple and Google has apparent benefits i ...

2020

The Sixth Visual Object Tracking VOT2018 Challenge Results

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

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

Learning Representations of Source Code from Structure and Context

Large codebases are routinely indexed by standard Information Retrieval systems, starting from the assumption that code written by humans shows similar statistical properties to written text [Hindle et al., 2012]. While those IR systems are still relativel ...

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 ...

WILEY2019

Cross-lingual Automatic Speech Recognition Exploiting Articulatory Features

Petr Motlicek

Articulatory features (AFs) provide language-independent attribute by exploiting the speech production knowl-edge. This paper proposes a cross-lingual automatic speechrecognition (ASR) based on AF methods. Various neural network(NN) architectures are explo ...

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