Filtrer vos résultats
- 8
- 4
- 6
- 2
- 1
- 1
- 1
- 1
- 2
- 12
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 10
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 5
- 4
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
12 résultats
|
|
triés par
|
|
A synchronous functional language with integer clocksComputation and Language [cs.CL]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE020⟩
Thèse
tel-01490431v1
|
||
|
JFLA 2024 - 35es Journées Francophones des Langages Applicatifs35es Journées Francophones des Langages Applicatifs (JFLA 2024), pp.1-328, 2024
Proceedings/Recueil des communications
hal-04407194v1
|
||
|
Réseaux de Kahn à rafales et horloges entièresJFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
Communication dans un congrès
hal-00919281v1
|
||
|
Synchronous Machines: a Traced Category[Research Report] 2012
Rapport
hal-00748010v3
|
||
|
Correct and Efficient Bounded FIFO Queues[Research Report] RR-8365, INRIA. 2013
Rapport
hal-00862450v1
|
||
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
|
|||
|
Correct and Efficient Bounded FIFO QueuesSBAC-PAD 2013 : International Symposium on Computer Architecture and High Performance Computing, Oct 2013, Porto de Galinhas, Brazil
Communication dans un congrès
hal-00911893v1
|
||
|
Heartbeat scheduling: provable efficiency for nested parallelismPLDI’18 - 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2018, Philadelphia, United States. ⟨10.1145/3192366.3192391⟩
Communication dans un congrès
hal-01937946v1
|
||
|
Energy-Aware Parallelization Flow and Toolset for C CodeSCOPES 2014 - 17th International Workshop on Software and Compilers for Embedded Systems, Jun 2014, Saint Goar, Germany. ⟨10.1145/2609248.2609264⟩
Communication dans un congrès
hal-01257245v1
|
||
Improving the Design Flow for Parallel and Heterogeneous Architectures running Real-Time applications: The PHARAON FP7 projectMicroprocessors and Microsystems: Embedded Hardware Design , 2014, MICPRO2141
Article dans une revue
hal-01257252v1
|
|||
|
33èmes journées francophones des langages applicatifsOuvrages hal-03689075v1 |
||
The PHARAON project: Parallel and Heterogeneous Architecture for Real-Time ApplicationsEuromicro Conference on Digital System Design (DSD), 2013, Santander, Spain
Communication dans un congrès
hal-01257259v1
|