1
“...Program synthesis has been a major focus of research in recent years due to its innate capability...”
Learning sketches for programmatic strategies
Dissertação
2
Assuntos:
“...[pt] SINTESE DE PROGRAMAS...”
[en] AUTOMATIC SYNTHESIS OF DIGITAL MICROCONTROLLER PROGRAMS BY GENETIC PROGRAMMING
Tese
3
Assuntos:
“...Programming...”
iProgram: uma ferramenta de apoio à avaliação de exercícios de programação
Dissertação
4
5
Assuntos:
“...Programas de computador – Inspeção – Teses...”
Automatic inspection of program state in an uncooperative environment
Dissertação
6
Assuntos:
“...Bolsa Família Program...”
Impacts of Bolsa Família Program on infant health
Dissertação
7
Assuntos:
“...Compreensão de programa...”
ARNI: an EEG-Based Model to Measure Program Comprehension
Dissertação
8
Assuntos:
“...Depuração de programas (Computação)...”
Depuração de erros lógicos em programas paralelos.
Tese
9
Assuntos:
“...Automated program debugging...”
Depuração automática de programas baseada em modelos: uma abordagem hierárquica para auxílio ao aprendizado de programação
Dissertação
10
Assuntos:
“...Transformações de Programas...”
An approach to rank program transformations based on machine learning.
Dissertação
11
Assuntos:
“...Transformações de Programas...”
An approach to rank program transformations based on machine learning.
Dissertação
12
Assuntos:
“...Reparo de programas...”
Novel fitness functions using source code checkpoints for search-based program repair
Dissertação
13
Assuntos:
“...Programas de Computacao...”
Extracting, organising, designing and reusing prolog programming techniques
Tese
14
Assuntos:
“...[pt] PROGRAMA FIXO...”
[en] DESIGN OF A FIXED PROGRAM COMPUTER COUPLED TO A RECEIVER USED FOR ARTIFICIAL SATELLITE NAVIGATION
Tese
15
Assuntos:
“...Fases do programa...”
PhTM*: uma implementação eficiente de transações em fases
Dissertação
16
Assuntos:
“...[pt] FAMILIAS DE PROGRAMAS EVOLUTIVAS...”
[en] HISTORY-SENSITIVE RECOVERY OF FEATURES IN CODE OF EVOLVING PROGRAM FAMILIES
Tese
17
Assuntos:
“...'Mais Médicos' program...”
Assessing the impact the 'Mais Médicos' program on basic health care indicators
Dissertação
18
Assuntos:
“...Programas de computadores...”
Development of a reliability program for adjusting aircraft functional check task intervals
Dissertação
19
Assuntos:
“...Programming paradigm...”
Design of a modular multiparadigm programming language for teaching programming concepts
Dissertação
20
Assuntos:
“...Orçamento-programa...”
Mixed-integer linear programming based approaches for the resource constrained project scheduling problem.
Tese