From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems.

S. Cotard, A. Queudet, J. Béchennec, S. Faucou, и Y. Trinquet. ACM Trans. Embed. Comput. Syst., 14 (4): 66:1-66:25 (2015)

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.

Sébastien Beyou

Sébastien Tixeuil

Sébastien Lallé

Sébastien Carcanague

Sébastien Choplin

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

STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems.S. Cotard, A. Queudet, J. Béchennec, S. Faucou, и Y. Trinquet. ACM Trans. Embed. Comput. Syst., 14 (4): 66:1-66:25 (2015)Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads.H. Zahaf, I. Olmedo, J. Singh, N. Capodieci, и S. Faucou. RTNS, стр. 226-236. ACM, (2021)An ADL Centric Approach for the Formal Design of Real-Time Systems.S. Faucou, A. Déplanche, и Y. Trinquet. IFIP-WADL, том 176 из IFIP, стр. 67-82. Springer, (2004)Formal Model-Based Synthesis of Application-Specific Static RTOS.T. Gautier, J. Béchennec, S. Faucou, и O. Roux. ACM Trans. Embed. Comput. Syst., 16 (4): 97:1-97:25 (2017)Testing Real-Time Systems With Runtime Enforcement.J. Béchennec, S. Faucou, O. Roux, M. Brun, и L. Givel. IEEE Des. Test, 35 (4): 31-37 (2018)Adequacy between AUTOSAR OS specification and real-time scheduling theory.P. Hladik, A. Déplanche, S. Faucou, и Y. Trinquet. SIES, стр. 225-233. IEEE, (2007)Hardware runtime verification of embedded software in SoPC.D. Solet, J. Béchennec, M. Briday, S. Faucou, и S. Pillement. SIES, стр. 171-176. IEEE, (2016)A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR.S. Cotard, S. Faucou, J. Béchennec, A. Queudet, и Y. Trinquet. HPCC-ICESS, стр. 1508-1515. IEEE Computer Society, (2012)Operative architecture design and modelling for the validation of real-time applications.S. Faucou, A. Déplanche, и Y. Trinquet. ETFA (2), стр. 649-652. IEEE, (2001)0-7803-7241-7.Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection.D. Solet, J. Béchennec, M. Briday, S. Faucou, и S. Pillement. EDCC, стр. 25-32. IEEE Computer Society, (2018)

BibSonomy

Disambiguation