Work

Probabilistic Verification for Modular Network-on-Chip Systems

Year: 2026

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-032-15700-3_18

Authors: Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang

Institutions: Utah State University, University of Twente, Cadence Design Systems (United States)

Language: English

Topic: Interconnection Networks and Systems

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: National Science Foundation, Utah State University, Nederlandse Organisatie voor Wetenschappelijk Onderzoek, Interreg

Awards: Trustworthy Analysis of Stochastic Timed Systems (TruSTy), G5703716638, CNS Core: Small: Ultra Low Power Hardware AI Accelerator for Training at the Edge

OpenAlex ID: W7122844640

FWCI:

Cites: 50

Cited by:

Related to: