Buscas alternativas:
checking programming » teaching programming (Expandir a busca), learning programming (Expandir a busca), planning programming (Expandir a busca)
parallel systems » parameter systems (Expandir a busca), particle systems (Expandir a busca)
systems checking » systems thinking (Expandir a busca), systems precoding (Expandir a busca), systemes selfchecking (Expandir a busca)
Mostrando 1 - 6 resultados de 6 para a busca 'parallel systems checking programming', tempo de busca: 0,14s

1

Assuntos: “...Model checking...”

Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos

Publicado em 2013
Acessar documento
Dissertação

2

Um metodo de testes para componentes tolerantes a falhas

Publicado em 2005
Acessar documento
Dissertação

3

Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Publicado em 2007
Acessar documento
Dissertação

4

Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Publicado em 2007
Acessar documento
Dissertação

5

Um benchmark para avaliação de técnicas de busca no contexto de análise de Mutantes sql

Publicado em 2013
Acessar documento
Dissertação

6

Desenvolvimento de um software para análise de eletrocardiogramas utilizando dispositivos móveis

Publicado em 2015
Acessar documento
Dissertação