Mostrando
1 - 6
resultados de
6
para a busca '
Miguel Gonçalves Areias
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Miguel Gonçalves Areias
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 6
resultados de
6
para a busca '
Miguel Gonçalves Areias
'
, tempo de busca: 0,02s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Towards Multi-Threaded Local Tabling Using a Common Table Space
por
Miguel
Gonçalves
Areias
Publicado em 2012
Acessar documento (1)
Acessar documento (2)
Artigo
2
A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
por
Miguel
Gonçalves
Areias
Publicado em 2016
Acessar documento (1)
Acessar documento (2)
Artigo
3
Batched Evaluation of Linear Tabled Logic Programs
por
Miguel
Gonçalves
Areias
Publicado em 2013
Acessar documento (1)
Acessar documento (2)
Artigo
4
On scaling dynamic programming problems with a multithreaded tabling, Prolog system
por
Miguel
Gonçalves
Areias
Publicado em 2017
Acessar documento (1)
Acessar documento (2)
Artigo
5
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs
por
Miguel
Gonçalves
Areias
Publicado em 2011
Acessar documento (1)
Acessar documento (2)
Artigo
6
On the implementation of a cloud-based computing test bench environment for prolog systems
por
Gonçalves,R
Publicado em 2017
Outros Autores:
“
...
Miguel
Gonçalves
Areias
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
Exportar CSV
Exportar RIS
Carregando...