Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Schapira, Michael
322  Ergebnisse:
Personensuche X
?
1

Verifying Generalization in Deep Learning:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Amir, Guy ; Maayan, Osher ; Zelazny, Tom.. - p. 438-455 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Network congestion control and its impact on video streamin..:

, In: Proceedings of the 1st Mile-High Video Conference,
Hadar, Ravid ; Schapira, Michael - p. 111 ff. , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Verification-Aided Deep Ensemble Selection:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Amir, Guy ; Zelazny, Tom ; Katz, Guy. - p. 27-37 , 2022
Link: https://doi.org/10.34727..
 
?
4

Revitalizing the public internet by making it extensible:

Balakrishnan, Hari ; Banerjee, Sujata ; Cidon, Israel...
ACM SIGCOMM Computer Communication Review.  51 (2021)  2 - p. 18-24 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Revitalizing the public internet by making it extensible:

Balakrishnan, Hari ; Banerjee, Sujata ; Cidon, Israel...
ACM SIGCOMM Computer Communication Review.  51 (2021)  2 - p. 18-24 , 2021
Link: https://doi.org/10.1145/..
 
?
6

Verifying learning-augmented systems:

, In: Proceedings of the 2021 ACM SIGCOMM 2021 Conference,
Eliyahu, Tomer ; Kazak, Yafim ; Katz, Guy. - p. 305-318 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Toward greater scavenger congestion control deployment :..:

, In: Proceedings of the Applied Networking Research Workshop,
Meng, Tong ; Cai, Christopher ; Godfrey, Brighten. - p. 59-61 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Online Safety Assurance for Learning-Augmented Systems:

, In: Proceedings of the 19th ACM Workshop on Hot Topics in Networks,
Rotman, Noga H. ; Schapira, Michael ; Tamar, Aviv - p. 88-95 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

MPCC : online learning multipath transport:

, In: Proceedings of the 16th International Conference on emerging Networking EXperiments and Technologies,
Gilad, Tomer ; Rozen-Schiff, Neta ; Godfrey, P. Brighten.. - p. 121-135 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

A Public Option for the Core:

, In: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication,
Harchol, Yotam ; Bergemann, Dirk ; Feamster, Nick... - p. 377-389 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

On the Future of Congestion Control for the Public Internet:

, In: Proceedings of the 19th ACM Workshop on Hot Topics in Networks,
Brown, Lloyd ; Ananthanarayanan, Ganesh ; Katz-Bassett, Ethan... - p. 30-37 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Approximate Moore Graphs are good expanders:

Dinitz, Michael ; Schapira, Michael ; Shahaf, Gal
Journal of Combinatorial Theory, Series B.  141 (2020)  - p. 240-263 , 2020
Link: https://doi.org/10.1016/..
 
?
13

Involuntary human exposure to carbamazepine: A cross-sectio..:

Schapira, Michael ; Manor, Orly ; Golan, Naama...
Environment International.  143 (2020)  - p. 105951 , 2020
Link: https://doi.org/10.1016/..
 
?
14

PCC Proteus : Scavenger Transport And Beyond:

, In: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication,
Meng, Tong ; Schiff, Neta Rozen ; Godfrey, P. Brighten. - p. 615-631 , 2020
Link: https://dl.acm.org/doi/1..
 
?
15

Axiomatizing Congestion Control:

Zarchy, Doron ; Mittal, Radhika ; Schapira, Michael.
Proceedings of the ACM on Measurement and Analysis of Computing Systems.  3 (2019)  2 - p. 1-33 , 2019
Link: https://dl.acm.org/doi/1..
 
1-15