Concept

Langage dédié

Publications associées (244)

Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages

Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle various impl ...

EPFL2020

EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation

Blagovesta Hristova Kostova, Wei Dai

Fully-Homomorphic Encryption (FHE) offers powerful capabilities by enabling secure offloading of both storage and computation, and recent innovations in schemes and implementations have made it all the more attractive. At the same time, FHE is notoriously ...

ASSOC COMPUTING MACHINERY2020

Operational route choice methodologies for practical applications

Michel Bierlaire, Matthieu Marie Cochon de Lapparent, Evanthia Kazagli

This paper focuses on the application of tractable route choice models and presents a set of methods for deriving relevant disaggregate and aggregate route choice indicators, namely link and route flows. Tractability is achieved at the disaggregate level b ...

2020

A Study on More Realistic Room Simulation for Far-Field Keyword Spotting

Eric Bezzam, Robin Scheibler

We investigate the impact of more realistic room simulation for training far-field keyword spotting systems without fine-tuning on in-domain data. To this end, we study the impact of incorporating the following factors in the room impulse response (RIR) ge ...

IEEE2020

Advanced Techniques for Powering Wireless Sensor Nodes through Energy Harvesting and Wireless Power Transfer

Roberto La Rosa

This paper presents three different techniques for efficiently powering an energy-autonomous wireless sensor (EAWS) through both energy harvesting (EH) and RF wireless power transfer (WPT). The aim of the paper is to provide effective strategies and techni ...

IEEE2020

Language model domain adaptation for automatic speech recognition

Petr Motlicek, Amrutha Prasad

This report provides an overview of the work carried out in improving Language Model (LM) development used during the decoding of an Automatic Speech Recognition (ASR) system. The goal of this work is to develop a robust language model that can be adapted ...

Idiap2020

Immobilization of single-walled carbon nanotubes by dielectrophoresis using a microfluidic channel

Paul Louis Mosser

The initial goal of this project was to determine by experimenting on a chip that where already design the ideal parameters for the dielectrophoresis of single walled carbon nanotubes. The epidemic blocking the access to the lab, the subject evolved to foc ...

2020

Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper)

Christoph Koch, Amir Shaikhha, Vojin Jovanovic

In this paper, we present a framework for generating optimizing compilers for performance-oriented embedded DSLs (EDSLs). This framework provides facilities to automatically generate the boilerplate code required for building DSL compilers on top of the ex ...

ASSOC COMPUTING MACHINERY2019

Refutation-based synthesis in SMT

Viktor Kuncak, Andrew Joseph Reynolds

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...

SPRINGER2019

On Facilitating the Modular Multilevel Converter Power Scalability Through Branch Paralleling

Drazen Dujic, Stefan Milovanovic

Modular multilevel converter current scalability challenge can be significantly alleviated by connecting its branches in parallel. In case a predefined submodule design is to be used with the aim of serving a certain span of applications, methods of achiev ...

IEEE2019

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