Accueil
Déposer
S'authentifier
S'inscrire
Consulter
Par domaine
Les 30 derniers dépôts
Par date de publication/rédaction
Par type de publication
Par collection
ArXiv
Rechercher
Recherche simple
Recherche avancée
Recherche par identifiant
Services
S'abonner
Exporter une liste de publication
Consulter les laboratoires connus de HAL
HalTools : Bib2Hal
HalTools : Export raweb
HalTools : créer sa page web
HalTools : gérer ses identités
Ajout de vignette, video ou annexe
Aide
Aide
FAQ
A propos
version française
english version
Nombre de documents trouvés : 9 documents
Static Scheduling of Latency Insensitive Designs with Lucy-n
Mandel L., Plateau F., Pouzet M.
Dans FMCAD 2011 - Formal Methods in Computer Aided Design (2011) [hal-00654843 - version 1]
A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code
Benveniste A., Bourke T., Caillaud B., Pouzet M.
Dans Embedded Software (EMSOFT), 2011 (2011) [hal-00654113 - version 1]
Divide and recycle: types and compilation for a hybrid synchronous language
Benveniste A., Bourke T., Caillaud B., Pouzet M.
Dans Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011 (2011) [hal-00654112 - version 1]
The Fundamentals of Hybrid Systems Modelers
Benveniste A., Caillaud B., Pouzet M.
Dans 49th IEEE Conference on Decision and Control (CDC 2010) (2010) [inria-00554271 - version 1]
Lucy-n~: une extension n-synchrone de Lustre
Mandel L., Plateau F., Pouzet M.
Dans Vingt-et-unièmes Journées Francophones des Langages Applicatifs (2010) 275-306 [hal-00545802 - version 1]
Lucy-n: a n-Synchronous Extension of Lustre
Mandel L., Plateau F., Pouzet M.
Dans Tenth International Conference on Mathematics of Program Construction (MPC 2010) (2010) 288-309 [hal-00545801 - version 1]
Relaxing Synchronous Composition with Clock Abstraction
Cohen A., Mandel L., Plateau F., Pouzet M.
Dans Hardware Design and Functional Languages Workshop (2009) [hal-00645333 - version 1]
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
Delaval G., Girault A., Pouzet M.
N° RR-6378 (2007) [inria-00193731 - version 2]
Synchronizing Periodic Clocks in Kahn Networks
Cohen A., Duranton M., Eisenbeis C., Pagetti C., Plateau F., Pouzet M.
N° RR-5603 (2005) [inria-00070404 - version 1]
L'URL de cette page est :
http://hal.inria.fr/aut/marc pouzet/
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...