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