skip to main content
Resultados 1 2 next page
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
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

2
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

3
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

4
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

5
Difficulties in Learning C++ and GUI Programming with Qt Platform: View of Students
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Difficulties in Learning C++ and GUI Programming with Qt Platform: View of Students

Woon, Hoe-Chun ; Bau, Yoon-Teck

Proceedings of the 2017 International Conference on E-commerce, E-Business and E-Government, 2017, p.15-19

New York, NY, USA: ACM

Texto completo disponível

6
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

7
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

8
Clone merge: an eclipse plugin to abstract near-clone C++ methods
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Clone merge: an eclipse plugin to abstract near-clone C++ methods

Narasimhan, Krishna

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

Piscataway, NJ, USA: IEEE Press

Texto completo disponível

9
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

10
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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (6)

Buscando em bases de dados remotas. Favor aguardar.