skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Fat API bindings of C++ objects into scripting languages
Fat API bindings of C++ objects into scripting languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fat API bindings of C++ objects into scripting languages

Standish, Russell K

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
host__ __device__ -- Generic programming in Cuda
host__ __device__ -- Generic programming in Cuda
Material Type:
Artigo 		Adicionar ao Meu Espaço

host__ __device__ -- Generic programming in Cuda

Mejstrik, Thomas

arXiv.org, 2023-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Creation of a CS1 Course with Modern C++ Principles
Creation of a CS1 Course with Modern C++ Principles
Material Type:
Artigo 		Adicionar ao Meu Espaço

Creation of a CS1 Course with Modern C++ Principles

Dougherty, Ryan E

arXiv.org, 2023-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
ESBMC v7.3: Model Checking C++ Programs using Clang AST
ESBMC v7.3: Model Checking C++ Programs using Clang AST
Material Type:
Artigo 		Adicionar ao Meu Espaço

ESBMC v7.3: Model Checking C++ Programs using Clang AST

Song, Kunjian ; Gadelha, Mikhail R ; Brauße, Franz ; Menezes, Rafael S ; Cordeiro, Lucas C

arXiv.org, 2023-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
Material Type:
Artigo 		Adicionar ao Meu Espaço

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST

Li, Xianzhiyu ; Song, Kunjian ; Gadelha, Mikhail R ; Brauße, Franz ; Menezes, Rafael S ; Korovin, Konstantin ; Cordeiro, Lucas C

arXiv.org, 2024-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
TVB C++: A Fast and Flexible Back-End for The Virtual Brain
TVB C++: A Fast and Flexible Back-End for The Virtual Brain
Material Type:
Artigo 		Adicionar ao Meu Espaço

TVB C++: A Fast and Flexible Back-End for The Virtual Brain

Martín, Ignacio ; Zamora, Gorka ; Fousek, Jan ; Schirner, Michael ; Ritter, Petra ; Jirsa, Viktor ; Deco, Gustavo ; Patow, Gustavo

arXiv.org, 2024-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
GitHub Copilot: the perfect Code compLeeter?
GitHub Copilot: the perfect Code compLeeter?
Material Type:
Artigo 		Adicionar ao Meu Espaço

GitHub Copilot: the perfect Code compLeeter?

Siroš, Ilja ; Singelée, Dave ; Preneel, Bart

arXiv.org, 2024-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
A Risk Estimation Study of Native Code Vulnerabilities in Android Applications
A Risk Estimation Study of Native Code Vulnerabilities in Android Applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Risk Estimation Study of Native Code Vulnerabilities in Android Applications

Sanna, Silvia Lucia ; Soi, Diego ; Maiorca, Davide ; Fumera, Giorgio ; Giacinto, Giorgio

arXiv.org, 2024-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
EFACT: an External Function Auto-Completion Tool to Strengthen Static Binary Lifting
EFACT: an External Function Auto-Completion Tool to Strengthen Static Binary Lifting
Material Type:
Artigo 		Adicionar ao Meu Espaço

EFACT: an External Function Auto-Completion Tool to Strengthen Static Binary Lifting

Zhang, Yilei ; Liao, Haoyu ; Wang, Zekun ; Huang, Bo ; Guo, Jianmei

arXiv.org, 2024-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Type Inference for Isabelle2Cpp
Type Inference for Isabelle2Cpp
Material Type:
Artigo 		Adicionar ao Meu Espaço

Type Inference for Isabelle2Cpp

Jiang, Dongchen ; Fu, Chenxi

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.