Sugestões de Tópicos... dentro de sua busca.
Aritmética Intervalar 1
CIENCIAS EXATAS E DA TERRA: CIENCIA DA COMPUTACAO 1
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO 1
A mostrar 1 - 7
de 7
para a busca: '"Verificação de Modelos"',
tempo de busca: 0.85s
Refinar a Busca
- Recursos
- Grau
- Assunto
4
ENGENHARIAS: ENGENHARIA ELÉTRICA
4
Verificação de modelos
1
Algoritmo genético
1
Aritmética Intervalar
1
CIENCIAS EXATAS E DA TERRA: CIENCIA DA COMPUTACAO
1
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO
Mais ...
1
Controladores digitais
1
Controladores programáveis - Software
1
Coprojeto hardware/software
1
Depuração
1
ENGENHARIAS
1
ESBMC-Jimple
1
Efficient SMT-Based Context-Bounded Model Checker (ESBMC)
1
Embedded systems
1
GPU
1
Genetic algorithm
1
Hardware/software co-design
1
Integer linear programming
1
Linguagem Lua
1
Localização de Falhas
1
Model checking
1
Particionamento
1
Partitioning
1
Processamento digital de sinais
1
Programas CUDA
1
Programação linear inteira
1
Programação por Restrições
1
Sequencialização
1
Sistemas de controle
1
Sistemas embarcados
menos ...
- Autor
- Idioma
- Ano da publicação