1
2
Assuntos:
“...Depuração de programas (Computação)...”
Depuração de erros lógicos em programas paralelos.
Tese
3
Assuntos:
“...[pt] SINTESE DE PROGRAMAS...”
[en] AUTOMATIC SYNTHESIS OF DIGITAL MICROCONTROLLER PROGRAMS BY GENETIC PROGRAMMING
Tese
4
Assuntos:
“...Programas de computador – Inspeção – Teses...”
Automatic inspection of program state in an uncooperative environment
Dissertação
5
“...Program synthesis has been a major focus of research in recent years due to its innate capability...”
Learning sketches for programmatic strategies
Dissertação
6
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
7
Assuntos:
“...Verificador Interativo de Programas (VIP)...”
Uma ferramenta para verificação interativa de programas vip.
Dissertação
8
Assuntos:
“...Verificador Interativo de Programas (VIP)...”
Uma ferramenta para verificação interativa de programas vip.
Dissertação
9
Assuntos:
“...Programas de Computacao...”
Extracting, organising, designing and reusing prolog programming techniques
Tese
10
Assuntos:
“...Program prototypes...”
Uma ferramenta para a construção de protótipos de programas concorrentes.
Dissertação
11
Assuntos:
“...[pt] PROGRAMA FIXO...”
[en] DESIGN OF A FIXED PROGRAM COMPUTER COUPLED TO A RECEIVER USED FOR ARTIFICIAL SATELLITE NAVIGATION
Tese
12
Assuntos:
“...Bolsa Família Program...”
Impacts of Bolsa Família Program on infant health
Dissertação
13
Assuntos:
“...Computers - Programming...”
Método e ferramental para mapeamento da evolução de programadores durante o desenvolvimento de programas
Dissertação
14
Assuntos:
“...Transformações de Programas...”
An approach to rank program transformations based on machine learning.
Dissertação
15
Assuntos:
“...Transformações de Programas...”
An approach to rank program transformations based on machine learning.
Dissertação
16
Assuntos:
“...Parallel programming...”
Escalonamento Work-Stealing de programas Divisão-e-Conquista com MPI-2
Dissertação
17
Assuntos:
“...Compreensão de programa...”
ARNI: an EEG-Based Model to Measure Program Comprehension
Dissertação
18
Assuntos:
“...Program Bolsa Família...”
Efeitos do Programa Bolsa Família na fecundidade das mulheres beneficiárias
Dissertação
19
20
Assuntos:
“...[pt] FAMILIAS DE PROGRAMAS EVOLUTIVAS...”
[en] HISTORY-SENSITIVE RECOVERY OF FEATURES IN CODE OF EVOLVING PROGRAM FAMILIES
Tese