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:
“...Network verification...”
VERMONT : an In-band telemetry-based approach for live network property verification
Dissertação
2
Assuntos:
“...Software Verification...”
Rabbit: A novel approach to find data-races during state-space exploration
Dissertação
3
4
Assuntos:
“...Verification...”
Uncovering bugs in P4 programs with assertion based verification
Dissertação
5
Assuntos:
“...Functional verification...”
VEasy : a tool suite towards the functional verification challenges
Tese
6
7
8
Assuntos:
“...Formal verification...”
Network testing through grammars : towards the analysis of property violation on computer networks
Tese
9
Assuntos:
“...Software verification...”
Modern code review : from foundational studies to proposed approaches and their evaluation
Dissertação
10
11
Assuntos:
“...Verification...”
Automatic inspection of program state in an uncooperative environment
Dissertação
12
13
Assuntos:
“...Formal verification...”
Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation
Tese
14
Assuntos:
“...Software Verification...”
Formal verification to ensuring the memory safety of C++ Programs
Dissertação
15
16
17
Assuntos:
“...Design verification of VLSI circuits...”
Functional timing analysis of VLSI circuits containing complex gates
Tese
18
Assuntos:
“...Face verification...”
Face recognition based on a collection of binary classifiers
Dissertação