Sciweavers

3686 search results - page 211 / 738
» Pattern-Based Parallel Programming
Sort
View
PDS
1996
15 years 4 months ago
Towards a theory of shared data in distributed systems
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
Simon A. Dobson, Christopher P. Wadsworth
151
Voted
AI
2011
Springer
14 years 10 months ago
Stable models and circumscription
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
IPPS
2009
IEEE
15 years 9 months ago
Implementing protein seed-based comparison algorithm on the SGI RASC-100 platform
This paper describes a parallel FPGA implementation of a genomic sequence comparison algorithm for finding similarities between a large set of protein sequences and full genomes....
Van Hoa Nguyen, Alexandre Cornu, Dominique Lavenie...
138
Voted
IPPS
2005
IEEE
15 years 8 months ago
Benchmark Measurements of Current UPC Platforms
UPC is a parallel programming language based on the concept of partitioned shared memory. There are now several UPC compilers available and several different parallel architecture...
Zhang Zhang, Steven Seidel
IPPS
1999
IEEE
15 years 7 months ago
The MuSE System: A Flexible Combination of On-Stack Execution and Work-Stealing
Executing subordinate activities by pushing return addresses on the stack is the most e cient working mode for sequential programs. It is supported by all current processors, yet i...
Markus Leberecht