Results 191 to 200 of about 47,374 (229)
Some of the next articles are maybe not open access.
1995
We develop a new form of formal operational semantics, suitable for concurrent programming languages. The semantics directly supports sequential and parallel composition, rendezvous synchronization, shared variables, and non-determinism. Based on an abstract notion of program execution, a refinement relation is defined.
openaire +1 more source
We develop a new form of formal operational semantics, suitable for concurrent programming languages. The semantics directly supports sequential and parallel composition, rendezvous synchronization, shared variables, and non-determinism. Based on an abstract notion of program execution, a refinement relation is defined.
openaire +1 more source
Proceedings of the IEEE, 1990
Bipolar IC processes are reviewed, and the impact of BiCMOS technology on bipolar VLSI is discussed. The discussion covers standard emitter-coupled-logic (ECL) circuit configuration, on-chip line driving, output circuitry, series gating, ECL versus CML (current-mode logic), differential logic, noise margins, interconnect capacitance, bipolar VLSI ...
openaire +1 more source
Bipolar IC processes are reviewed, and the impact of BiCMOS technology on bipolar VLSI is discussed. The discussion covers standard emitter-coupled-logic (ECL) circuit configuration, on-chip line driving, output circuitry, series gating, ECL versus CML (current-mode logic), differential logic, noise margins, interconnect capacitance, bipolar VLSI ...
openaire +1 more source
The impact of VLSI on microprogramming
ACM SIGMICRO Newsletter, 1986There are four “cultures” of microprogramming: the Bit-Slice Culture, the Commercial Processor Culture, the Microprogrammable Processor Culture, and the Single-Chip Culture. The effect of trends in VLSI (Very Large Scale Integration) on microprogramming can be assessed by looking the effect on each culture.
openaire +2 more sources
IEEE Transactions on Computers, 1984
This tutorial paper addresses some of the principles and provides examples of concurrent architectures and designs that have been inspired by VLSI technology. The circuit density offered by VLSI provides the means for implementing systems with very large numbers of computing elements, while its physical characteristics provide an incentive to organize ...
openaire +1 more source
This tutorial paper addresses some of the principles and provides examples of concurrent architectures and designs that have been inspired by VLSI technology. The circuit density offered by VLSI provides the means for implementing systems with very large numbers of computing elements, while its physical characteristics provide an incentive to organize ...
openaire +1 more source
IEEE Journal on Selected Areas in Communications, 1985
John S. Thompson, Robert E. Owen
openaire +2 more sources
John S. Thompson, Robert E. Owen
openaire +2 more sources
1983
A new class of sorting algorithms called partition sorts is presented. Partition sorts can be viewed as periodic 2d-primitive sorting networks. Periodic says that they are concatenations of identical comparator networks. 2d-primitive says that there is a planar layout for these algorithms such that communication is exclusively local.
openaire +1 more source
A new class of sorting algorithms called partition sorts is presented. Partition sorts can be viewed as periodic 2d-primitive sorting networks. Periodic says that they are concatenations of identical comparator networks. 2d-primitive says that there is a planar layout for these algorithms such that communication is exclusively local.
openaire +1 more source
IEEE Transactions on Computers, 1984
A processor architecture attempts to compromise between the needs of programs hosted on the architecture and the performance attainable in implementing the architecture. The needs of programs are most accurately reflected by the dynamic use of the instruction set as the target for a high level language compiler.
openaire +2 more sources
A processor architecture attempts to compromise between the needs of programs hosted on the architecture and the performance attainable in implementing the architecture. The needs of programs are most accurately reflected by the dynamic use of the instruction set as the target for a high level language compiler.
openaire +2 more sources
VLSI algorithms and architectures
2006In this paper we consider the relationship between algorithms and parallel VLSI architectures. Starting from the premise that VLSI is the natural habitat for parallel algorithmics, we outline the desirable features of VLSI architectures. Next we discuss the notion of algorithmic paradigm, as the data transfer pattern of a class of specific algorithms ...
openaire +1 more source
ACM Transactions on Programming Languages and Systems, 1983
Richard J. Lipton +4 more
openaire +2 more sources
Richard J. Lipton +4 more
openaire +2 more sources