| 1 |
Static Analysis for BSPlib Programs ; Analyse statique des programmes BSPlib
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-02920363 ; Distributed, Parallel, and Cluster Computing [cs.DC]. Université d'Orléans, 2019. English. ⟨NNT : 2019ORLE2005⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
|
|
|
|
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
SystemJ: A GALS Language for System Level Design
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-00753512 ; Computer Languages, Systems and Structures, Elsevier, 2010, 36 (4), pp.317--344. ⟨10.1016/j.cl.2010.01.001⟩ (2010)
|
|
BASE
|
|
Show details
|
|
|
|
|
