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
“... of data makes manually labelling all the data unfeasible. Furthermore, the manual process is prone...”
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:
“...Embedded algorithms...”
Plataforma de estudo para determinação de conectividade cerebral embarcada e em tempo real.
Dissertação
12
Assuntos:
“...Processamento de sinais - Técnicas digitais...”
Desenvolvimento de metodologia para monitoramento remoto de rodovias: VANTRod
Dissertação
13
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
14
Assuntos:
“...Algorithms...”
Mapas conceituais e os conceitos da disciplina de algoritmos: uma aplicação para a aprendizagem significativa
Dissertação
15
Assuntos:
“...Computer algorithms...”
A ideia principal de um texto acadêmico: um meio para descrever tendências semânticas
Tese
16
“... ou ainda algoritmos de processamento digital de sinais. Inicialmente o algoritmo foi descrito e validado...”
Um processador CORDIC integrado.
Dissertação
17
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
18
Assuntos:
“...Genetic algorithms...”
Vericação funcional de sistemas digitais utilizando algoritmos genéticos na geração de dados aplicada a metodologia veriSC
Dissertação
19
Assuntos:
“...Processamento de sinais - Modelos matemáticos...”
Avaliação de algoritimos para geração de imagens por ultrassom utilizando técnicas de beamformers adaptativos e sparse arrays
Dissertação
20
Assuntos:
“...Algorithms...”
z-NAF e clipping: two improvements for post-quantum hash-based digital signatures.
Dissertação