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

J. L. McNeley

dblp:180/6335 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
0since 2021 · last 1964
—ORCID · none

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

Systems, architecture and hardware · 2

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
2 papers
Performance modeling and evaluation · 62% Parallel and multicore computing · 38%
Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

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

TopicWeightPapersLastEvidence papers
Programming languages and type systems
language design
0.011964
A Formal Definition of SOL · IEEE Trans. Electron. Comput. 1964
Parallel and multicore computing
parallel programming models
0.011964
SOLߞA Symbolic Language for General-Purpose Systems Simulation · IEEE Trans. Electron. Comput. 1964
Performance modeling and evaluation › simulation
simulation language
0.011964
SOLߞA Symbolic Language for General-Purpose Systems Simulation · IEEE Trans. Electron. Comput. 1964
Performance modeling and evaluation
simulation
0.021964
A Formal Definition of SOL · IEEE Trans. Electron. Comput. 1964
SOLߞA Symbolic Language for General-Purpose Systems Simulation · IEEE Trans. Electron. Comput. 1964

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

formal semantics · 0.0discrete-event simulation · 0.0
YearPublicationVenuePosition
1964 SOLߞA Symbolic Language for General-Purpose Systems Simulation
abstract
This paper illustrates the use of SOL, a general-purpose algorithmic language useful for describing and simulating complex systems. Such a system is described as a number of individual processes which simultaneously enact a program very much like a computer program. (Some features of the SOL language are directly applicable to programming languages for parallel computers, as well as for simulation.) Once a system has been described in the language, the program can be translated by the SOL compiler into an interpretive code, and the execution of this code produces statistical information about the model. A detailed example of a SOL model for a multiple on-line console system is exhibited, indicating the notational simplicity and intuitive nature of the language.
Donald E. Knuth, J. L. McNeley
IEEE Trans. Electron. Comput.2
1964 A Formal Definition of SOL
abstract
This paper gives a formal definition of SOL, a general-purpose algorithmic language useful for describing and simulating complex systems. SOL is described using meta-linguistic formulas as used in the definition of ALGOL 60. The principal differences between SOL and problem-oriented languages such as ALGOL or FORTRAN is that SOL includes capabilities for expressing parallel computation, convenient notations for embedding random quantities within arithmetic expressions and automatic means for gathering statistics about the elements involved. SOL differs from other simulation languages such as SIMSCRIPT primarily in simplicity of use and in readability since it is capable of describing models without including computer-oriented characteristics.
Donald E. Knuth, J. L. McNeley
IEEE Trans. Electron. Comput.2