Buscas alternativas:
algorithms program » algorithms programming (Expandir a busca)
program programa » prouni programa (Expandir a busca)
Mostrando 1 - 20 resultados de 556 para a busca 'algorithms program programa*', tempo de busca: 0,14s

2

Assuntos: ...Síntese de programas...

Program synthesis from denotational semantics

Publicado em 2016
Dissertação

4

... sintática do código. Para evoluir famílias de programas de forma segura, foram propostas duas estratégias...

An approach to safely evolve preprocessor-based C program families.

Publicado em 2016
Tese

5

... sintática do código. Para evoluir famílias de programas de forma segura, foram propostas duas estratégias...

An approach to safely evolve preprocessor-based C program families.

Publicado em 2016
Tese

6

...-se uma tarefa humanamente inviável. Um assistente de provas é um programa cuja finalidade é realizar...

[en] FORMALIZATION OF CRYPTOGRAPHY ALGORITHMS IN AN INTERACTIVE THEOREM PROVER

Publicado em 2018
Tese

7

9

Assuntos: ...Python (Linguagem de programação de computador)...

Soluções de equações diofantinas lineares padrões de ordem superior

Publicado em 2020
Dissertação

10

... pela edificação. Propõe-se um modelo de algoritmos genéticos que, juntamente com um programa de simulação...

[en] BUILDINGS ENERGY EFFICIENCY–BUILDING OPTIMIZATION USING GENETIC ALGORITHMS

Publicado em 2017
Tese

11

Assuntos: ...Algorithms...

O algoritmo de Lanczos na análise estrutural

Publicado em 1993
Dissertação

13

...-motion algorithms using UAS-like rendered images, enabling inference-making about tested factors. This...

High-throughput phenotyping via UAS: the optimization within a breeding program and a new validation method based on simulation

Publicado em 2020
Tese

16

Assuntos: ...Compiladores (Programas de Computador)...

Algoritmos para escalonamento de instruções e alocação de registradores na infraestrutura LLVM

Publicado em 2013
Dissertação

19

Assuntos: ...Python (Linguagem de programação de computador)...

HotFill: cooling time constrained raster-fill planning algorithm for extrusion 3D printing

Dissertação