Buscas alternativas:
parallel lima » parallel link (Expandir a busca), parallel linear (Expandir a busca), parallel lines (Expandir a busca)
lima logic » lima ligia (Expandir a busca)
parallel lima » parallel link (Expandir a busca), parallel linear (Expandir a busca), parallel lines (Expandir a busca)
lima logic » lima ligia (Expandir a busca)
1
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
2
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
3
Assuntos:
“...Arranjos de lógica programável em campo...”
Estudo e implementação de operações em ponto fixo em FPGA com VHDL 2008: aplicação em controle de sistemas em tempo discreto
Dissertação
4
Assuntos:
“...Programming languages (Electronic computers)...”
Simulação de uma arquitetura de computação própria ao paradigma orientado a notificações
Dissertação