( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal semantics of behavior specifications in the architecture analysis and design language standard.

, , , , , , и . HLDVT, стр. 30-39. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Gautier Meyer

William Gautier

Andre Gautier

Gautier Bastide

Gautier Laurent

 

Другие публикации лиц с тем же именем

Optimized distribution of synchronous programs via a polychronous model., , и . MEMOCODE, стр. 42-51. IEEE, (2014)Performance and energy analysis of OpenMP runtime systems with dense linear algebra algorithms., , , и . Int. J. High Perform. Comput. Appl., (2019)Flagging incorrect nucleotide sequence reagents in biomedical papers: To what extent does the leading publication format impede automatic error detection?, , , , , и . Scientometrics, 124 (2): 1139-1156 (2020)Parallel Computing for Irregular Applications., , и . HPCA, стр. 321. IEEE Computer Society, (1999)From Synchronous Intensional Programming to Efficient Implementation., и . RTSS, стр. 249-257. IEEE Computer Society, (1989)LTSs for translation validation of (multi-clocked) SIGNAL specifications., , , и . MEMOCODE, стр. 199-208. IEEE Computer Society, (2010)Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools., , , , и . SCOPES, стр. 109-112. ACM, (2015)Toward Efficient Many-core Scheduling of Partial Expansion Graphs., , , и . SCOPES, стр. 100-103. ACM, (2018)An ML-Like Module System for the Synchronous Language SIGNAL., , , и . Euro-Par, том 1300 из Lecture Notes in Computer Science, стр. 1244-1253. Springer, (1997)Towards SMV Model Checking of Signal (multi-clocked) Specifications., и . ECEASST, (2009)