1
Assuntos:
“...Parallelism in logic programming...”
Um ambiente para exploração de paralelismo na programação em lógica
Dissertação
2
Assuntos:
“...Logic programming...”
Uma proposta de escalonamento distribuído para exploração de paralelismo na programação em lógica
Dissertação
3
Assuntos:
“...Constraint logic programming...”
Exploração de paralelismo ou em uma linguagem em lógica com restrições
Dissertação
4
Assuntos:
“...Parallel Programming...”
High-level programming abstractions for stream parallelism on gpus
Dissertação
5
Assuntos:
“...Parallelism in logic programming...”
Granlog : um modelo para analise automatica de granulosidade na programacao em logica
Dissertação
6
Assuntos:
“...Parallel Programming...”
Data and stream parallelism optimizations on GPUs
Dissertação
7
Assuntos:
“...Functional programming...”
Exploring parallelism on pure functional languages with ACQuA
Dissertação
8
Assuntos:
“...Parallel programming...”
Parallelizing Git Checkout: a case study of I/O parallelism on desktop applications
Dissertação
9
Assuntos:
“...Data Parallelism...”
High-level multi-GPU support for multi-core stream parallelism
Dissertação
10
“... to create a DSL and support tools for high-level stream parallelism in the context of a programming...”
Domain-specific language & support tools for high-level stream parallelism
Tese
11
Assuntos:
“...Logic programming...”
Super Mario Logic: um jogo sério para lógica de programação
Dissertação
12
13
Assuntos:
“...[en] LOGIC PROGRAMMING...”
[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
Tese
14
Assuntos:
“...Probabilistic logic programming...”
Learning acyclic probabilistic logic programs from data.
Dissertação
15
“... programming. It becomes more difficult when these users have to deal with big data files since most tools...”
Gmavis : a domain-specific language for large-scale geospatial data visualization supporting multi-core parallelism
Dissertação
16
Assuntos:
“...Multi-level parallelism...”
Exploiting multiple levels of parallelism and online refinement of unstructured meshes in atmospheric model application
Tese
17
18
19
Assuntos:
“...Logic programming...”
Sobre os fundamentos de programação lógica paraconsistente
Dissertação