Buscas alternativas:
circuits » circuitos (Expandir a busca), circuito (Expandir a busca), circuit (Expandir a busca)
circuits » circuitos (Expandir a busca), circuito (Expandir a busca), circuit (Expandir a busca)
1
Assuntos:
“...Circus...”
Um verificador de modelos em K para um subconjunto da linguagem Circus
Dissertação
2
4
5
6
7
“... e concorrência, tal como CSP. Circus é uma linguagem de especificação, projeto e programação que combina Z e CSP...”
Definição e implementação do sistema de tipos da linguagem circus
Dissertação
8
Assuntos:
“...Circus...”
JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
Dissertação
9
10
11
12
“... electrical energy, which is partially dissipated in an electrical circuit. Among the circuits proposed over...”
Piezoelectric shunt damping using adaptive resonant circuits
Tese
13
Assuntos:
“...Credal probabilistic circuits...”
Qualitative global sensitivity analysis for probabilistic circuits
Tese
14
Assuntos:
“...Radiation-hardened circuits...”
Transistor level automatic generation of radiation-hardened circuits
Tese
15
16
Assuntos:
“...Asynchronous Circuits...”
Pulsar : towards a synthesis flow for QDI circuits
Dissertação
17
“...The verification process of modern integrated circuits (ICs) is a complex and time-consuming task...”
ALIAS: analog circuits abstraction for digital systems verification
Dissertação
19
Assuntos:
“...Topological quantum circuits...”
Random braid gates for topological quantum circuits
Dissertação
20
Assuntos:
“...Circus...”
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java
Dissertação