• Suche: Rust Programming By Example

Treffer 201 - 220 von 491

201

Validating IoT Devices with Rate-Based Session Types
Grant Iraci ; Cheng-En Chuang ; Raymond Hu ; et al.
Proceedings of the ACM on Programming Languages. 7:1589-1617

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
202

Exploiting Mixed Binaries
Michalis Papaevripides ; Elias Athanasopoulos ; European Union (EU) Horizon 2020

Memory safety Rust Go CFI SafeStack
Fachzeitschrift
Zu den Favoriten
203

Sistemski programski jeziki ; System programming languages
ŠMIT, MATEJ ; Mihelič, Jurij

sistemsko programiranje programska oprema programski jezik system programming software programming language
Dissertation
Zu den Favoriten
204

FINAM – is not a model (v1.0): a new Python-based model coupling framework
Müller, Sebastian ; Lange, Martin ; Fischer, Thomas ; et al.
eISSN: 1991-9603

Fachzeitschrift
Zu den Favoriten
205

Is There a Curse of Dimensionality for Contraction Fixed Points in the Worst Case?
Rust, John ; Traub, Joseph F. ; Wozniakowski, Henryk
Econometrica. 70:285-329

0502 economics and busin... 05 social sciences Computer science
Fachzeitschrift
Zu den Favoriten
206

Evaluation of Rust for GPGPU high-performance computing
Franzén, Viktor ; Östling, Carl

HPC Rust C++ NVIDIA CUDA PTX …
Zu den Favoriten
207

Completeness of asynchronous session tree subtyping in Coq
Ekici, Burak ; Yoshida, Nobuko ; Burak Ekici and Nobuko Yoshida

subtyping asynchronous multiparty... Coq ddc:004 session trees
Konferenz
Zu den Favoriten
208

Later credits: resourceful reasoning for the later modality
Simon Spies ; Lennard Gäher ; Joseph Tassarotti ; et al.
Proceedings of the ACM on Programming Languages, 6, ICFP, pp. 1-29
Proceedings of the ACM on Programming Languages
Spies, S, Gäher, L, Tassarotti, J, Jung, R, Krebbers, R, Birkedal, L & Dreyer, D 2022, 'Later credits : resourceful reasoning for the later modality', Proceedings of the ACM on Programming Languages, vol. 6, no. ICFP, 100. https://doi.org/10.1145/3547631

Separation logic Software Science 0202 electrical engineer... Iris later modality step-indexing …
Fachzeitschrift
Zu den Favoriten
209

Traceability of Executable Codes Using Neural Networks
Tiago M. Nascimento ; Raphael C. S. Machado ; Charles B. Prado ; et al.
Lecture Notes in Computer Science ISBN: 9783642181771

Buch
Zu den Favoriten
210

Fun with interfaces (SVG interfaces for musical expression)
Carinna Parraman ; Nathan Renney ; Benedict R. Gaster
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. :25-36

05 social sciences 0202 electrical engineer... 0501 psychology and cogn... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
211

System programming languages
Šmit, Matej

Computer and Information...
Dissertation
Zu den Favoriten
212

Glidesort: Efficient In-Memory Adaptive Stable Sorting on Modern Hardware
Orson Peters ; Kompetenzzentrum für nicht-textuelle Materialien

Computer Science Studienbereich Informati... Ingenieurwissenschaften
Zu den Favoriten
213

A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects
Claus Lewerentz ; Heinrich Rust ; Frank Simon
Lecture Notes in Computer Science ISBN: 9783540425748

Buch
Zu den Favoriten
214

Využití dotačních prostředků EU na příkladu přípravy vybraného investičního projektového záměru ; The Use of EU Funds on the Example of Selected Investment Project Proposal
Mareš, Viktor ; Poledníková, Eva ; Tománek, Petr

regionální rozvoj regionální politika Evropská unie dotace regional development regional policy …
Dissertation
Zu den Favoriten
215

Hardware-in-the-loop based WCET analysis with KLEE
Johan Eriksson ; Jorge Aparicio ; Henrik Tjader ; et al.
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA). :345-352

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
216

Debug information validation for optimized code
Shuo Ding ; Davide Italiano ; Qirun Zhang ; et al.
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. :1052-1065

0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
217

New Foundations for Separation Logic
Hiep, H.A. ; Boer, F.S. de ; Gouw, C.P.T. de ; et al.

Dynamic logic Program correctness Separation logic Theoretical computer sci... Formal methods Soundness and completene... …
Dissertation
Zu den Favoriten
218

Location graphs : a formal approach to encapsulation and its implementation ; Graphes de localités : une approche formelle à l'encapsulation et implémentation
Vassor, Martin ; Centre Inria de l'Université Grenoble Alpes ; Institut National de Recherche en Informatique et en Automatique (Inria) ; et al.
https://theses.hal.science/tel-03354281 ; Génie logiciel [cs.SE]. Université Grenoble Alpes [2020-.], 2021. Français. ⟨NNT : 2021GRALM015⟩.

Software engineering Programming language Formal Methods Langage de programmation Génie Logiciel Méthodes Formelles …
Dissertation
Zu den Favoriten
219

COCHIS: Stable and coherent implicits
Schrijvers, Tom ; Oliveira, Bruno C.DS. ; Wadler, Philip ; et al.
Schrijvers, T, Oliveira, B C D S, Wadler, P & Marnitirosian, K 2019, ' COCHIS: Stable and coherent implicits ', Journal of Functional Programming, vol. 29, no. e3, pp. 1-82 . https://doi.org/10.1017/S0956796818000242

4613 Theory of computati... Technology Science & Technology 0103 Numerical and Compu... 0803 Computer Software Software Engineering …
Fachzeitschrift
Zu den Favoriten
220

zydeco-lang/zydeco: v0.2.2
LighghtEeloo ; Runze Xue ; Max S. New ; et al.

E-Ressource
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter