The composition of concurrent programs
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using object-orientation to implement logic programming
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An experimental approach to a course on parallel and distributed algorithms
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Coarse-grain parallel programming in Jade
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Fine-grain parallelism in the ALPS programming language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Coordination languages and their significance
Communications of the ACM
Parallelizing algorithms for symbolic computation using MAPLE
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Stream driven query processing in a database
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Proving concurrent constraint programs correct
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A compiler approach to scalable concurrent-program design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Compositional parallel programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
The importance of synchronization structure in parallel program optimization
ICS '97 Proceedings of the 11th international conference on Supercomputing
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extended dynamic dependent and-parallelism in ACE
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
International Journal of Parallel Programming
The design, implementation, and evaluation of Jade
ACM Transactions on Programming Languages and Systems (TOPLAS)
Knowledge-based distributed simulation generator
ANSS '92 Proceedings of the 25th annual symposium on Simulation
The concurrent object-oriented language braid
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Search in concurrent logic languages
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Double standards: bringing task parallelism to HPF via the message passing interface
Supercomputing '96 Proceedings of the 1996 ACM/IEEE conference on Supercomputing
Generalized Communicators in the Message Passing Interface
IEEE Transactions on Parallel and Distributed Systems
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
IEEE Software
Automatic Generation of Self-Scheduling Programs
IEEE Transactions on Parallel and Distributed Systems
Data-Parallel Programming on MIMD Computers
IEEE Transactions on Parallel and Distributed Systems
A Notation for Deterministic Cooperating Processes
IEEE Transactions on Parallel and Distributed Systems
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Demand-Driven Dataflow for Concurrent Committed-Choice Code
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Functionality in ASSY system and language of functional programming
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Airshed Pollution Modeling: A Case Study in Application Development in an HPF Environment
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Sourcebook of parallel computing
Loci: a rule-based framework for parallel multi-disciplinary simulation synthesis
Journal of Functional Programming
Weaves: a framework for reconfigurable programming
International Journal of Parallel Programming - Special issue: The next generation software program
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Opus: A Coordination Language for Multidisciplinary Applications
Scientific Programming
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Scientific Programming
Productive Parallel Programming: The PCN Approach
Scientific Programming
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Parallel programming with logic languages: A survey
Computer Languages
Hi-index | 0.02 |