Providing formal latency guarantees for ARQ-based protocols in Networks-on-Chip.

Eberle A. Rambo Selma Saidi Rolf Ernst

Published in: DATE (2016)

Keyphrases

high bandwidth
low latency
network protocols
social networks
low cost
high density
delay tolerant
high speed
network structure
complex networks
formal specification
real time
formal model
physical design
vlsi implementation
wireless networks
analog vlsi
response time
message delivery