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

Switches for HIRE:Resource scheduling for data center in-ne..:

Blöcher, Marcel ; Wang, Lin ; Eugster, Patrick.
Blöcher , M , Wang , L , Eugster , P & Schmidt , M 2021 , Switches for HIRE : Resource scheduling for data center in-network computing . in ASPLOS 2021 : Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems . International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS , Association for Computing Machinery , pp. 268-285 , 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021 , Virtual, Online , United States , 19/04/21 . https://doi.org/10.1145/3445814.3446760.  , 2021
Link: https://research.vu.nl/e..
 
?
2

The Difficulty in Scaling Blockchains: A Simple Explanation:

van Steen, Maarten ; Chien, Andrew ; Eugster, Patrick
http://arxiv.org/abs/2103.01487.  , 2021
Link: http://arxiv.org/abs/210..
 
?
3

Switches for HIRE: Resource Scheduling for Data Center In-N..:

Blöcher, Marcel ; Wang, Lin ; Eugster, Patrick.
doi:10.5281/zenodo.4419040.  , 2020
Link: https://zenodo.org/recor..
 
?
4

Switches for HIRE: Resource Scheduling for Data Center In-N..:

Blöcher, Marcel ; Wang, Lin ; Eugster, Patrick.
doi:10.5281/zenodo.4419040.  , 2020
Link: https://zenodo.org/recor..
 
?
5

Versatile Event Correlation with Algebraic Effects:

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido...
https://tuprints.ulb.tu-darmstadt.de/14556/1/3236762.pdf.  , 2020
Link: http://tuprints.ulb.tu-d..
 
?
6

Precise Smart Contract Verification through Direct Modellin..:

Marescotti, Matteo ; Otoni, Rodrigo ; Alt, Leonardo...
doi:10.5281/zenodo.3483671.  , 2019
Link: https://zenodo.org/recor..
 
?
7

Programming Scalable Cloud Services with AEON:

Sang, Bo ; Petri, Gustavo ; Ardekani, Masoud Saeida..
http://arxiv.org/abs/1912.03506.  , 2019
Link: http://arxiv.org/abs/191..
 
?
8

Comprehensive Multiparty Session Types:

Bejleri, Andi ; Domnori, Elton ; Viering, Malte..
http://arxiv.org/abs/1902.00544.  , 2019
Link: http://arxiv.org/abs/190..
 
?
9

Precise Smart Contract Verification through Direct Modellin..:

Marescotti, Matteo ; Otoni, Rodrigo ; Alt, Leonardo...
doi:10.5281/zenodo.3483671.  , 2019
Link: https://zenodo.org/recor..
 
?
10

A Cryptographic Look at Multi-Party Channels:

Eugster, Patrick ; Marson, Giorgia Azzurra ; Poettering, Bertram
https://rhul.elsevierpure.com/en/publications/d1be215d-4441-43c5-bbc0-bfaa29f111da.  , 2018
Link: https://rhul.elsevierpur..
 
?
11

Co-Design and Verification of an Available File System:

Najafzadeh, Mahsa ; Shapiro, Marc ; Eugster, Patrick
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-73721-8_17.  , 2018
Link: https://hal.inria.fr/hal..
 
?
12

Towards Fine Grained Network Flow Prediction:

Jahnke, Patrick ; Stapf, Emmanuel ; Mieseler, Jonas..
http://arxiv.org/abs/1808.06453.  , 2018
Link: http://arxiv.org/abs/180..
 
?
13

Co-Design and Verification of an Available File System:

Najafzadeh, Mahsa ; Shapiro, Marc ; Eugster, Patrick
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-73721-8_17.  , 2018
Link: https://inria.hal.scienc..
 
?
14

Admission Control in Shared Memory Switches:

Eugster, Patrick ; Kesselman, Alex ; Kogan, Kirill..
1094-6136.  , 2018
Link: https://hdl.handle.net/2..
 
?
15

Co-Design and Verification of an Available File System:

Najafzadeh, Mahsa ; Shapiro, Marc ; Eugster, Patrick
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-73721-8_17.  , 2018
Link: https://inria.hal.scienc..
 
1-15