Mostrando 1 - 7 resultados de 7 para a busca 'parallelism based automatic programming', tempo de busca: 0,15s

1

Assuntos: ...Parallel Programming...

High-level programming abstractions for stream parallelism on gpus

Publicado em 2020
Dissertação

2

Assuntos: ...Parallel Programming...

High-level programming abstractions for distributed stream processing

Publicado em 2020
Dissertação

7

... Qt. Estas bibliotecas foram integradas inicialmente ao verificador de software Efficient SMT-Based Bounded Model...

Verificação de programas multi-tarefas baseado no framework multiplataforma QT

Publicado em 2019
Dissertação