Treffer 21 - 40 von 134

21

Timing experiments with ROS applications using Rust R2R bindings
Martin, Škoudlil ; Sojka, Michal

Robotics real-time ROS Rust
E-Ressource
22

Uporaba Rustovih tipov za varno krmiljenje naprav ; Using Rust types for safely controlling devices
Drobnič, Vid ; Pretnar, Matija

avtomat končnih stanj asinhrono programiranje sistem lastništva Rust finite-state machine asynchronous programming
Dissertation
23

Robust and Immediate Resource Reclamation with M3
Reusch, Viktor ; Asmussen, Nils ; Roitzsch, Michael
Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification. :1-7

Konferenz
24

Safe Session-Based Asynchronous Coordination in Rust
Cutner, Zak ; Yoshida, Nobuko ; Goos, Gerhard, Founding Editor ; et al.
Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. 12717:80-89

E-Book
25

Lamellar: A Rust-based Asynchronous Tasking and PGAS Runtime for High Performance Computing
Friese, Ryan D. ; Gioiosa, Roberto ; Cottam, Joseph ; et al.
Proceedings of the SC '24 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis. :1236-1251

Konferenz
26

Deadlock-free asynchronous message reordering in rust with multiparty session types
Cutner, Zak ; Yoshida, Nobuko ; Vassor, Martin
Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. :246-261

Konferenz
27

NeXosim, An Open-Source, Rust-Based Digital Twinning Framework for Hardware-In-The-Loop Testing and Virtual FlatSats
Barral, Serge ; Chikha, Adam ; Główka, Maciej ; et al.
Small Satellite Conference

Fachzeitschrift
28

Actix-Telepathy
Wenig, Phillip ; Papenbrock, Thorsten
Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. :14-24

Konferenz
29

Themis : An Efficient and Memory-Safe BFT Framework in Rust: Research Statement
Rüsch, Signe ; Bleeke, Kai ; Kapitza, Rüdiger
Proceedings of the 3rd Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers. :9-10

Konferenz
30

Rust High Performance
Moraza, Iban Eguia ; Moraza, Iban Eguia ; Moraza, Iban Eguia ; et al.

E-Ressource
31

Opportunistically Parallel Lambda Calculus
Mell, Stephen ; Kallas, Konstantinos ; Zdancewic, Steve ; et al.
Proc. ACM Program. Lang. 9, OOPSLA2, Article 365 (October 2025)

Programming Languages
Report
32

LightLog software pro zpracovaní logů aplikací ; LightLog application logs processing software
Dominik Dosoudil ; Glazar Filip ; Jirůtka Jakub

Rust asynchronní programování... logování aplikací monitorování aplikací agregace logů modulární systém
Dissertation
33

Concurrent Reactive Objects in Rust Secure by Construction.
Lindner, Marcus ; Aparicio, Jorge ; Lindgren, Per
Ada User Journal; Mar2019, Vol. 40 Issue 1, p41-51, 11p

CORROSION & anti-corrosi... BUILDING design & constr... SYSTEMS design CONSTRUCTION STEEL corrosion
Fachzeitschrift
34

Combating Reentrancy Bugs on Sharded Blockchains
Kashitsyn, Roman ; Künzler, Robin ; Marić, Ognjen ; et al.

Computer Science - Crypt... D.2.3 D.2.4 C.2.4
Report
35

A Productive and Scalable Actor-Based Programming System for PGAS Applications
Paul, Sri Raj ; Hayashi, Akihiro ; Chen, Kun ; et al.
Computational Science – ICCS 2022 : 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I. 13350:233-247

E-Book
36

A Case Study on Model Checking and Runtime Verification for Awkernel
Hasegawa, Akira ; Kambe, Ryuta ; Aoki, Toshiaki ; et al.

Computer Science - Softw...
Report
37

Rust High Performance
Iban Eguia Moraza ; Iban Eguia Moraza ; Iban Eguia Moraza ; et al.
2018

E-Ressource
38

Rust High Performance
Iban Eguia Moraza ; Iban Eguia Moraza ; Iban Eguia Moraza ; et al.
2018

E-Ressource
39

Rust High Performance
Iban Eguia Moraza ; Iban Eguia Moraza ; Iban Eguia Moraza ; et al.
2018

E-Ressource
40

Rust High Performance
Iban Eguia Moraza ; Iban Eguia Moraza ; Iban Eguia Moraza ; et al.
2018

E-Ressource

Filter