Treffer 1 - 20 von 360

1

Improving Memory Management, Performance with Rust: Why Rust is becoming the programming language of choice for many high-level developers.
Williams, Alex
Communications of the ACM. Sep2024, Vol. 67 Issue 9, p8-9. 2p.

WEB development PROGRAMMING languages COMPUTER programming COMPUTER memory manageme... LEARNING curve
Zeitschrift
Zu den Favoriten
2

Charon: An Analysis Framework for Rust
Ho, Son ; Boisseau, Guillaume ; Franceschino, Lucas ; et al.
CAV 2025 - International Conference on Computer Aided Verification. :377-391

Zagreb, Croatia Static Analysis Formal Verification Rust [INFO.INFO-PL]Computer S... Programming Languages [c...
Konferenz
Zu den Favoriten
5

Rust Web Programming
Flitton, Maxwell ; Flitton, Maxwell ; Flitton, Maxwell ; et al.

E-Ressource
Zu den Favoriten
7

LENGUAJE DE PROGRAMACION RUST.
CAROL NICHOLS ; STEVE KLABNIK

E-Book
Zu den Favoriten
11

WebGraph: The Next Generation (Is in Rust)
Fontana, Tommaso ; Vigna, Sebastiano ; Zacchiroli, Stefano ; et al.
ACM Web Conference 2024, May 2024, Singapore, Singapore. ⟨10.1145/3589335.3651581⟩

Singapore, Singapore big data compression web graphs social networks Java
Konferenz
Zu den Favoriten
12

Sophia: a Linked Data and Semantic Web toolkit for Rust
Champin, Pierre-Antoine ; Traces, Web, Education, Adaptation, Knowledge (TWEAK) ; Laboratoire d'InfoRmatique en Image et Systèmes d'information (LIRIS) ; et al.

Taipei, Taiwan [INFO.INFO-WB]Computer S... Web
Konferenz
Zu den Favoriten
13

Complementing JavaScript in High-Performance Node.js and Web Applications with Rust and WebAssembly.
Kyriakou, Kyriakos-Ioannis D. ; Tselikas, Nikolaos D.
Electronics (2079-9292); Oct2022, Vol. 11 Issue 19, p3217, 17p

JAVASCRIPT programming l... WEB-based user interface... PROGRAMMING languages WEB browsers C++
Fachzeitschrift
Zu den Favoriten
14

Code optimization opportunities in the JavaScript ecosystem with Rust.
Kozub, Volodymyr
LatIA; 2024, Vol. 2 Issue 1, p1-9, 9p

SANITATION workers WEB-based user interface... PROGRAMMING languages ALGORITHMS PERFORMANCE theory
Fachzeitschrift
Zu den Favoriten
15

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
Andrès, Léo ; Marques, Filipe ; Carcano, Arthur ; et al.
The Art. 9(2)

Bug Finding Symbolic execution Owi Wasm WebAssembly Parallel
Zeitschrift
Zu den Favoriten
16

Symbolic Execution for All or Compilation of OCaml to WebAssembly
Exécution symbolique pour tous ou Compilation d'OCaml vers WebAssembly

Andrès, Léo ; 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.
Langage de programmation [cs.PL]. Université Paris-Saclay, 2024. Français. ⟨NNT : 2024UPASG127⟩

Monadic Interpreter OCaml Compilation Programming Languages WebAssembly Symbolic Execution
Dissertation
Zu den Favoriten
17

Development of a Web-Based Prediction System for Wheat Stripe Rust
Kuang, Weigang ; Liu, Wancai ; Ma, Zhanhong ; et al.
Daoliang Li; Yingyi Chen. 6th Computer and Computing Technologies in Agriculture (CCTA). :324-335

Zhangjiajie, China wheat stripe rust web-based system prediction regression model WebGIS
Konferenz
Zu den Favoriten
18

TrojanProbe: Fingerprinting Trojan tunnel implementations by actively probing crafted HTTP requests
Lv, Liuying ; Zhou, Peng
In Computers & Security January 2025 148

Fachzeitschrift
Zu den Favoriten
19

Extracting functional programs from Coq, in Coq.
ANNENKOV, DANIL ; MILO, MIKKEL ; NIELSEN, JAKOB BOTSCH ; et al.
Journal of Functional Programming. 2022, Vol. 32, p1-60. 60p.

WEB-based user interface... PROGRAMMING languages TRUST LINEAR network coding
Fachzeitschrift
Zu den Favoriten
20

Enhancing C/C++ based OSS development and discoverability with CBRJS: A Rust/Node.js/WebAssembly framework for repackaging legacy codebases
Kyriakou, Kyriakos-Ioannis D. ; Tselikas, Nikolaos D. ; Kapitsaki, Georgia M.
In The Journal of Systems & Software November 2019 157

Fachzeitschrift
Zu den Favoriten

Filter