skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: ACM Digital Library remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Practical Approach for Model Checking C/C++11 Code
A Practical Approach for Model Checking C/C++11 Code
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Practical Approach for Model Checking C/C++11 Code

Norris, Brian ; Demsky, Brian

ACM transactions on programming languages and systems, 2016-05, Vol.38 (3), p.1-51, Article 10 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
2
Assessing the Effect of Programming Language and Task Type on Eye Movements of Computer Science Students
Assessing the Effect of Programming Language and Task Type on Eye Movements of Computer Science Students
Material Type:
Artigo 		Adicionar ao Meu Espaço

Assessing the Effect of Programming Language and Task Type on Eye Movements of Computer Science Students

Mansoor, Niloofar ; Peterson, Cole S. ; Dodd, Michael D. ; Sharif, Bonita

ACM transactions on computing education, 2024-01, Vol.24 (1), p.1-38, Article 2 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
3
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis

Pan, Rangeet ; Le, Vu ; Nagappan, Nachiappan ; Gulwani, Sumit ; Lahiri, Shuvendu ; Kaufman, Mike

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.785-796

IEEE

Texto completo disponível

Citações Citado por
4
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications

Bombieri, Nicola ; Fummi, Franco ; Vinco, Sara

ACM transactions on design automation of electronic systems, 2015-06, Vol.20 (3), p.1-26 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
Repairing sequential consistency in C/C++11
Repairing sequential consistency in C/C++11
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Repairing sequential consistency in C/C++11

Lahav, Ori ; Vafeiadis, Viktor ; Kang, Jeehoon ; Hur, Chung-Kil ; Dreyer, Derek

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, p.618-632

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
6
Poster: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages
Poster: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Poster: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages

Horvath, Gabor ; Szecsi, Peter ; Gera, Zoltan ; Krupp, Daniel ; Pataki, Norbert

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

ACM

Texto completo disponível

Citações Citado por
7
Algorithm 940: Optimal Accumulator-Based Expression Evaluation through the Use of Expression Templates
Algorithm 940: Optimal Accumulator-Based Expression Evaluation through the Use of Expression Templates
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algorithm 940: Optimal Accumulator-Based Expression Evaluation through the Use of Expression Templates

Nelson, Blake ; Kirby, Robert M. ; Parker, Steven

ACM transactions on mathematical software, 2014-04, Vol.40 (3), p.1-21 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
8
Algorithm 910: A Portable C++ Multiple-Precision System for Special-Function Calculations
Algorithm 910: A Portable C++ Multiple-Precision System for Special-Function Calculations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algorithm 910: A Portable C++ Multiple-Precision System for Special-Function Calculations

Kormanyos, Christopher

ACM transactions on mathematical software, 2011-02, Vol.37 (4) [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
9
Design patterns for multiphysics modeling in Fortran 2003 and C++
Design patterns for multiphysics modeling in Fortran 2003 and C++
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design patterns for multiphysics modeling in Fortran 2003 and C++

Rouson, Damian W I ; Adalsteinsson, Helgi ; Xia, Jim

ACM transactions on mathematical software, 2010-01, Vol.37 (1), p.1-30 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
Experiences from designing and validating a software modernization transformation
Experiences from designing and validating a software modernization transformation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Experiences from designing and validating a software modernization transformation

Iosif-Lazăr, Alexandru F. ; Al-Sibahi, Ahmad Salim ; Dimovski, Aleksandar S. ; Savolainen, Juha Erik ; Sierszecki, Krzysztof ; Wąsowski, Andrzej

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015, p.597-607

Piscataway, NJ, USA: IEEE Press

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (6)

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

Buscando em bases de dados remotas. Favor aguardar.