Buscas alternativas:
parallel la » parallel flat (Expandir a busca), parallel sat (Expandir a busca), parallel to (Expandir a busca)
la logic » la logica (Expandir a busca), of logic (Expandir a busca), _ logic (Expandir a busca)
parallel la » parallel flat (Expandir a busca), parallel sat (Expandir a busca), parallel to (Expandir a busca)
la logic » la logica (Expandir a busca), of logic (Expandir a busca), _ logic (Expandir a busca)
1
Assuntos:
“...Algorithmes parallèle...”
Analysis of synchronizations in greedy-scheduled executions and applications to efficient generation of pseudorandom numbers in parallel
Tese
2
Assuntos:
“...Arranjos de lógica programável em campo...”
Contribuição para o desenvolvimento de uma arquitetura de computação própria ao paradigma orientado a notificações
Tese
3
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
4
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
5
Assuntos:
“...Programming languages (Electronic computers)...”
Simulação de uma arquitetura de computação própria ao paradigma orientado a notificações
Dissertação