Humberto Carvalho

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 3

Top Topics

Discrete Event Simulation

Safety Critical

Top Venues

Publications

Humberto Carvalho, Pavel Zaykov, Asim Ukaye
Leveraging the HW/SW Optimizations and Ecosystems that Drive the AI Revolution. CoRR (2022)
Humberto Carvalho, Geoffrey Nelissen, Pavel Zaykov
mcQEMU: Time-Accurate Simulation of Multi-core platforms using QEMU. DSD (2020)
Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo Tovar
Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems. RTAS (2016)