• Suche: Rust Programming By Example

Treffer 161 - 180 von 491

161

Swapping the Nested Fixed Point Algorithm: A Class of Estimators for Discrete Markov Decision Models
Victor Aguirregabiria ; Pedro Mira
Econometric Society, Econometrica. 70(4):1519-1543

Fachzeitschrift
Zu den Favoriten
162

Approaching closures in unmanaged languages: a comparison between C++, Rust, and Swift (SBLP 2025 short article's artifacts)
Ierusalimschy, Roberto ; Luiz Romário Santana Rios

Programming Languages an... Computer Sciences Physical Sciences and Ma...
Zu den Favoriten
163

Dieses Ergebnis kann Gästen nicht angezeigt werden.

164

Tensors, Data Structures, and Tensor Algebra in Programming: A Comprehensive Study
Jadhav, M. A. ; Thorat, S. P. ; Deorukhakar, P. N.

Tensors, Tensor Algebra,... Keywords: Tensors, Tenso...
Fachzeitschrift
Zu den Favoriten
165

Vérification déductive de programmes Rust
Denis, Xavier ; STAR, ABES

[INFO.INFO-LO] Computer... Rust Clôtures Ownership Iterators Closures …
Dissertation
Zu den Favoriten
166

Mehanizmi za konkurentno programiranje u programskom jeziku Rust
Dukić, Andrija ; Knezović, Josip

parallelism upravljanje memorijom TEHNIČKE ZNANOSTI. Račun... paralelizam language design asynchronous programming …
Dissertation
Zu den Favoriten
167

Was Harold Zurcher myopic after all? Replicating Rust's engine replacement estimates
Ferrall, Christopher
Journal of Applied Econometrics. 38:1093-1100

ddc:330 0502 economics and busin... 05 social sciences Mathematische Optimierun... 0101 mathematics 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
168

Overview of Embedded Rust Operating Systems and Frameworks
Thibaut Vandervelden ; Ruben De Smet ; Diana Deac ; et al.
Sensors (Basel)
Sensors, Vol 24, Iss 17, p 5818 (2024)

embedded operating syste... Rust Embedded Operating Syste... Chemical technology Performance evaluation rust …
Fachzeitschrift
Zu den Favoriten
170

Violator spaces: Structure and algorithms
Bernd Gärtner ; Petr Škovroň ; Leo Rüst ; et al.
Lecture Notes in Computer Science ISBN: 9783540388753

FOS: Computer and inform... Clarkson's algorithms Violator space Discrete Mathematics (cs... Applied Mathematics 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
171

The Prusti Project: Formal Verification for Rust
Astrauskas, Vytautas ; Bílý, Aurel ; Fiala, Jonáš ; et al.
Lecture Notes in Computer Science ISBN: 9783031067723
Astrauskas, V, Bílý, A, Fiala, J, Grannan, Z, Matheja, C, Müller, P, Poli, F & Summers, A J 2022, The Prusti Project : Formal Verification for Rust . in J V Deshmukh, K Havelund & I Perez (eds), NASA Formal Methods . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13260 LNCS, pp. 88-108, 14 th International Symposium on NASA Formal Methods, Pasadena, California, United States, 24/05/2022 . https://doi.org/10.1007/978-3-031-06773-0_5
Lecture Notes in Computer Science, 13260
NASA Formal Methods

Separation logic Deductive verification Rust 0202 electrical engineer... 02 engineering and techn...
Buch
Zu den Favoriten
172

End-to-end NLP Pipelines in Rust
Guillaume Becquin
Proceedings of Second Workshop for NLP Open Source Software (NLP-OSS). :20-25

0202 electrical engineer... 02 engineering and techn... 01 natural sciences 0105 earth and related e...
Fachzeitschrift
Zu den Favoriten
173

Solo: a lightweight static analysis for differential privacy
Chiké Abuah ; David Darais ; Joseph P. Near
Proceedings of the ACM on Programming Languages. 6:699-728

FOS: Computer and inform... Computer Science - Progr... Computer Science - Crypt... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
174

COMPARATIVE BIOINFORMATIC AND MOLECULAR EVOLUTIONARY ANALYSIS OF CHORDATE GENES AND GENOMES
Northover, David ; orcid:0000-0003-2889-1098 ; Liberles, David A.

Biology Bioinformatics
Dissertation
Zu den Favoriten
175

Affect: An Affine Type and Effect System
Orpheas van Rooij ; Robbert Krebbers
Proceedings of the ACM on Programming Languages, 9, POPL, pp. 126-154

Software Science
Fachzeitschrift
Zu den Favoriten
176

Modular Formal Verification of Rust Programs with Unsafe Blocks
Rahimi Foroushaani, Nima ; Jacobs, Bart

Computer Science Logic in Computer Scienc... Programming Languages Software Verification Modular Formal Symbolic... Rust …
E-Ressource
Zu den Favoriten
177

A dynamic programming approach for quickly estimating large network-based MEV models
Tien Mai ; Emma Frejinger ; Mogens Fosgerau ; et al.
Mai, T, Frejinger, E, Fosgerau, M & Bastin, F 2017, ' A dynamic programming approach for quickly estimating large network-based MEV models ', Transportation Research. Part B: Methodological, vol. 98, pp. 179-197 . https://doi.org/10.1016/j.trb.2016.12.017

Nested fixed point algor... Value iteration Programming Languages an... Discrete choice 0502 economics and busin... 05 social sciences …
Fachzeitschrift
Zu den Favoriten
178

Vérification déductive de programmes Rust ; Deductive verification of Rust programs
Denis, Xavier ; Laboratoire Méthodes Formelles (LMF) ; Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay) ; et al.
https://theses.hal.science/tel-04517581 ; Programming Languages [cs.PL]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG101⟩.

Closures Rust Ownership Verification Iterators Clôtures …
Dissertation
Zu den Favoriten
179

Session types for Rust
Jespersen, Thomas Bracht Laumann ; Munksgaard, Philip ; Larsen, Ken Friis
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming. :13-22

Rust Session types 0202 electrical engineer... 1. No poverty concurrency generic types …
Fachzeitschrift
Zu den Favoriten
180

A structural model of salesforce compensation dynamics: Response to Profs. Rust and Staelin
Sanjog Misra ; Harikesh S. Nair
Quantitative Marketing and Economics. 9:267-273

0502 economics and busin... 05 social sciences
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter