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.

Thomas J. Sheffler

dblp:97/4565 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
0since 2021 · last 1996
—ORCID · none

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

Systems, architecture and hardware · 4 · 2 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
Electronic design automation · 100%

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

TopicWeightPapersLastEvidence papers
Electronic design automation
circuit simulation
0.011987
COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987
Electronic design automation › hardware simulation
compiled simulation
0.011987
COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987
Electronic design automation
hardware verification and test
0.011987
COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987
Electronic design automation › circuit simulation
switch-level simulation
0.011987
COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987

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

symbolic analysis · 0.0boolean representation · 0.0
YearPublicationVenuePosition
1996 Algorithms for Automatic Alignment of Arrays
Siddhartha Chatterjee, John R. Gilbert, Leonid Oliker, Robert Schreiber, Thomas J. Sheffler
J. Parallel Distributed Comput.5
1993 An Analysis of Hashing on Parallel and Vector Computers
abstract
Parallel hashing is well-known in the folklore of parallel computing, but there has been a remarkable dearth of literature describing it in detail. Because many parallel algorithms such as histogramming, set intersection and dictionary lookup can make use of hashing as a core step, hashing is a fundamental parallel operation. This paper sheds light on the performance that may be achieved using parallel hashing algorithms and should lend credibility to their use.
Thomas J. Sheffler, Randal E. Bryant
ICPP (3)1
1993 Implementing the Multiprefix Operation on Parallel and Vector Computers
abstract
For a sequence of n values, each with an associated integer label, the multiprefix operation calculates a partial sum for each value summing all preceding values with the same label, and for each label, a reduction value summing all values with that label.The multiprefix operation has been proposed as a parallel primitive because of its power for expressing many data parallel algorithms succinctly.However, most approaches to implementing this operation have been based on speciat hardware, limiting its usefulness.This paper presents an algorithm for the multiprefix operation on n elements that runs in S = 0(W) parallel steps on a p = @ processor CRCW-ARBITRARY PRAM.Because this algorithm performs only W = O(n) work, it is work efficient.While approaches based on sorting could be implemented in asymptotically fewer parallel steps, the work efficiency of this algorithm, and its low overhead make it attractive for use in real applications.A fully vectorized version of this algorithm has been designed for the CRAY Y-MP and provides good performance for a number of important algorithms.Performance data collected from integer sorting and sparse matrix-vector multiplication benchmarks based on the multiprefix operation achieve speeds that are often better than currently employed algorithms for that machine.
Thomas J. Sheffler
SPAA1
1987 COSMOS: A Compiled Simulator for MOS Circuits
abstract
The COSMOS simulator provides fast and accurate switch-level modeling of MOS digital circuits. It attains high performance by preprocessing the transistor network into a functionally equivalent Boolean representation. This description, produced by the symbolic analyzer ANAMOS, captures all aspects of switch-level networks including bidirectional transistors, stored charge, different signal strengths, and indeterminate (X) logic values. The LGCC program translates the Boolean representation into a set of machine language evaluation procedures and initialized data structures. These procedures and data structures are compiled along with code implementing the simulation kernel and user interface to produce the simulation program. The simulation program runs an order of magnitude faster than our previous simulator MOSSIM II.
Randal E. Bryant, Derek L. Beatty, Karl S. Brace, Kyeongsoon Cho, Thomas J. Sheffler
DAC5