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

A Deep Learning Perspective on Network Routing:

Perry, Yarin ; Frujeri, Felipe Vieira ; Hoch, Chaim...
http://arxiv.org/abs/2303.00735.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

Verifying Generalization in Deep Learning:

Amir, Guy ; Maayan, Osher ; Zelazny, Tom..
http://arxiv.org/abs/2302.05745.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

Revitalizing the public internet by making it extensible:

Balakrishnan, Hari ; Banerjee, Sujata ; Cidon, Israel...
10.1145/3464994.3464998.  , 2022
Link: https://hdl.handle.net/1..
 
?
4

Leveraging eBPF to Make TCP Path-Aware:

Jadin, Mathieu ; De Coninck, Quentin ; Navarre, Louis..
boreal:260968.  , 2022
Link: http://hdl.handle.net/20..
 
?
5

Leveraging eBPF to Make TCP Path-Aware:

Jadin, Mathieu ; De Coninck, Quentin ; Navarre, Louis..
boreal:260968.  , 2022
Link: http://hdl.handle.net/20..
 
?
6

Verification-Aided Deep Ensemble Selection:

Amir, Guy ; Zelazny, Tom ; Katz, Guy.
http://arxiv.org/abs/2202.03898.  , 2022
Link: http://arxiv.org/abs/220..
 
?
7

Verification-Aided Deep Ensemble Selection: Artifact:

Amir, Guy ; Zelazny, Tom ; Katz, Guy.
doi:10.5281/zenodo.6557082.  , 2022
Link: https://zenodo.org/recor..
 
?
8

Towards Scalable Verification of Deep Reinforcement Learnin:

Amir, Guy ; Schapira, Michael ; Katz, Guy
Conference Series: Formal Methods in Computer-Aided Design.  , 2021
Link: https://hdl.handle.net/2..
 
?
9

whiRL 2.0 verification tool for deep reinforcement-learning..:

Amir, Guy ; Schapira, Michael ; Katz, Guy
doi:10.5281/zenodo.4769611.  , 2021
Link: https://zenodo.org/recor..
 
?
10

Towards Scalable Verification of Deep Reinforcement Learnin:

Amir, Guy ; Schapira, Michael ; Katz, Guy
http://arxiv.org/abs/2105.11931.  , 2021
Link: http://arxiv.org/abs/210..
 
?
11

Online Safety Assurance for Deep Reinforcement Learning:

Rotman, Noga H ; Schapira, Michael ; Tamar, Aviv
http://arxiv.org/abs/2010.03625.  , 2020
Link: http://arxiv.org/abs/201..
 
?
12

On the Resiliency of Static Forwarding Tables:

Chiesa, Marco ; Nikolaevskiy, Ilya ; Mitrovic, Slobodan...
10.1109/TNET.2016.2619398.  , 2019
Link: https://hdl.handle.net/1..
 
?
13

The quest for resilient (static) forwarding tables:

Chiesa, Marco ; Nikolaevskiy, Ilya ; Mitrovic, Slobodan...
10.1109/infocom.2016.7524552.  , 2019
Link: https://hdl.handle.net/1..
 
?
14

Large Low-Diameter Graphs are Good Expanders:

Dinitz, Michael ; Schapira, Michael ; Shahaf, Gal
doi:10.4230/LIPIcs.ESA.2018.71.  , 2018
Link: https://doi.org/10.4230/..
 
?
15

Pied Piper: Rethinking Internet Data Delivery:

Bergman, Aran ; Cidon, Israel ; Keslassy, Isaac...
http://arxiv.org/abs/1812.05582.  , 2018
Link: http://arxiv.org/abs/181..
 
1-15