Buscas alternativas:
parallel implementacao » parallel implementation (Expandir a busca), parallel implementations (Expandir a busca), brasil implementacao (Expandir a busca)
implementacao formal » implementacao local (Expandir a busca), implementacao geral (Expandir a busca), implementacao vetorial (Expandir a busca)
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
Mostrando 1 - 6 resultados de 6 para a busca 'parallel implementacao formal programming*', tempo de busca: 0,25s

1

Assuntos: “...Formal methods...”

Contratos formais para derivação e verificação de componentes paralelos

Publicado em 2012
Acessar documento
Dissertação

2

Assuntos: “...Parallel programming...”

Um conjunto de recursos para programação paralela orientada a objetos.

Publicado em 2001
Acessar documento
Tese

3

Assuntos: “...Parallel...”

Um Compilador para a linguagem RS distribuída

Publicado em 2001
Acessar documento
Dissertação

4

“... delas são influenciadas pela implementação de tais sistemas, isto e, os conceitos básicos 00 de classe, objeto e herança...”

Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos

Publicado em 1995
Acessar documento
Tese

5

“.... In the first one, we present the Multi-Language Programming Interface (IPML), which allows to extend...”

Contribuições à modelagem e à simulação de sistemas distribuídos usando redes de Petri coloridas - alocação de webcaches e particionamento de modelos em processos independentes...

Publicado em 2016
Acessar documento
Tese

6

“... controller programming, they are still programmed by conventional trial-and-error methods and, in practice...”

Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos

Publicado em 2009
Acessar documento
Tese