Methodology for formal design of hardware control with application to cache coherence protocols
- Cindy Eisner
- Irit Shitsevalov
- et al.
- 2000
- DAC 2000
Publications
Date
Featured collections
Popular topics
7 results for Kenneth M. Valk
Integration and QoS of multicast traffic in a server-rack fabric with 640 100G ports
- Nikolaos Chrysos
- Fredy Neeser
- et al.
- 2014
- ANCS 2014
Arbitration of many thousand flows at 100G and beyond
- Nikolaos Chrysos
- Fredy Neeser
- et al.
- 2013
- INA-OCMC 2013
Occupancy sampling for terabit CEE switches
- Fredy D. Neeser
- Nikolaos I. Chrysos
- et al.
- 2012
- HOTI 2012
Unbiased Quantized Congestion Notification for Scalable Server Fabrics
- Nikolaos Chrysos
- Fredy Neeser
- et al.
- 2016
- IEEE Micro
Large switches or blocking multi-stage networks? An evaluation of routing strategies for datacenter fabrics
- Nikolaos Chrysos
- Fredy Neeser
- et al.
- 2015
- Computer Networks
Tandem queue weighted fair smooth scheduling
- Nikolaos Chrysos
- Fredy Neeser
- et al.
- 2014
- Des Autom Embedded Syst