nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models M Cosler, C Hahn, D Mendoza, F Schmitt, C Trippel International Conference on Computer Aided Verification, 383-396, 2023 | 40 | 2023 |
Interference-Aware Scheduling for Inference Serving D Mendoza, F Romero, Q Li, NJ Yadwadkar, C Kozyrakis Proceedings of the 1st Workshop on Machine Learning and Systems, 80-88, 2021 | 27 | 2021 |
RISC Compiler and Simulator, Release V0. 6.0: Out-of-Order Parallel Simulatable SystemC Subset G Liu, T Schmidt, Z Cheng, D Mendoza, R Dömer Technical Report CECS-TR-19-04, Center for Embedded and Cyber-physical …, 2019 | 13 | 2019 |
Pushing the Limits of Parallel Discrete Event Simulation for SystemC. R Dömer, Z Cheng, D Mendoza, E Arasteh A Journey of Embedded and Cyber-Physical Systems, 97-105, 2021 | 3 | 2021 |
Integrating Parallel SystemC Simulation into Simics (R) Virtual Platform D Mendoza, A Dingankar, Z Cheng, R Dömer Proceedings of the Design and Verification Conference in Europe, Munich, Germany, 2019 | 3 | 2019 |
A Tool for Visualization of SystemC Modules D Mendoza, R Dömer Center for Embedded and Cyber-Physical Systems, 2017 | 3 | 2017 |
Model Selection for Latency-Critical Inference Serving D Mendoza, F Romero, C Trippel Proceedings of the Nineteenth European Conference on Computer Systems, 1016-1038, 2024 | 1 | 2024 |
Lazy event prediction using defining trees and schedule bypass for out-of-order PDES D Mendoza, Z Cheng, E Arasteh, R Domer 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 885-890, 2020 | 1 | 2020 |