Parallel algorithms for the transitive closure and the connected component problems
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Finding Lowest Common Ancestors in Parallel
IEEE Transactions on Computers
A new approach to the maximum flow problem
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
A fast parallel algorithm for determining all roots of a polynomial with real roots
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
One, two, three . . . infinity: lower bounds for parallel computation
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Solving minimum-cost flow problems by successive approximation
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Parallel symmetry-breaking in sparse graphs
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
A new approach to the maximum-flow problem
Journal of the ACM (JACM)
Algorithmic Techniques for Computer Vision on a Fine-Grained Parallel Machine
IEEE Transactions on Pattern Analysis and Machine Intelligence
On the relationship of congruence closureand unification
Journal of Symbolic Computation
The power of parallel pointer manipulation
SPAA '89 Proceedings of the first annual ACM symposium on Parallel algorithms and architectures
Deterministic P-RAM simulation with constant redundancy
SPAA '89 Proceedings of the first annual ACM symposium on Parallel algorithms and architectures
Efficient parallel algorithms can be made robust
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Declarative visualization in the shared dataspace paradigm
ICSE '89 Proceedings of the 11th international conference on Software engineering
Scans as Primitive Parallel Operations
IEEE Transactions on Computers
Parallel tree pattern matching
Journal of Symbolic Computation
A Parallel Algorithm for Solving Sparse Triangular Systems
IEEE Transactions on Computers
Efficient robust parallel computations
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
Combining tentative and definite executions for very fast dependable parallel computing
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Process coordination with fetch-and-increment
ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems
Performance analysis of concurrent-read exclusive-write
SIGMETRICS '91 Proceedings of the 1991 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Logarithmic time cost optimal parallel sorting is not yet fast in practice!
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Efficient parallel algorithms on restartable fail-stop processors
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
ACM SIGARCH Computer Architecture News
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Spatial machines: a more realistic approach to parallel computation
Communications of the ACM
LogP: towards a realistic model of parallel computation
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Optimal broadcast and summation in the LogP model
SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
Asynchronous analysis of parallel dynamic programming
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A survey of PRAM simulation techniques
ACM Computing Surveys (CSUR)
Modeling communication in parallel algorithms: a fruitful interaction between theory and systems?
SPAA '94 Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures
A bibliography on parallel parsing
ACM SIGPLAN Notices
Maya: a simulation platform for distributed shared memories
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Parallel solutions to geometric problems in the scan model of computation
Journal of Computer and System Sciences
Are multiport memories physically feasible?
ACM SIGARCH Computer Architecture News - Special issue on input/output in parallel computer systems
Are multiport memories physically feasible?
ACM SIGARCH Computer Architecture News
Mixed consistency: a model for parallel programming (extended abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Parallel molecular computation
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
A comprehensive bibliography of distributed shared memory
ACM SIGOPS Operating Systems Review
The SPLASH-2 programs: characterization and methodological considerations
ISCA '95 Proceedings of the 22nd annual international symposium on Computer architecture
Parallelism in sequential functional languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Asynchronous Analysis of Parallel Dynamic Programming Algorithms
IEEE Transactions on Parallel and Distributed Systems
An optimal algorithm for constructing the reduced Gröbner basis of binomial ideals
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Exponential space computation of Gröbner bases
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Efficient execution of nondeterministic parallel programs on asynchronous systems
Proceedings of the eighth annual ACM symposium on Parallel algorithms and architectures
LogP: a practical model of parallel computation
Communications of the ACM
Fast Parallel Sorting Under LogP: Experience with the CM-5
IEEE Transactions on Parallel and Distributed Systems
A quantitative comparison of parallel computation models
Proceedings of the eighth annual ACM symposium on Parallel algorithms and architectures
Can shared-memory model serve as a bridging model for parallel computation?
Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures
Support for Efficient Programming on the SB-PRAM
International Journal of Parallel Programming
A quantitative comparison of parallel computation models
ACM Transactions on Computer Systems (TOCS)
Journal of the ACM (JACM)
A new class of parallel algorithms for solving linear tridiagonal systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Array processor with multiple broadcasting
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Issues related to MIMD shared-memory computers: the NYU ultracomputer approach
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
CMAPS: a cosynthesis methodology for application-oriented parallel systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Improved parallel and sequential walking tree methods for biological string alignments
SC '99 Proceedings of the 1999 ACM/IEEE conference on Supercomputing
Parallel RAMs with owned global memory and deterministic context-free language recognition
Journal of the ACM (JACM)
ZPL: A Machine Independent Programming Language for Parallel Computers
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools for parallel processing
Towards practical deteministic write-all algorithms
Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures
Theoretical Computer Science
Decentralized Resource Management for a Distributed Continuous Media Server
IEEE Transactions on Parallel and Distributed Systems
Architectural differences of efficient sequential and parallel computers
Journal of Systems Architecture: the EUROMICRO Journal
Adaptive parallel computing on heterogeneous networks with mpC
Parallel Computing
Context-based compression of binary images in parallel
Software—Practice & Experience
An Optimal Implementation of Broadcasting with Selective Reduction
IEEE Transactions on Parallel and Distributed Systems
The Classification, Fusion, and Parallelization of Array Language Primitives
IEEE Transactions on Parallel and Distributed Systems
Decentralized Resource Management for a Distributed Continuous Media Server
IEEE Transactions on Parallel and Distributed Systems
Controlling memory access concurrency in efficient fault-tolerant parallel algorithms
Nordic Journal of Computing
Parallel Algorithm Design with Coarse-Grained Synchronization
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
Cost Hierarchies for Abstract Parallel Machines
LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers
Heaps Are Better than Buckets: Parallel Shortest Paths on Unbalanced Graphs
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
A Parallel Simulation of Cellular Automata by Spatial Machines
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Condensed Graphs: A Multi-level, Parallel, Intermediate Representation
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Fixpoint Theory for Non-monotonic Parallelism
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Adaptive Execution of Pipelines
Proceedings of the 8th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Portable and architecture independent parallel performance tuning using BSP
Parallel Computing
A hierarchical modeling framework for on-chip communication architectures
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Bounds on the time for parallel RAM's to compute simple functions
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Routing, merging and sorting on parallel models of computation
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Relations between concurrent-write models of parallel computation
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Speedups of deterministic machines by synchronous parallel machines
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Parallel algorithms for unification and other complete problems in p
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Abstracting network characteristics and locality properties of parallel systems
HPCA '95 Proceedings of the 1st IEEE Symposium on High-Performance Computer Architecture
Configuration Independent Analysis for Characterizing Shared-Memory Applications
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
A parallel computer as a NOC region
Networks on chip
Graph coloring on coarse grained multicomputers
Discrete Applied Mathematics - Special issue: The second international colloquium, "journées de l'informatique messine"
A fixpoint theory for non-monotonic parallelism
Theoretical Computer Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic re-scheduling of dependencies in a RPC-based grid
Proceedings of the 18th annual international conference on Supercomputing
The complexity of synchronous iterative Do-All with crashes
Distributed Computing
Proceedings of the 2004 ACM/IEEE conference on Supercomputing
Predicting and Evaluating Distributed Communication Performance
Proceedings of the 2004 ACM/IEEE conference on Supercomputing
On performance analysis of heterogeneous parallel algorithms
Parallel Computing
A tight analysis and near-optimal instances of the algorithm of Anderson and Woll
Theoretical Computer Science
The design and implementation of LilyTask in shared memory
ACM SIGOPS Operating Systems Review
Communication Benchmarking and Performance Modelling of MPI Programs on Cluster Computers
The Journal of Supercomputing
Sequential and parallel algorithms for the NCA problem on pure pointer machines
Theoretical Computer Science
Modeling instruction placement on a spatial architecture
Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures
The cache complexity of multithreaded cache oblivious algorithms
Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures
Efficient parallel algorithms can be made robust
Distributed Computing
A Parallel Computational Model for Heterogeneous Clusters
IEEE Transactions on Parallel and Distributed Systems
Re-scheduling invocations of services for RPC grids
Computer Languages, Systems and Structures
PRO: a model for the design and analysis of efficient and scalable parallel algorithms
Nordic Journal of Computing
RAT: a methodology for predicting performance in application design migration to FPGAs
HPRCTA '07 Proceedings of the 1st international workshop on High-performance reconfigurable computing technology and applications: held in conjunction with SC07
Formula dissection: A parallel algorithm for constraint satisfaction
Computers & Mathematics with Applications
HPM: a hierarchical model for parallel computations
International Journal of High Performance Computing and Networking
Foundations for the integration of scheduling techniques into compilers for parallel languages
International Journal of Computational Science and Engineering
Distributed computing and the multicore revolution
ACM SIGACT News
BSGP: bulk-synchronous GPU programming
ACM SIGGRAPH 2008 papers
Optimal speedup on a low-degree multi-core parallel architecture (LoPRAM)
Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures
A pilot study to compare programming effort for two parallel programming models
Journal of Systems and Software
A Bridging Model for Multi-core Computing
ESA '08 Proceedings of the 16th annual European symposium on Algorithms
RAT: RC Amenability Test for Rapid Performance Prediction
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
A unified model for multicore architectures
IFMT '08 Proceedings of the 1st international forum on Next-generation multicore/manycore technologies
Configurable emulated shared memory architecture for general purpose MP-SOCs and NOC regions
NOCS '09 Proceedings of the 2009 3rd ACM/IEEE International Symposium on Networks-on-Chip
Computers and Electrical Engineering
Evaluating multicore algorithms on the unified memory model
Scientific Programming - Software Development for Multi-core Computing Systems
Graph coloring on coarse grained multicomputers
Discrete Applied Mathematics
Information Processing Letters
Outline of RISC-based core for multiprocessor on chip architecture supporting moving threads
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
MVTsim: software simulator for multicore on chip parallel computer architectures
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Low-contention data structures
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
Work-optimal routing in wavelength-division multiplexed three-dimensional dense optical tori
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
Towards programming on the moving threads architecture
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
Estimating parallel performance, a skeleton-based approach
Proceedings of the fourth international workshop on High-level parallel programming and applications
Algorithms and theory of computation handbook
Parallel computation: models and complexity issues
Algorithms and theory of computation handbook
Characterising effective resource analyses for parallel and distributed coordination
FOPARA'09 Proceedings of the First international conference on Foundational and practical aspects of resource analysis
A bridging model for multi-core computing
Journal of Computer and System Sciences
Predictability of bulk synchronous programs using MPI
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
LogfP - a model for small messages in InfiniBand
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Performance comparison of some shared memory organizations for 2D mesh-like NOCs
Microprocessors & Microsystems
An analytical model for multilevel performance prediction of Multi-FPGA systems
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Performance modeling for multilevel communication in SHMEM+
Proceedings of the Fourth Conference on Partitioned Global Address Space Programming Model
Cache size in a cost model for heterogeneous skeletons
Proceedings of the fifth international workshop on High-level parallel programming and applications
Bounded arboricity to determine the local structure of sparse graphs
WG'06 Proceedings of the 32nd international conference on Graph-Theoretic Concepts in Computer Science
ISPA'05 Proceedings of the Third international conference on Parallel and Distributed Processing and Applications
Multi-DaC programming model: a variant of multi-BSP model for divide-and-conquer algorithms
DAMP '12 Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming
Generating c code from LOGS specifications
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Fundamental features of metabolic computing
MICAI'11 Proceedings of the 10th international conference on Artificial Intelligence: advances in Soft Computing - Volume Part II
Low-contention data structures
Journal of Parallel and Distributed Computing
SGL: towards a bridging model for heterogeneous hierarchical platforms
International Journal of High Performance Computing and Networking
Parallel algorithms for the assignment and minimum-cost flow problems
Operations Research Letters
COMPLEXITY AND STRUCTURE IN FORMAL LANGUAGE THEORY
Fundamenta Informaticae
Work-optimal two-phase routing in a sparse optical torus
Proceedings of the 13th International Conference on Computer Systems and Technologies
Estimating parallel performance
Journal of Parallel and Distributed Computing
Proceedings of the 14th International Conference on Computer Systems and Technologies
A memory access model for highly-threaded many-core architectures
Future Generation Computer Systems
Measurement of the latency parameters of the Multi-BSP model: a multicore benchmarking approach
The Journal of Supercomputing
Hi-index | 0.05 |
A model of computation based on random access machines operating in parallel and sharing a common memory is presented. The computational power of this model is related to that of traditional models. In particular, deterministic parallel RAM's can accept in polynomial time exactly the sets accepted by polynomial tape bounded Turing machines; nondeterministic RAM's can accept in polynomial time exactly the sets accepted by nondeterministic exponential time bounded Turing machines. Similar results hold for other classes. The effect of limiting the size of the common memory is also considered.