Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification process » densification process (Expandir a busca), clarification process (Expandir a busca), nitrification process (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification process » densification process (Expandir a busca), clarification process (Expandir a busca), nitrification process (Expandir a busca)
1
Assuntos:
“...Processamento paralelo...”
Parallel algorithms for scalable logic synthesis & verification
Tese
2
“... algorithms, we were able to find 295 problems taking less than 1 second to complete the verification on most...”
Automated verification of care pathways using constraint programming
Dissertação
3
Assuntos:
“...[en] FORMAL VERIFICATION...”
[pt] ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM
Tese
4
“... resulted in expressive volumes of data to be inspected and processed. An important task consists...”
Visual Analytics to Assist Event Labelling Verification in Soundscape Ecology
Dissertação
6
7
8
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
9
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
10
Assuntos:
“...Crystals-kyber (Cryptographic algorithms)...”
Implementação em Software dos Algoritmos Pós-Quânticos Kyber e Dilithium na Plataforma ARMv8
Dissertação
11
Assuntos:
“...Authenticity verification...”
MARDI: Marca d'água Digital Robusta via Decomposição de Imagens : uma proposta para aumentar a robustez de técnicas de marca d'água digital
Tese
12
Assuntos:
“...Algorithms...”
Mapas conceituais e os conceitos da disciplina de algoritmos: uma aplicação para a aprendizagem significativa
Dissertação
13
Assuntos:
“...Computer algorithms...”
A ideia principal de um texto acadêmico: um meio para descrever tendências semânticas
Tese
14
Assuntos:
“...Embedded algorithms...”
Plataforma de estudo para determinação de conectividade cerebral embarcada e em tempo real.
Dissertação
15
Assuntos:
“...Processamento de sinais - Técnicas digitais...”
Desenvolvimento de metodologia para monitoramento remoto de rodovias: VANTRod
Dissertação
16
Assuntos:
“...Genetic algorithms...”
Vericação funcional de sistemas digitais utilizando algoritmos genéticos na geração de dados aplicada a metodologia veriSC
Dissertação
17
Assuntos:
“...Algorithms...”
z-NAF e clipping: two improvements for post-quantum hash-based digital signatures.
Dissertação
18
Assuntos:
“...Processamento eletrônico de dados em tempo real...”
Desenvolvimento de um sistema distribuído de identificação em tempo real de parâmetros de qualidade de energia elétrica
Dissertação
19
Assuntos:
“...Classification algorithms...”
Métodos de classificação supervisionados aplicados à identificação de fraudes de fornecedores do Estado do Rio de Janeiro.
Dissertação
20
Assuntos:
“...Data verification...”
Serviços de validação de dados cadastrais e biométricos a partir do caso “Datavalid”
Dissertação