57 citations
- University of California, MercedUS3 papers
- AGH University of KrakowPL2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Institut Polytechnique de ParisFR2 papers
- Technical University of MunichDE2 papers
- Télécom ParisFR2 papers
- University of PennsylvaniaUS2 papers
- Beijing Jiaotong UniversityCN1 paper
- Birla Institute of Technology and Science, PilaniIN1 paper
- California University of PennsylvaniaUS1 paper
- Central Electronics Engineering Research InstituteIN1 paper
- Centre de Recherche en InformatiqueFR1 paper
Showing cs.NIShow all
2 papers · 1 filter
cs.NI2020
Markovian Performance Model for Token Bucket Filter with Fixed and Varying Packet Sizes
Henrik Schioler, John Leth, Shibarchi Majumder
We consider a token bucket mechanism serving a heterogeneous flow with a focus on backlog, delay and packet loss properties. Previous models have considered the case for fixed size…
cs.NI2016★ 6 cited
WNetKAT: A Weighted SDN Programming and Verification Language
Kim G. Larsen, Stefan Schmid, Bingtian Xue
Programmability and verifiability lie at the heart of the software-defined networking paradigm. While OpenFlow and its match-action concept provide primitive operations to manipula…