Programmation modulaire

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

Publications associées (24)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Deductive Program Repair, Computer Aided Verification

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

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

Page 3 sur 3