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

1

Assuntos: ...Parallelism in logic programming...

Granlog : um modelo para analise automatica de granulosidade na programacao em logica

Publicado em 1996
Dissertação

3

... o software a ser testado da forma desejada. Considerando o contexto de aplicações distribuídas, a realização...

Uma abordagem para o desenvolvimento de testes de sistema automáticos de aplicações distribuídas.

Publicado em 2011
Dissertação

4

... o software a ser testado da forma desejada. Considerando o contexto de aplicações distribuídas, a realização...

Uma abordagem para o desenvolvimento de testes de sistema automáticos de aplicações distribuídas.

Publicado em 2011
Dissertação

5

...Over the last years, technological advances provide machines with different levels of parallelism...

Um processo de geração automática de código paralelo para arquiteturas híbridas com afinidade de memória

Publicado em 2014
Tese

6

... Checking (ESBMC) de forma que, através do modelo operacional proposto, o verificador ESBMC possa realizar...

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

Publicado em 2019
Dissertação

7

... architectures turn this job even more burdensome. While paradigms like task-based ease programming through its...

Combining prediction models and visualization techniques for enhanced performance analysis of irregular task-based applications

Publicado em 2021
Dissertação