Treffer 61 - 80 von 134

63

Rust Programming By Example
Guillaume Gomez ; Antoni Boucher ; Guillaume Gomez ; et al.
2018

E-Ressource
64

Rust Programming By Example
Guillaume Gomez ; Antoni Boucher ; Guillaume Gomez ; et al.
2018

E-Ressource
65

Designing interrupts for ML and OCaml
Munch-Maccagnoni, Guillaume ; White, Leo ; Dolan, Stephen ; et al.
ML 2024 - ACM SIGPLAN Workshop on ML Family Workshop Higher-order, Typed, Inferred, Strict ; https://inria.hal.science/hal-04860321 ; ML 2024 - ACM SIGPLAN Workshop on ML Family Workshop Higher-order, Typed, Inferred, Strict, Troels Henriksen, Sep 2024, Milan, Italy. ⟨10.1007/11818502_15⟩ ; https://icfp24.sigplan.org/home/mlworkshop-2024

Milan Italy [INFO.INFO-PL]Computer S...
Konferenz
66

Rust Programming By Example
Guillaume Gomez ; Antoni Boucher ; Guillaume Gomez ; et al.
2018

E-Ressource
67

Tail Modulo Async/Await - Extended Abstract
Gachet, Vivien ; Henrio, Ludovic ; Radanne, Gabriel ; et al.
FPROPER 2024 - 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance ; https://hal.science/hal-04794434 ; FPROPER 2024 - 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance, Sep 2024, Milan, Italy ; https://icfp24.sigplan.org/details/fproper-2024-papers/3/Tail-Modulo-Async-Await

Milan Italy [INFO.INFO-PL]Computer S...
Konferenz
68

Rust Programming By Example
Guillaume Gomez ; Antoni Boucher ; Guillaume Gomez ; et al.
2018

E-Ressource
70

Synchronous, asynchronous and timed affine multiparty session types
Lagaillardie, Nicolas ; Yoshida, Nobuko ; Kelly, Paul ; et al.

Dissertation
71

Diagnostické nástroje pro řídicí jednotky aut ; Diagnostic tools for automotive ECUs
Jakub Jíra ; Sojka Michal ; Novák Jiří

Rust asynchronní ISO-TP UDS ODX asynchronous
Dissertation
72

Themis: BFT Framework written in Rust + PBFT implementation
Schwarz-Rüsch, Signe ; Kai, Bleeke ; Kapitza, Rüdiger

SoftwareApplication ddc:005 Byzantine fault toleranc...
E-Ressource
73

Mastering Rust Ed. 2
Sharma, Rahul ; Kaihlavirta, Vesa ; Sharma, Rahul ; et al.

E-Ressource
74

Reliable Event Routing in the Cloud and on the Edge : An Internet-of-Things Solution in the AgeTech Domain
Basig, Linus ; Lazzaretti, Fabrizio ; Aebersold, Reto ; et al.
Software Architecture : 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings. 12857:243-259

E-Book
75

Development of asynchronous server interface for ActorDB in Rust: magistrsko delo
Leček, Bruno ; Kosar, Tomaž

razvoj Rust asynchronous server ActorDB development
Dissertation
76

Modern Concurrency Platforms Require Modern System-Call Techniques
Schmaus, Florian ; Fischer, Florian ; Hönig, Timo ; et al.

operating systems concurrent programming parallel programming concurrency platform DDC Classification::0 In... 003 Systeme
Report
77

Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372)
Dezani, Mariangiola ; Kuhn, Roland ; Lindley, Sam ; et al.

session types programming languages behavioural types concurrency ddc:004
Fachzeitschrift
79

Lightning fast enclave network services with async I/O
Mohsen Zohrevandi ; Jethro G. Beekman

Computer Science Studienbereich Informati... Ingenieurwissenschaften
80

Self-Stabilizing Byzantine Fault-Tolerant State Machine Replication - Rust Implementation, Experimental Evaluation and Applications in Trucks
Kou, Chibin ; Lundström, Oskar

Automotive Byzantine Fault-Toleranc... Distributed Systems Self-Stabilization State Machine Replicatio...

Filter