Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jim A. Crammond

dblp:03/3590 · DBLP profile ↗
← Back
4ranked-venue papers
3as first author
0since 2021 · last 1990
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 3 · 2 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-authorTheory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Parallel and multicore computing · 87% Processor architecture and microarchitecture · 13%
Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems
logic programming
0.011985
A Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Languages · IEEE Trans. Computers 1985
Programming languages and type systems › logic programming
unification
0.011985
A Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Languages · IEEE Trans. Computers 1985
Parallel and multicore computing › parallel programming models › task parallelism
OR-parallelism
0.011985
A Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Languages · IEEE Trans. Computers 1985
Parallel and multicore computing › parallel computing › parallel programming languages
parallel logic programming
0.011985
A Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Languages · IEEE Trans. Computers 1985

Methods — techniques the papers use, named apart from their topics

performance analysis · 0.0
YearPublicationVenuePosition
1990 Comparison of Two Shared-Memory Emulators for Flat Committed-Choice Logic Programs
Evan Tick, Jim A. Crammond
ICPP (2)2
1985 A Comparative Study of Unification Algorithms For Or-Parallel Execution of Logic Languages
Jim A. Crammond
ICPP1
1985 A Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Languages
abstract
As a step toward designing a computer architecture suitable for executing parallel logic languages, the author has studied some memory management techniques proposed for creating multiple binding environments, which are required with OR-parallelism. Three algorithms have been implemented using a Prolog-like interpreter and have been tried on some logic programs, to attempt to compare their relative performance. The author describes these algorithms and their implementation and discusses the results of the performance analysis. The attempts compare the algorithms, although accurate comparisons are difficult to make since some aspects of the algorithms are architecture-dependent.
Jim A. Crammond
IEEE Trans. Computers1
1984 An Architecture for Parallel Logic Languages
Jim A. Crammond, C. D. F. Miller
ICLP1