skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
ReGuard: finding reentrancy bugs in smart contracts
ReGuard: finding reentrancy bugs in smart contracts
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

ReGuard: finding reentrancy bugs in smart contracts

Liu, Chao ; Liu, Han ; Cao, Zhao ; Chen, Zhong ; Chen, Bangdao ; Roscoe, Bill

2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), 2018, p.65-68

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
2
CasADi: A Symbolic Package for Automatic Differentiation and Optimal Control
CasADi: A Symbolic Package for Automatic Differentiation and Optimal Control
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

CasADi: A Symbolic Package for Automatic Differentiation and Optimal Control

Andersson, Joel ; Åkesson, Johan ; Diehl, Moritz Hovland, Paul ; Forth, Shaun ; Utke, Jean ; Phipps, Eric ; Walther, Andrea

6th International Conference on Automatic Differentiation,2012-07-23, 2012, p.297-307 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries
A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries

Fan, Jiahao ; Li, Yi ; Wang, Shaohua ; Nguyen, Tien N.

2020 IEEE/ACM 17th International Conference on Mining Software Repositories (MSR), 2020, p.508-512

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference

Lundén, Daniel ; Öhman, Joey ; Kudlicka, Jan ; Senderov, Viktor ; Ronquist, Fredrik ; Broman, David

Programming Languages and Systems, 2022, p.29 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
Semantic background subtraction
Semantic background subtraction
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Semantic background subtraction

Braham, M. ; Pierard, S. ; Van Droogenbroeck, M.

2017 IEEE International Conference on Image Processing (ICIP), 2017, p.4552-4556 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
6
Using C++ AMP to Accelerate HPC Applications on Multiple Platforms
Using C++ AMP to Accelerate HPC Applications on Multiple Platforms
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using C++ AMP to Accelerate HPC Applications on Multiple Platforms

Lopez, M. Graham ; Bergstrom, Christopher ; Li, Ying Wai ; Elwasif, Wael ; Hernandez, Oscar Taufer, Michela ; Mohr, Bernd ; Kunkel, Julian M.

High Performance Computing, p.563-576 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Development of Computational Thinking in High School Students: A Case Study in Chile
Development of Computational Thinking in High School Students: A Case Study in Chile
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Development of Computational Thinking in High School Students: A Case Study in Chile

Gonzalez, Felipe ; Lopez, Claudia ; Castro, Carlos

2018 37th International Conference of the Chilean Computer Science Society (SCCC), 2018, p.1-8

IEEE

Texto completo disponível

Citações Citado por
8
NFLlib: NTT-Based Fast Lattice Library
NFLlib: NTT-Based Fast Lattice Library
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

NFLlib: NTT-Based Fast Lattice Library

Aguilar-Melchor, Carlos ; Barrier, Joris ; Guelton, Serge ; Guinet, Adrien ; Killijian, Marc-Olivier ; Lepoint, Tancrède Sako, Kazue

Topics in Cryptology - CT-RSA 2016, p.341-356 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Exploring the Access to the Static Array Elements via Indices and via Pointers - the Introductory C++ Case
Exploring the Access to the Static Array Elements via Indices and via Pointers - the Introductory C++ Case
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Exploring the Access to the Static Array Elements via Indices and via Pointers - the Introductory C++ Case

Logožar, Robert ; Mikac, Matija ; Radošević, Danijel

Central European Conference on Information and Intelligent Systems, 2022, p.507-517

Varazdin: Faculty of Organization and Informatics Varazdin

Texto completo disponível

Citações Citado por
10
How is video game development different from software development in open source?
How is video game development different from software development in open source?
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

How is video game development different from software development in open source?

Pascarella, Luca ; Palomba, Fabio ; Di Penta, Massimiliano ; Bacchelli, Alberto

2018 IEEE/ACM 15th International Conference on Mining Software Repositories (MSR), 2018, p.392-402

New York, NY, USA: ACM

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (29)

Idioma 

  1. Japonês  (9)
  2. Chinês  (4)
  3. Espanhol  (3)
  4. Turco  (2)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.