Filtrer vos résultats
- 59
- 27
- 9
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 33
- 26
- 25
- 20
- 19
- 16
- 13
- 11
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 78
- 21
- 15
- 15
- 7
- 4
- 4
- 2
- 1
- 37
- 21
- 15
- 14
- 13
- 13
- 12
- 7
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 105
- 79
- 67
- 65
- 65
- 60
- 60
- 59
- 57
- 57
- 45
- 38
- 31
- 31
- 31
- 30
- 30
- 25
- 25
- 25
- 25
- 22
- 22
- 21
- 21
- 20
- 20
- 20
- 20
- 20
- 20
- 19
- 19
- 19
- 19
- 18
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 11
- 11
- 10
- 9
- 9
- 9
- 9
- 9
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 88
- 21
- 69
- 38
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 2
- 3
- 2
- 1
- 3
- 1
- 3
- 3
- 3
- 6
- 2
- 5
- 3
- 12
- 12
- 10
- 9
- 6
- 6
- 6
- 1
109 résultats
Chili, Mexique et Républiques latino-américaines : entre Histoire et imaginaireShäker Verlag, 2020, 9783844076844
Ouvrage (y compris édition critique et traduction)
hal-03541030v1
|
|||
Un Simulateur Synchrone pour Lucid SynchroneJournées Francophones des Langages Applicatifs (JFLA), Feb 1999, Avoriaz, France
Communication dans un congrès
hal-01574461v1
|
|||
Type-based Initialization Analysis of a Synchronous Data-flow LanguageInternational Journal on Software Tools for Technology Transfer, 2004, 6 (3), pp.245-255. ⟨10.1007/s10009-004-0160-y⟩
Article dans une revue
istex
hal-01195848v1
|
|||
Towards a Higher-order Synchronous Data-flow LanguageACM Fourth International Conference on Embedded Software (EMSOFT'04), Sep 2004, Pisa, Italy. pp.230-239, ⟨10.1145/1017753.1017792⟩
Communication dans un congrès
hal-01520545v1
|
|||
Lucid Synchrone: une extension fonctionnelle de LustreJournées Francophones des Langages Applicatifs (JFLA), Feb 1999, Avoriaz, France
Communication dans un congrès
hal-01574464v1
|
|||
|
|
Type-based Initialization of a Synchronous Data-flow LanguageSLAP 2002 - Synchronous Languages, Applications, and Programming, Apr 2002, Grenoble, France. pp.65-78, ⟨10.1016/S1571-0661(05)80441-4⟩
Communication dans un congrès
hal-01548143v1
|
||
Clocks as First Class Abstract TypesThird International Conference on Embedded Software (EMSOFT'03), Oct 2003, Philadelphia, Pennsylvania, United States. pp.134-155, ⟨10.1007/978-3-540-45212-6_10⟩
Communication dans un congrès
istex
hal-01532002v1
|
|||
ReactiveML, a Reactive Extension to MLPPDP 2005 - ACM International Conference on Principles and Practice of Declarative Programming, Jul 2005, Lisboa, Portugal. pp.82-93, ⟨10.1145/1069774.1069782⟩
Communication dans un congrès
hal-01489747v1
|
|||
Modular Resetting of Synchronous Data-flow ProgramsACM International conference on Principles of Declarative Programming (PPDP'00), Sep 2000, Montreal, Canada. ⟨10.1145/351268.351300⟩
Communication dans un congrès
hal-01573195v1
|
|||
|
|
Modular Causality in a Synchronous Stream Language10th European Symposium on Programming (ESOP'01), Apr 2001, Genova, Italy. pp.237-251, ⟨10.1007/3-540-45309-1_16⟩
Communication dans un congrès
hal-01571760v1
|
||
|
|
A Co-iterative Characterization of Synchronous Stream FunctionsWorkshop on Coalgebraic Methods in Computer Science (CMCS'98), Mar 1998, Lisbon, Portugal. pp.1-21, ⟨10.1016/S1571-0661(04)00050-7⟩
Communication dans un congrès
hal-01622305v1
|
||
Factors affecting functional outcome after autologous skeletal myoblast transplantationAnnals of Thoracic Surgery, 2001, 71 (3), pp.844-851. ⟨10.1016/s0003-4975(00)01785-9⟩
Article dans une revue
hal-03824418v1
|
|||
Presentation of some results of the Concerted Action on the management of oilseed crops in the European UnionOléagineux, Corps Gras, Lipides, 1999, 6 (1), pp.6-21
Article dans une revue
hal-02695698v1
|
|||
|
|
Lucid Synchrone, version 3[Research Report] Université Paris Sud Orsay; Laboratoire de Recherche en Informatique [LRI], UMR 8623, Bâtiments 650-660, Université Paris-Sud, 91405 Orsay Cedex. 2006
Rapport
hal-03090137v1
|
||
|
|
Synchronizing Periodic Clocks in Kahn Networks[Research Report] RR-5603, INRIA. 2005, pp.38
Rapport
inria-00070404v1
|
||
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compilerProceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Beijing, China. pp.51--60, ⟨10.1145/2248418.2248426⟩
Communication dans un congrès
hal-00728527v1
|
|||
|
|
Programmation d'Applications Réactives ProbabilistesJFLA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Communication dans un congrès
hal-03051964v1
|
||
Programming Parallelism with Futures in LustreEMSOFT '12 Proceedings of the tenth ACM international conference on Embedded software, Oct 2012, Tampere, Finland, Finland. pp.197-206, ⟨10.1145/2380356.2380394⟩
Communication dans un congrès
hal-00786682v1
|
|||
|
|
From hydrophilic to hydrophobic wood using direct fluorination: A localized treatmentComptes Rendus. Chimie, 2018, 21 (8), pp.800-807. ⟨10.1016/j.crci.2018.03.009⟩
Article dans une revue
hal-01841235v1
|
||
|
|
Soundness of the Quasi-Synchronous Abstraction[Research Report] RR-8755, INRIA Paris-Rocquencourt; INRIA. 2015, pp.19
Rapport
hal-01175571v2
|
||
|
|
Lucy-n: a n-Synchronous Extension of LustreTenth International Conference on Mathematics of Program Construction (MPC 2010), Jun 2010, Québec, Canada, France. pp.288-309
Communication dans un congrès
hal-00545801v1
|
||
|
|
Lucy-n~: une extension n-synchrone de LustreVingt-et-unièmes Journées Francophones des Langages Applicatifs, Jan 2010, Vieux-Port La Ciotat, France, France. pp.275-306
Communication dans un congrès
hal-00545802v1
|
||
Time Refinement in a Functional Synchronous LanguageScience of Computer Programming, 2015
Article dans une revue
hal-01242733v1
|
|||
|
|
Normalisation vérifiée du langage LustreJFLA 2021 - 32ème Journées Francophones des Langages Applicatifs, Yann Régis-Gianas et Chantal Keller, Apr 2021, En ligne, France. pp.117-133
Communication dans un congrès
hal-03287572v1
|
||
A Synchronous-based Code Generator For Explicit Hybrid Systems LanguagesInternational Conference on Compiler Construction (CC), Jul 2015, London, United Kingdom
Communication dans un congrès
hal-01242732v1
|
|||
|
|
Scade 6: A Formal Language for Embedded Critical Software DevelopmentTASE 2017 - 11th International Symposium on Theoretical Aspects of Software Engineering, Sep 2017, Nice, France. pp.1-10
Communication dans un congrès
hal-01666470v1
|
||
|
|
Static Scheduling of Latency Insensitive Designs with Lucy-nFMCAD 2011 - Formal Methods in Computer Aided Design, Oct 2011, Austin, TX, United States
Communication dans un congrès
hal-00654843v1
|
||
|
|
Fluorination renders the wood surface hydrophobic without any loss of physical and mechanical propertiesIndustrial Crops and Products, 2019, 133, pp.133-141. ⟨10.1016/j.indcrop.2019.02.044⟩
Article dans une revue
hal-02181059v1
|
||
|
|
Zélus: A Synchronous Language with ODEsHSCC - 16th International Conference on Hybrid systems: computation and control, Calin Belta and Franjo Ivančić, Apr 2013, Philadelphia, United States. pp.113-118, ⟨10.1145/2461328.2461348⟩
Communication dans un congrès
hal-00909029v1
|
||
|
|
Soundness of the Quasi-Synchronous AbstractionFormal Methods in Computer-Aided Design (FMCAD), Oct 2016, Mountain View, CA, United States. pp.9-16
Communication dans un congrès
hal-01408208v1
|