학술논문
'학술논문'
에서 검색결과 32건 | 목록
1~10
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
Conference
Rouxel, B.; Brown, C.; Ebeid, E.; Eder, K.; Falk, H.; Grelck, C.; Holst, J.; Jadhav, S.; Marquer, Y.; De Alejandro, M.M.; Nikov, K.; Sahafi, A.; Lundquist, U.P.S.; Seewald, A.; Vassalos, V.; Wegener, S.; Zendra, O.
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023. :1-6 Apr, 2023
Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution.
Academic Journal
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming . (Journal of Logical and Algebraic Methods in Programming, December 2019, 109)
Academic Journal
In: Fundamenta Informaticae . (Fundamenta Informaticae, 2019, 168(1):51-77)
Conference
In: PEPM 2022 - Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2022 , PEPM 2022 - Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2022. (PEPM 2022 - Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2022, 17 January 2022, :14-27)
Conference
In: Proceedings - Symposium on Computer Arithmetic , Proceedings - 2020 IEEE 27th Symposium on Computer Arithmetic, ARITH 2020. (Proceedings - Symposium on Computer Arithmetic, June 2020, 2020-June:56-63)
Conference
In: ACM International Conference Proceeding Series , Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019. (ACM International Conference Proceeding Series, 7 October 2019)
Conference
In: Proceedings - 2018 International Conference on High Performance Computing and Simulation, HPCS 2018 , Proceedings - 2018 International Conference on High Performance Computing and Simulation, HPCS 2018. (Proceedings - 2018 International Conference on High Performance Computing and Simulation, HPCS 2018, 29 October 2018, :740-747)
Book
In: Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11336 LNCS:72-88)
Academic Journal
In: Anatomia Clinica . (Anatomia Clinica, March 1984, 6(1):12-13)
검색 결과 제한하기
제한된 항목
[AR] Marquer, Y.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어