フォロー
Jake Silverman
Jake Silverman
Princeton University
確認したメール アドレス: princeton.edu - ホームページ
タイトル
引用先
引用先
年
Felix: Implementing traffic measurement on end hosts using program analysis
H Chen, N Foster, J Silverman, M Whittaker, B Zhang, R Zhang
Proceedings of the Symposium on SDN Research, 1-12, 2016
182016
Loop summarization with rational vector addition systems
J Silverman, Z Kincaid
International Conference on Computer Aided Verification, 97-115, 2019
162019
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–2