Buscas alternativas:
"verification" » "verificacao" (Expandir a busca), "verificado" (Expandir a busca), "verificamos" (Expandir a busca)
"verification" » "verificacao" (Expandir a busca), "verificado" (Expandir a busca), "verificamos" (Expandir a busca)
1
Assuntos:
“...Verification methodology...”
Verificação funcional para circuitos de transmissão e recepção de sinais mistos.
Dissertação
2
Assuntos:
“...CAD for verification...”
Ferramenta CAD para extração de modelo de cobertura de saída por itens em verificação funcional.
Dissertação
3
Assuntos:
“...Network verification...”
VERMONT : an In-band telemetry-based approach for live network property verification
Dissertação
4
Assuntos:
“...Signature verification...”
An offline writer independent signature verification method with robustness against scalings and rotations
Dissertação
5
Assuntos:
“...Verification...”
Metodologia de Verificação Funcional para Circuitos Analógicos
Dissertação
6
Assuntos:
“...BVM - Verification Methodology...”
BVM: reformulação da metodologia de verificação funcional VeriSC.
Dissertação
7
Assuntos:
“...Software Verification...”
Rabbit: A novel approach to find data-races during state-space exploration
Dissertação
8
Assuntos:
“...Software Verification...”
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
Dissertação
9
Assuntos:
“...Data Verification and Validation...”
Análise de cobertura funcional na fase de integração de blocos de circuitos digitais.
Tese
10
Assuntos:
“...Formal Verification...”
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
Dissertação
11
Assuntos:
“...Verification...”
Uncovering bugs in P4 programs with assertion based verification
Dissertação
12
13
Assuntos:
“...Functional verification...”
VEasy : a tool suite towards the functional verification challenges
Tese
14
Assuntos:
“...Formal verification or finite-state systems...”
Verificação formal de sistemas modelados em estados finitos.
Dissertação
15
Assuntos:
“...Formal Verification...”
Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução.
Dissertação
16
Assuntos:
“...Program Verification...”
Validação visual de programas Ladder baseada em modelos.
Dissertação
17
Assuntos:
“...Verification Environments...”
Ferramenta web semiautomática para geração de ambientes de verificação UVM com SystemVerilog
Dissertação
18
19
Assuntos:
“...Formal verification...”
FormAr: software architecture formalization for critical applications
Dissertação
20
Assuntos:
“...SPEAKER VERIFICATION...”
Um estudo sobre a robustez de técnicas de verificação de locutores com D-vectors
Dissertação