Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Abadi, Martín
253  Ergebnisse:
Personensuche X
?
1

Smart Choices and the Selection Monad:

Abadi, Martin ; Plotkin, Gordon
Logical Methods in Computer Science.  19, Issue 2 (2023)  - p. , 2023
Link: https://doi.org/10.46298..
 
?
2

Falkirk Wheel : Rollback Recovery for Dataflow Systems:

, In: Proceedings of the ACM Symposium on Cloud Computing,
Gog, Ionel ; Isard, Michael ; Abadi, Martín - p. 373-387 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

Smart choices and the selection monad:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Abadi, Martín ; Plotkin, Gordon - p. 1-14 , 2021
Link: https://dl.acm.org/doi/1..
 
?
4

A simple differentiable programming language:

Abadi, Martín ; Plotkin, Gordon D.
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-28 , 2019
Link: https://doi.org/10.1145/..
 
?
5

A simple differentiable programming language:

Abadi, Martín ; Plotkin, Gordon D.
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-28 , 2019
Link: https://dl.acm.org/doi/1..
 
?
6

Dynamic control flow in large-scale machine learning:

, In: Proceedings of the Thirteenth EuroSys Conference,
Yu, Yuan ; Abadi, Martín ; Barham, Paul... - p. 1-15 , 2018
Link: https://dl.acm.org/doi/1..
 
?
7

A computational model for TensorFlow: an introduction:

, In: Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages,
Abadi, Martín ; Isard, Michael ; Murray, Derek G. - p. 1-7 , 2017
Link: https://dl.acm.org/doi/1..
 
?
8

The Applied Pi Calculus: Mobile Values, New Names, and Secu..:

Abadi, Martín ; Blanchet, Bruno ; Fournet, Cédric
Journal of the ACM.  65 (2017)  1 - p. 1-41 , 2017
Link: https://doi.org/10.1145/..
 
?
9

The Applied Pi Calculus : Mobile Values, New Names, and ..:

Abadi, Martín ; Blanchet, Bruno ; Fournet, Cédric
Journal of the ACM (JACM).  65 (2017)  1 - p. 1-41 , 2017
Link: https://dl.acm.org/doi/1..
 
?
10

Incremental, iterative data processing with timely dataflow:

Murray, Derek G. ; McSherry, Frank ; Isard, Michael...
Communications of the ACM.  59 (2016)  10 - p. 75-83 , 2016
Link: https://doi.org/10.1145/..
 
?
11

Deep Learning with Differential Privacy:

, In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security,
Abadi, Martin ; Chu, Andy ; Goodfellow, Ian... - p. 308-318 , 2016
Link: https://dl.acm.org/doi/1..
 
?
12

TensorFlow: learning functions at scale:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming,
Abadi, Martín - p. 1 ff. , 2016
Link: https://dl.acm.org/doi/1..
 
?
13

TensorFlow : a system for large-scale machine learning:

, In: Proceedings of the 12th USENIX conference on Operating Systems Design and Implementation,
Abadi, Martín ; Barham, Paul ; Chen, Jianmin... - p. 265-283 , 2016
Link: https://dl.acm.org/doi/1..
 
?
14

TensorFlow: learning functions at scale:

Abadi, Martín
ACM SIGPLAN Notices.  51 (2016)  9 - p. 1-1 , 2016
Link: https://doi.org/10.1145/..
 
?
15

Incremental, iterative data processing with timely dataflow:

Murray, Derek G. ; McSherry, Frank ; Isard, Michael...
Communications of the ACM.  59 (2016)  10 - p. 75-83 , 2016
Link: https://dl.acm.org/doi/1..
 
1-15