Obserwuj
Christian Menard
Christian Menard
Chair for Compiler Construction, TU Dresden
Zweryfikowany adres z tu-dresden.de - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
The gem5 simulator: Version 20.0+
J Lowe-Power, AM Ahmad, A Akram, M Alian, R Amslinger, M Andreozzi, ...
arXiv preprint arXiv:2007.03152, 2020
3412020
Toward a Lingua Franca for Deterministic Concurrent Systems
M Lohstroh, C Menard, S Bateni, EA Lee
ACM Transactions on Embedded Computing Systems (TECS) 20 (4), 1-27, 2021
1142021
System simulation with gem5 and systemc: The keystone for full interoperability
C Menard, J Castrillon, M Jung, N Wehn
2017 International Conference on Embedded Computer Systems: Architectures …, 2017
612017
Achieving determinism in adaptive AUTOSAR
C Menard, A Goens, M Lohstroh, J Castrillon
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 822-827, 2020
392020
A hardware/software stack for heterogeneous systems
J Castrillon, M Lieber, S Klüppelholz, M Voelp, N Asmussen, U Assmann, ...
IEEE Transactions on Multi-Scale Computing Systems 4 (3), 243-259, 2018
382018
A Language for Deterministic Coordination Across Multiple Timelines
M Lohstroh, C Menard, A Schulz-Rosengarten, M Weber, J Castrillon, ...
2020 Forum for Specification and Design Languages (FDL), 1-8, 2020
292020
High-Performance Deterministic Concurrency using Lingua Franca
C Menard, M Lohstroh, S Bateni, M Chorlian, A Deng, P Donovan, ...
arXiv preprint arXiv:2301.02444, 2023
282023
Quantifying and Generalizing the CAP Theorem
EA Lee, S Bateni, S Lin, M Lohstroh, C Menard
arXiv preprint arXiv:2109.07771, 2021
222021
Pragmatics twelve years later: a report on Lingua Franca
R von Hanxleden, EA Lee, H Fuhrmann, A Schulz-Rosengarten, ...
International Symposium on Leveraging Applications of Formal Methods, 60-89, 2022
202022
Domain-specific hybrid mapping for energy-efficient baseband processing in wireless networks
R Khasanov, J Robledo, C Menard, A Goens, J Castrillon
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-26, 2021
162021
Efficient STT-RAM last-level-cache architecture to replace DRAM cache
F Hameed, C Menard, J Castrillon
Proceedings of the International Symposium on Memory Systems, 141-151, 2017
162017
Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach
R Wittig, A Goens, C Menard, E Matus, GP Fettweis, J Castrillon
2020 27th International Conference on Telecommunications (ICT), 1-5, 2020
142020
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
S Bateni, M Lohstroh, HS Wong, H Kim, S Lin, C Menard, EA Lee
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023
132023
Consistency vs. Availability in Distributed Cyber-Physical Systems
EA Lee, R Akella, S Bateni, S Lin, M Lohstroh, C Menard
ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023
132023
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems
S Bateni, M Lohstroh, HS Wong, R Tabish, H Kim, S Lin, C Menard, C Liu, ...
arXiv preprint arXiv:2207.09555, 2022
132022
Mocasin—Rapid Prototyping of Rapid Prototyping Tools: A Framework for Exploring New Approaches in Mapping Software to Heterogeneous Multi-cores
C Menard, A Goens, G Hempel, R Khasanov, J Robledo, F Teweleitt, ...
Proceedings of the 2021 Drone Systems Engineering and Rapid Simulation and …, 2021
132021
On the Representation of Mappings to Multicores
A Goens, C Menard, J Castrillon
2018 IEEE 12th International Symposium on Embedded Multicore/Many-core …, 2018
132018
Dataflow Models of computation for programming heterogeneous multicores
J Castrillon, K Desnos, A Goens, C Menard
Handbook of Computer Architecture, 1107-1146, 2024
82024
Deterministic coordination across multiple timelines
M Lohstroh, S Bateni, C Menard, A Schulz-Rosengarten, J Castrillon, ...
ACM Transactions on Embedded Computing Systems 23 (5), 1-29, 2024
72024
Trading Off Consistency and Availability in Tiered Heterogeneous Distributed Systems
EA Lee, S Bateni, S Lin, M Lohstroh, C Menard
Intelligent Computing 2, 0013, 2023
72023
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20