• Suche: Rust data engineering

Treffer 1 - 20 von 3.784

1

Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust
Golfouse, Arnaud ; Guéneau, Armaël ; Jourdan, Jacques-Henri ; et al.

Rennes, France Ghost code Rust Deductive verification CCS Concepts: • Theory o... [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
2

Alumet: a Modular Framework to Standardize the Measurement of Energy Consumption
Raffin, Guillaume ; Trystram, Denis ; Richard, Olivier ; et al.
PECS 2025 - Workshop on Performance and Energy Efficiency in Concurrent and Distributed Systems. :1-12

Dresden, Germany HPC Energy consumption Energy measurement Distributed computing Kubernetes …
Konferenz
Zu den Favoriten
3

Dieses Ergebnis kann Gästen nicht angezeigt werden.

4

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
Sun, Chuyue ; Sun, Yican ; Amrollahi, Daneshvar ; et al.

Software Engineering Artificial Intelligence
Report
Zu den Favoriten
5

Dieses Ergebnis kann Gästen nicht angezeigt werden.

6

The GenAI Future of Consumer Research.
Huang, Ming-Hui ; Rust, Roland T
Journal of Consumer Research. Jun2025, Vol. 52 Issue 1, p4-17. 14p.

CONSUMER research INNOVATION management DATA analysis CONSUMPTION (Economics) GENERATIVE artificial in... MACHINE learning …
Fachzeitschrift
Zu den Favoriten
7

Dissecting adult plant resistance to stem rust through multi-model GWAS in a diverse barley germplasm panel.
Genievskaya, Yuliya ; Maulenbay, Akerke ; Rsaliyev, Shynbolat ; et al.
Frontiers in Plant Science; 2025, p1-21, 21p

BARLEY GENOME-wide association... GENETIC engineering GENETIC markers RUST diseases DISEASE resistance of pl... …
Fachzeitschrift
Zu den Favoriten
8

Dieses Ergebnis kann Gästen nicht angezeigt werden.

9

PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
Gao, Yifei ; Wang, Chengpeng ; Huang, Pengxiang ; et al.

Computer Science - Softw... Computer Science - Artif... Computer Science - Progr...
Report
Zu den Favoriten
10

A Fast Fourier Convolutional Deep Neural Network For Accurate and Explainable Discrimination Of Wheat Yellow Rust And Nitrogen Deficiency From Sentinel-2 Time-Series Data
Shi, Yue ; Han, Liangxiu ; González-Moreno, Pablo ; et al.

Computer Science - Compu... Electrical Engineering a...
Report
Zu den Favoriten
11

A data acquisition setup for data driven acoustic design
Rust, Romana ; Xydis, Achilleas ; Heutschi, Kurt ; et al.
Building Acoustics. February 2021

Computer Science - Sound Computer Science - Machi... Electrical Engineering a...
Report
Zu den Favoriten
12

SandCell: Sandboxing Rust Beyond Unsafe Code
Zhang, Jialun ; Gülmez, Merve ; Nyman, Thomas ; et al.

Software Engineering Cryptography and Securit...
Report
Zu den Favoriten
13

Securing Mixed Rust with Hardware Capabilities
Yu, Jason Zhijingcheng ; Han, Fangqi ; Choudhury, Kaustab ; et al.

Cryptography and Securit... Software Engineering C.1.3; D.2.5
Report
Zu den Favoriten
14

Automated Proof Generation for Rust Code via Self-Evolution
Chen, Tianyu ; Lu, Shuai ; Lu, Shan ; et al.

Computer Science - Softw... Computer Science - Artif...
Report
Zu den Favoriten
15

Reflection on Code Contributor Demographics and Collaboration Patterns in the Rust Community
Dandamudi, Rohit ; Adaji, Ifeoma ; Rodríguez-Pérez, Gema

Computer Science - Softw... Computer Science - Socia...
Report
Zu den Favoriten
16

HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust
Luo, Yu ; Zhou, Han ; Zhang, Mengtao ; et al.

Computer Science - Crypt... Computer Science - Softw...
Report
Zu den Favoriten
17

Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
Hong, Jaemin ; Ryu, Sukyoung

Computer Science - Softw...
Report
Zu den Favoriten
18

Josephine: Using JavaScript to safely manage the lifetimes of Rust data
Jeffrey, Alan

FOS: Computer and inform... Computer Science - Progr... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
20

Evolving Collaboration, Dependencies, and Use in the Rust Open Source Software Ecosystem
Schueller, William ; Wachs, Johannes ; Servedio, Vito D. P. ; et al.
Scientific Data 9, 703 (2022)

Computer Science - Softw... Computer Science - Socia...
Report
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter