Concept

Compile time

Publications associées (50)

Accelerating parser combinators with macros

Parser combinators provide an elegant way of writing parsers: parser implementations closely follow the structure of the underlying grammar, while accommodating interleaved host language code for data processing. However, the host language features used fo ...

ACM Press2014

Using Reified Types for Specialization

Nicolas Alexander Stucki

Generic code increases programmer productivity as it increases code reuse. For example, the LinkedList abstraction can be used in many contexts, from storing a list of numbers to storing representations of files on the disk. Unfortunately this comes at the ...

2013

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Martin Odersky, Philipp Haller, Eugene Burmako

As more applications migrate to the cloud, and as “big data” edges into even more production environments, the performance and simplicity of exchanging data between compute nodes/devices is increasing in importance. An issue central to distributed programm ...

2013

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Martin Odersky, Philipp Haller, Eugene Burmako

As more applications migrate to the cloud, and as "big data" edges into even more production environments, the performance and simplicity of exchanging data between compute nodes/devices is increasing in importance. An issue central to distributed programm ...

Assoc Computing Machinery2013

Synthesis and optimization of high-level stream programs

Marco Mattavelli, Simone Casale Brunet, Endri Bezati

In this paper we address the problem of translating high-level stream programs, such as those written in MPEG's RVC-CAL dataflow language, into implementations in programmable hardware. Our focus is on two aspects: sufficient language coverage to make synt ...

2013

Synthesis And Optimization Of High-Level Stream Programs

Marco Mattavelli, Simone Casale Brunet, Endri Bezati

Ieee2013

Robust Activity Recognition Combining Anomaly Detection and Classifier Retraining

José del Rocio Millán Ruiz, Ricardo Andres Chavarriaga Lozano, Hesam Sagha, Daniel Roggen

Activity recognition systems based on body-worn motion sensors suffer from a decrease in performance during the deployment and run-time phases, because of probable changes in the sensors (e.g. displacement or rotation), which is the case in many real-life ...

2013

Robust Activity Recognition Combining Anomaly Detection and Classifier Retraining

José del Rocio Millán Ruiz, Ricardo Andres Chavarriaga Lozano, Hesam Sagha, Daniel Roggen

IEEE2013

Programming with Specifications

Philippe Paul Henri Suter

This thesis explores the use of specifications for the construction of correct programs. We go beyond their standard use as run-time assertions, and present algorithms, techniques and implementations for the tasks of 1) program verification, 2) declarative ...

EPFL2012

Isogeometric Analysis of PDEs and numerical implementation in the Finite Element Library LifeV

Nicolò Pagan

The aim of the project is double: to understand the flexibility of the Isogeometric Analysis tools through the solution of some PDEs problems; to test the improvement in the computational time given by a partial loops vectorization at compile-time of the L ...

2012

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