CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer

Thumbnail
Metadata only
Author
Häcki, Roni
Humbel, Lukas
Achermann, Reto
Cock, David
Schwyn, Danielcc
Roscoe, Timothy
Show all
Date
2019-11-20
Type
    Working Paper
Publication status
published
External links
Journal / series
arXiv
Pages / Article No.
1911.08773
Publisher
Cornell University
Organisational unit
03757 - Roscoe, Timothy / Roscoe, Timothy  
More
Show all metadata
ETH Bibliography
yes
Altmetrics