SlimFlit: A simple Network-on-Chip for Real-Time Systems
(si apre in una nuova finestra)
Autori:
Tjark Petersen, Voica Gavrilut, Luca Pezzarossa, Martin Schoeberl
Pubblicato in:
2026 29th International Symposium on Real-Time Distributed Computing (ISORC), 2026
Editore:
IEEE
DOI:
10.1109/ISORC70347.2026.11605558
GenAI-Driven Approach to RISC-V Supply Chain Exploration
Autori:
Nenad Petrovic, Andre Schamschurko, Yingjie Xu, Alois Knoll
Pubblicato in:
IntelliSys, Numero 2026, 2026
Editore:
The Science and Information (SAI) Organization
Evaluating the Impact of a Vector Co-Processor on a Memory System through Hybrid Simulation
(si apre in una nuova finestra)
Autori:
J Parker Jones, Daniel Mueller-Gritschneder
Pubblicato in:
Proceedings of the 23rd ACM International Conference on Computing Frontiers: Workshops and Special Sessions, 2026
Editore:
ACM
DOI:
10.1145/3801488.3806235
Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
Autori:
Aman Kumar, Deepak Narayan Gadde, Luu Danh Minh, Vaisakh Naduvodi Viswambharan, Keerthan Kopparam Radhakrishna, Sivaram Pothireddypalli
Pubblicato in:
2026
Editore:
arxiv.org
Automated Deployment of Real-Time Tasks for Phased Execution on Scratchpad-Based Multicore Platforms
(si apre in una nuova finestra)
Autori:
Konstantin Dudzik, Maximilian Kirschner, Jürgen Becker
Pubblicato in:
2025 IEEE 18th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC), 2025
Editore:
IEEE
DOI:
10.1109/MCSOC67473.2025.00092
Agentic AI-based Coverage Closure for Formal Verification
Autori:
Sivaram Pothireddypalli, Ashish Raman, Deepak Narayan Gadde, Aman Kumar
Pubblicato in:
2026
Editore:
arxiv.org
CAGE-V: Confidential Computing Architecture supporting Guest Enclaves for RISC-V
(si apre in una nuova finestra)
Autori:
Moritz Waser, Paul Gollob, Martin Unterguggenberger, Stefan Mangard
Pubblicato in:
Proceedings of the ACM Asia Conference on Computer and Communications Security, 2026
Editore:
ACM
DOI:
10.1145/3779208.3807479
Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification
Autori:
Vaisakh Naduvodi Viswambharan, Keerthan Kopparam Radhakrishna, Deepak Narayan Gadde, Aman Kumar
Pubblicato in:
2026
Editore:
arxiv.org
