Search Results - "Parallel logic programming"

Combining Data and Computation Distribution Directives for Hybrid Parallel Programming : A Transformation System.

Authors: Habel, Rachid Silber-Chaussumier, Frédérique Irigoin, François et al.

Source: International Journal of Parallel Programming; Dec2016, Vol. 44 Issue 6, p1268-1295, 28p

A full parallel radix sorting algorithm for multicore processors.

Authors: Maus, Arne¹, arnem@ifi.uio.no

Source: Norsk Informatikkonferanse; 2011, Issue 21-23, p37-48, 12p

Model transformation by example using inductive logic programming.

Authors: Balogh, Zoltán Varró, Dániel

Source: Software & Systems Modeling. Jul2009, Vol. 8 Issue 3, p347-364. 18p. 11 Diagrams.

Subjects: Computer programming, Parallel logic programming, Programming languages, Computer software, Model-integrated computing, Horn clauses

Parallel Logic Programming for Problem Solving.

Authors: Arias, Ramiro Varela Vela, Camino Rodríguez Peinador, Jorge Puente et al.

Source: International Journal of Parallel Programming. Jun2000, Vol. 28 Issue 3, p275-319. 45p.

Subjects: Parallel logic programming, Logic programming, Parallel programming, Computer programming, Heuristic programming, Problem solving, Computer science

Optimistic Parallelism Requires Abstractions.

Authors: Kulkarni, Milind Pingali, Keshav Walter, Bruce et al.

Source: Communications of the ACM. Sep2009, Vol. 52 Issue 9, p89-97. 9p. 9 Diagrams, 3 Graphs.

Subjects: Parallel logic programming, Abstract thought, Microprocessors, Computer logic, Software architecture, Sequential processing (Computer science), Data structures

Brain Derived Vision Algorithm on High Performance Architectures.

Authors: Nageswaran, Jayram Moorkanikara Felch, Andrew Chandrasekhar, Ashok et al.

Source: International Journal of Parallel Programming; Aug2009, Vol. 37 Issue 4, p345-369, 25p, 1 Color Photograph, 11 Diagrams, 5 Charts, 3 Graphs

The ParTriCluster Algorithm for Gene Expression Analysis.

Authors: Braga Araújo, Renata Trielli Ferreira, Guilherme Orair, Gustavo et al.

Source: International Journal of Parallel Programming; Apr2008, Vol. 36 Issue 2, p226-249, 24p, 12 Diagrams, 5 Charts, 7 Graphs

Complete Formal Specification of the OpenMP Memory Model.

Authors: Bronevetsky, Greg Supinski, Bronis

Source: International Journal of Parallel Programming; Aug2007, Vol. 35 Issue 4, p335-392, 58p, 8 Diagrams, 25 Charts

A Proposal for Error Handling in OpenMP.

Authors: Duran, Alejandro Ferrer, Roger Costa, Juan et al.

Source: International Journal of Parallel Programming; Aug2007, Vol. 35 Issue 4, p393-416, 24p, 1 Diagram, 16 Charts, 5 Graphs

Supporting Nested OpenMP Parallelism in the TAU Performance System.

Authors: Morris, Alan Malony, Allen Shende, Sameer

Source: International Journal of Parallel Programming; Aug2007, Vol. 35 Issue 4, p417-436, 20p, 4 Color Photographs, 1 Diagram, 1 Chart, 2 Graphs

Parallel bisecting k-means with prediction clustering algorithm.

Authors: Li, Yanjun Chung, Soon M.

Source: Journal of Supercomputing; Jan2007, Vol. 39 Issue 1, p19-37, 19p, 5 Diagrams, 4 Charts, 7 Graphs

A PAB-Based Multi-Prefetcher Mechanism.

Authors: Gendler, Alexander Mendelson, Avi Birk, Yitzhak

Source: International Journal of Parallel Programming; Apr2006, Vol. 34 Issue 2, p171-188, 18p, 1 Diagram, 1 Chart, 8 Graphs

The asymptotic performance ratio of an on-line algorithm for uniform parallel machine scheduling with release dates.

Authors: Chou, Mabel C. Queyranne, Maurice Simchi-Levi, David

Source: Mathematical Programming; Mar2006, Vol. 106 Issue 1, p137-157, 21p, 1 Chart, 3 Graphs

Evaluation of a compiler with user-selectable execution strategies for parallel recursion.

Authors: Mizutani, Yasuharu Nakajima, Daisuke Fujimoto, Noriyuki et al.

Source: Systems & Computers in Japan; 8/1/2004, Vol. 35 Issue 9, p92-103, 12p

About Parallel Programming: Paradigms, Parallel Execution and Collaborative Systems.

Authors: MOCEAN, Loredana CIACA, Monica

Source: Informatica Economica. 2009, Vol. 13 Issue 2, p95-102. 8p. 4 Diagrams.

Parallel nonlinear adaptive digital filters using recurrent neural networks.

Authors: Cao, Jianting Yahagi, Takashi

Source: Electronics & Communications in Japan, Part 3: Fundamental Electronic Science. 03/01/1997, Vol. 80 Issue 3, p83-93. 11p.

Scalable Parallel PROGRAMMING with CUDA.

Authors: Nickolls, John Buck, Ian Garland, Michael et al.

Source: ACM Queue; Mar/Apr2008, Vol. 6 Issue 2, p40-53, 14p, 3 Color Photographs, 11 Diagrams

Reduction: A Method of Proving Properties of Parallel Programs.

Authors: Lipton, Richard J.¹

Source: Communications of the ACM; Dec1975, Vol. 18 Issue 12, p717-721, 5p

Merging with Parallel Processors.

Authors: Gavril, Fănică¹

Source: Communications of the ACM; Oct75, Vol. 18 Issue 10, p588-591, 4p

GEL: Grid execution language

Authors: Ching Lian, Chua Tang, Francis Issac, Praveen et al.

Source: Journal of Parallel & Distributed Computing. Jul2005, Vol. 65 Issue 7, p857-869. 13p.

Subjects: Parallel logic programming, Computers, Grillages, Computer systems