Buscas alternativas:
method optimization » period optimization (Expandir a busca), mixed optimization (Expandir a busca), control optimization (Expandir a busca)
parallel formal » parallel fiscal (Expandir a busca)
formal method » formal methods (Expandir a busca)
Mostrando 1 - 5 resultados de 5 para a busca 'parallel formal method optimization', tempo de busca: 0,12s

1

On the Spingarn's partial inverse method: inexact versions, convergence rates and applications to operator splitting and optimization

Publicado em 2018
Acessar documento
Tese

2

Mudança de estrutura de representação de operadores em morfologia matemática

Publicado em 2000
Acessar documento
Tese

3

Algoritmos paralelos exatos e otimizações para alinhamento de sequências biológicas longas em plataformas de alto desempenho

Publicado em 2015
Acessar documento (1)
Acessar documento (2)
Tese

4

Uma estrategia de rebalanceamento de estados para checkpoints particionados

Publicado em 2023
Acessar documento
Dissertação

5

“... based on a decomposition into parallel factors (PARAFAC). If SISO, the components of the new model have...”

High-order statistical methods for blind channel identification and source detection with applications to wireless communications

Publicado em 2008
Acessar documento
Tese