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/