Concept

Programmation modulaire

Publications associées (58)

Functional Pearl: A SQL to C Compiler in 500 Lines of Code

We present the design and implementation of a SQL query processor that outperforms existing database systems and is written in just about 500 lines of Scala code - a convincing case study that high-level functional programming can handily beat C for system ...

Assoc Computing Machinery2015

Functional Pearl: A SQL to C Compiler in 500 Lines of Code’

Tiark Rompf, Nada Amin

We present the design and implementation of a SQL query processor that outperforms existing database systems and is written in just about 500 lines of Scala code – a convincing case study that high-level functional programming can handily beat C for system ...

2015

On Deductive Program Repair in Leon

Viktor Kuncak, Etienne Kneuss

We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the framework of deductive synthesis that uses existing program structure as a hint to gu ...

2015

Deductive Program Repair, Computer Aided Verification

Viktor Kuncak, Etienne Kneuss

2015

Colloidal Nanocrystal Frameworks

Raffaella Buonsanti

A review. Colloidal nanocrystal frameworks (CNFs) are a modular class of mesostructured porous materials, which are assembled from pre-formed nanocrystal building units using suitably designed block copolymer architecture-directing agents. The functional a ...

2015

Laboratory as a Service (LaaS): a Model for Developing and Implementing Remote Laboratories as Modular Components

Denis Gillet, Christophe Salzmann, Mohamed Tawfik

This contribution introduces a novel model, Laboratory as a Service (LaaS), for developing remote laboratories as independent component modules and implementing them as a set of loosely-coupled services to be consumed with a high level of abstraction and v ...

IEEE2014

Numerical analysis of JET discharges with the European Transport Simulator

Olivier Sauter, Javier García Hernández, Antonio José Pereira de Figueiredo

The 'European Transport Simulator' (ETS) (Coster et al 2010 IEEE Trans. Plasma Sci. 38 2085-92, Kalupin et al 2011 Proc. 38th EPS Conf. on Plasma Physics (Strasbourg, France, 2011) vol 35G (ECA) P. 4.111) is the new modular package for 1D discharge evoluti ...

Iop Publishing Ltd2013

Modular Control of Limit Cycle Locomotion over Unperceived Rough Terrain

Auke Ijspeert, Alexander Spröwitz, Mostafa Ajallooeian, Alexandre Tuleu, Sébastien Gay

We present a general approach to design modular controllers for limit cycle locomotion over unperceived rough terrain. The control strategy uses a Central Pattern Generator (CPG) model implemented as coupled nonlinear oscillators as basis. Stumbling correc ...

2013

Modular Control of Limit Cycle Locomotion over Unperceived Rough Terrain

Auke Ijspeert, Mostafa Ajallooeian, Alexandre Tuleu, Sébastien Gay

Ieee2013

For Coordination, State Component Transitions

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

Coordinating component behaviour and, in particular, concurrent access to resources is among the key difficulties of building large concurrent systems. To address this, developers must be able to manipulate high-level concepts, such as Finite State Machine ...

2013

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