MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Corrections to "Time Dependent Processing in a Parallel Pipeline Architecture'." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

728,190 documents found, showing 1 through 10. Next 10 →

ATOM

Time dependent processing in a parallel pipeline architecture
by John Biddiscombe, Berk Geveci, Ken Martin, Kenneth Morel, David Thompson — IEEE Transactions on Visualization and Computer Graphics
…Time Dependent Processing in a Parallel Pipeline Architecture John Biddiscombe, Berk Geveci, Ken…
Cited by 1 (0 self) – Add To MetaCart

A Correctness Proof for Pipelining in RISC Architectures
by E. Börger, S. Mazzanti — 1996
…DIMACS Technical Report 96--22 July 1996 A Correctness Proof for Pipelining in RISC Architectures…
Cited by 7 (3 self) – Add To MetaCart

Parallelization of loops with exits on pipelined architectures
by Parthasarathy Tirumalai, Meng Lee, Michael Schlansker, P. Tirumalai, M. Lee, M. Schlansker — 1990 — In Supercomputing
…Parallelization of Loops with Exits on Pipelined Architectures Parthasarathy Tirumalai, Meng Lee…
Cited by 69 (3 self) – Add To MetaCart

Correctness of Pipelined Machines
by Panagiotis Manolios — Formal Methods in Computer-Aided Design–FMCAD 2000, volume 1954 of LNCS
…. The correctness of pipelined machines is a subject that has been studied extensively. Most of the recent work has…
Cited by 26 (13 self) – Add To MetaCart

Formally Correct Construction of Pipelined Processors
by Hans Eveking, Holger Hinrichsen, Gerd Ritter — 1998
… automatically a pipelined version of the DLX architecture [11], and proved its correctness afterwards…
Cited by 2 (2 self) – Add To MetaCart

The Minimal Pipeline Architecture
by Martti Forsell — 1995
… 0789-7316 ISBN 951-708-361-0 The Minimal Pipeline Architecture Martti Forsell Report A-1995…
Add To MetaCart

The impact of pipelining on SIMD architectures
by Lames D. Allen, David E. Schimmel — 1995 — In Proc. of the 9th International Parallel Processing Symp
…. and pipeline performance. At a time when many advocate the use of off the shelf parts as processing elements…
Cited by 2 (0 self) – Add To MetaCart

The Synchronized Pipelined Parallelism Model
by Srinivas N. Vadlamani — 2004 — In The 16 th IASTED International Conference on Parallel and Distributed Computing and Systems
… to multimedia processing can be represented as a pipeline of computational stages (or a producer-consumer chain…
Cited by 4 (2 self) – Add To MetaCart

Proving the Correctness of Pipelined Micro-Architectures
by Daniel Kroening, Wolfgang J. Paul, Silvia M. Mueller — 2000 — Proc. of the ITG/GI/GMM Workshop, (Ed K. Waldschmidt and C. Grimm), VDE Verlag
…Proving the Correctness of Pipelined Micro-Architectures Daniel Kroening , and Wolfgang J. Paul…
Cited by 3 (1 self) – Add To MetaCart

Complexity And Correctness Of Computer Architectures
by S. M. Müller — 1996 — In Proc. 4th Workshop on Parallel Systems and Algoriths (PASA
… quantifies their impact on the cost and cycle time of a RISC architecture. As for instance, it is shown…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB