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