Aktivitäten
-
I could be wrong, but I think this is the first time in a very long time that the Cosmos Hub had a detailed product roadmap like this. Big things…
I could be wrong, but I think this is the first time in a very long time that the Cosmos Hub had a detailed product roadmap like this. Big things…
Beliebt bei Marius Poke
-
We are looking for Director of Engineering at Informal: https://lnkd.in/dsfvJNUm. If you are interested in working with our top notch teams…
We are looking for Director of Engineering at Informal: https://lnkd.in/dsfvJNUm. If you are interested in working with our top notch teams…
Beliebt bei Marius Poke
-
Informal Systems is growing! 🌱 We have big plans for 2024 (and beyond) and we're looking for exceptional technical talent to work alongside our…
Informal Systems is growing! 🌱 We have big plans for 2024 (and beyond) and we're looking for exceptional technical talent to work alongside our…
Beliebt bei Marius Poke
Berufserfahrung
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Ausbildung
Veröffentlichungen
-
A Dual Digraph Approach for Leaderless Atomic Broadcast
In Proceedings of the 38th International Symposium on Reliable Distributed Systems (SRDS’19)
-
AllConcur: Leaderless Concurrent Atomic Broadcast
In Proceedings of the 26th ACM International Symposium on High- Performance Parallel and Distributed Computing (HPDC’17)
-
DARE: High-Performance State Machine Replication on RDMA Networks
In Proceedings of the 24th ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC’15)
-
Using Automated Performance Modeling to Find Scalability Bugs in Complex Codes
In Proceedings of the IEEE/ACM International Conference on High Performance Computing, Networking, Storage and Analysis (SC13)
Weitere Aktivitäten von Marius Poke
-
For the last 2 years, I have been working on a new specification language called Quint, based on TLA. Quint is a modern specification language that…
For the last 2 years, I have been working on a new specification language called Quint, based on TLA. Quint is a modern specification language that…
Beliebt bei Marius Poke
-
It's been exactly 2 years since the foundation of NOMOQ. Just a few months earlier, in late summer 2021, I met Gabriela Andrei for the first ever…
It's been exactly 2 years since the foundation of NOMOQ. Just a few months earlier, in late summer 2021, I met Gabriela Andrei for the first ever…
Beliebt bei Marius Poke
-
European Blockchain Convention #Slovenia team after #party Nena Dokuzov Anja Blaj Uros Marcic Marina Markezic David Udovič Adriana T. Hugo Volz…
European Blockchain Convention #Slovenia team after #party Nena Dokuzov Anja Blaj Uros Marcic Marina Markezic David Udovič Adriana T. Hugo Volz…
Beliebt bei Marius Poke
-
Das Zauberwort der #DLT-Zukunft heißt #Interoperabilität. Damit meint dieser Begriff die Fähigkeit unterschiedlicher #Blockchain-Ökosysteme…
Das Zauberwort der #DLT-Zukunft heißt #Interoperabilität. Damit meint dieser Begriff die Fähigkeit unterschiedlicher #Blockchain-Ökosysteme…
Beliebt bei Marius Poke
-
It was a huge pleasure to serve NOMOQ‘s first customer! I am glad to see that you had a successful event, Martin Leibacher.
It was a huge pleasure to serve NOMOQ‘s first customer! I am glad to see that you had a successful event, Martin Leibacher.
Beliebt bei Marius Poke
-
M-am bucurat de întâlnirea cu membrii Ordinului Asistenților Medicali Generaliști, Moașelor și Asistenților Medicali din România (OAMGMAMR) pentru că…
M-am bucurat de întâlnirea cu membrii Ordinului Asistenților Medicali Generaliști, Moașelor și Asistenților Medicali din România (OAMGMAMR) pentru că…
Beliebt bei Marius Poke
