Search Sciweavers | Sciweavers

480 search results - page 8 / 96

» Continuations for parallel logic programming

145

click to vote

PDP
2009
IEEE

136views Distributed And Parallel Com...» more PDP 2009»

Task-Parallel versus Data-Parallel Library-Based Programming in Multicore Systems

15 years 10 months ago

Download www.des.udc.es

—Multicore machines are becoming common. There are many languages, language extensions and libraries devoted to improve the programmability and performance of these machines. In ...

Diego Andrade, Basilio B. Fraguela, James C. Brodm...

claim paper

Read More »

109

click to vote

LOPSTR
2007
Springer

103views Automated Reasoning» more LOPSTR 2007»

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

15 years 9 months ago

Download clip.dia.fi.upm.es

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

claim paper

Read More »

121

click to vote

ICLP
1993
Springer

146views Automated Reasoning» more ICLP 1993»

Some Paradigms for Visualizing Parallel Execution of Logic Programs

15 years 7 months ago

Download www.clip.dia.fi.upm.es

Manuel Carro, Luis Manuel Gómez Henrí...

claim paper

Read More »

click to vote

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

15 years 7 months ago

Download web.cecs.pdx.edu

Barton C. Massey, Evan Tick

claim paper

Read More »

click to vote

ICLP
1990
Springer

94views Automated Reasoning» more ICLP 1990»

Parallel Logic Programming Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers