Buscas alternativas:
programaca » programacao (Expandir a busca), programada (Expandir a busca), programac (Expandir a busca)
programaca » programacao (Expandir a busca), programada (Expandir a busca), programac (Expandir a busca)
1
Assuntos:
“...Programas de Computacao...”
Extracting, organising, designing and reusing prolog programming techniques
Tese
2
Assuntos:
“...Testes de programação (Computação)...”
Um método de teste de sincronização para programas concorrentes em Ada.
Dissertação
3
Assuntos:
“...Computadores - Programação...”
Método e ferramental para mapeamento da evolução de programadores durante o desenvolvimento de programas
Dissertação
4
Assuntos:
“...Parallel programming...”
Escalonamento Work-Stealing de programas Divisão-e-Conquista com MPI-2
Dissertação
5
6
Assuntos:
“...Programação orientada a objetos (Computação)...”
Avaliação de conjuntos de testes funcionais no contexto de programas orientados a objetos e programas orientados a aspectos
Dissertação
7
Assuntos:
“...Programação - Representação de Conhecimento...”
Uma ferramenta para verificação interativa de programas vip.
Dissertação
8
Assuntos:
“...Programação - Representação de Conhecimento...”
Uma ferramenta para verificação interativa de programas vip.
Dissertação
9
Assuntos:
“...Programação linear...”
Mixed-integer linear programming based approaches for the resource constrained project scheduling problem.
Tese
10
11
Assuntos:
“...[pt] PROGRAMACAO GENETICA...”
[en] AUTOMATIC SYNTHESIS OF DIGITAL MICROCONTROLLER PROGRAMS BY GENETIC PROGRAMMING
Tese
12
Assuntos:
“...Dicas de programação para iniciantes...”
Uma abordagem para auxiliar a correção de erros de programadores iniciantes
Dissertação
13
Assuntos:
“...Linguagem de programação...”
Aspectos de projeto e implementação de linguagens para codificação de programas adaptativos.
Tese
14
Assuntos:
“...Programação concorrente...”
Teste de mutação aplicado a programas concorrentes em MPI
Dissertação
15
Assuntos:
“...programação paralela...”
Desenvolvimento de modelos para predição de desempenho de programas paralelos MPI.
Dissertação
16
Assuntos:
“...Programação por Contratos...”
"Aprimorando a verificação de conformidade em programas baseadas em contratos".
Dissertação
17
Assuntos:
“...Programação por Contratos...”
"Aprimorando a verificação de conformidade em programas baseadas em contratos".
Dissertação
18
Assuntos:
“...Linguagem de programação C++...”
Verificação baseada em indução matemática para programas C++
Dissertação
19
Assuntos:
“...Linguagem de programação...”
Modelagem de programas e sua verificação para controladores programáveis.
Dissertação
20
Assuntos:
“...Linguagem de Programação...”
PBIW-SPARC: Uma Estratégia de Codificação de Instruções para Programas SPARC
Dissertação