Sciweavers

85 search results - page 1 / 17
» Pipeline Iteration
Sort
View
ACL
2007
13 years 6 months ago
Pipeline Iteration
This paper presents pipeline iteration, an approach that uses output from later stages of a pipeline to constrain earlier stages of the same pipeline. We demonstrate significant ...
Kristy Hollingshead, Brian Roark
IPPS
1998
IEEE
13 years 8 months ago
The Implicit Pipeline Method
We present a novel scheme for the solution of linear differential equation systems on parallel computers. The Implicit Pipeline (ImP) method uses an implicit timeintegration schem...
John B. Pormann
ASAP
2000
IEEE
102views Hardware» more  ASAP 2000»
13 years 8 months ago
A Theory for Software-Hardware Co-Scheduling for ASIPs and Embedded Processors
Exploiting instruction-level parallelism (ILP) is extremely important for achieving high performance in application specific instruction set processors (ASIPs) and embedded proces...
Ramaswamy Govindarajan, Erik R. Altman, Guang R. G...
CAV
1998
Springer
108views Hardware» more  CAV 1998»
13 years 8 months ago
Decomposing the Proof of Correctness of pipelined Microprocessors
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalak...