1
Assuntos:
“...Programas de Computacao...”
Extracting, organising, designing and reusing prolog programming techniques
Tese
2
“.... In this work we show that behavioral cloning can be used to learn effective sketches of programmatic...”
Learning sketches for programmatic strategies
Dissertação
3
Assuntos:
“...Programming tests (Computing)...”
Um método de teste de sincronização para programas concorrentes em Ada.
Dissertação
4
Assuntos:
“...Computers - Programming...”
Método e ferramental para mapeamento da evolução de programadores durante o desenvolvimento de programas
Dissertação
5
Assuntos:
“...Parallel programming...”
Escalonamento Work-Stealing de programas Divisão-e-Conquista com MPI-2
Dissertação
6
Assuntos:
“...Object-oriented programming...”
Avaliação de conjuntos de testes funcionais no contexto de programas orientados a objetos e programas orientados a aspectos
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:
“...Orçamento-programa...”
Mixed-integer linear programming based approaches for the resource constrained project scheduling problem.
Tese
10
Assuntos:
“...[pt] SINTESE DE PROGRAMAS...”
[en] AUTOMATIC SYNTHESIS OF DIGITAL MICROCONTROLLER PROGRAMS BY GENETIC PROGRAMMING
Tese
11
Assuntos:
“...Depuração de programas (Computação)...”
Depuração de erros lógicos em programas paralelos.
Tese
12
Assuntos:
“...Tips for programming beginners...”
Uma abordagem para auxiliar a correção de erros de programadores iniciantes
Dissertação
13
Assuntos:
“...Programming languages...”
Aspectos de projeto e implementação de linguagens para codificação de programas adaptativos.
Tese
14
Assuntos:
“...Concurrent programming...”
Teste de mutação aplicado a programas concorrentes em MPI
Dissertação
15
Assuntos:
“...parallel programming...”
Desenvolvimento de modelos para predição de desempenho de programas paralelos MPI.
Dissertação
16
Assuntos:
“...Programming by Contract...”
"Aprimorando a verificação de conformidade em programas baseadas em contratos".
Dissertação
17
Assuntos:
“...Programming by Contract...”
"Aprimorando a verificação de conformidade em programas baseadas em contratos".
Dissertação
18
Assuntos:
“...C++ programming language...”
Verificação baseada em indução matemática para programas C++
Dissertação
19
Assuntos:
“...Programming language...”
Modelagem de programas e sua verificação para controladores programáveis.
Dissertação
20
Assuntos:
“...Programabilidade de rede...”
Consistent code composition and modular data plane programming
Dissertação