See this document in CiteSeerX!

Modeling speculative execution and availability analysis with Boolean expressions (1998)  (Make Corrections)  (1 citation)
Luiz C. V. dos Santos



  Home/Search   Context   Related

 
View or download:
ics.ele.tue.nl/pub/...luiz_cssp98.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ics.ele.tue.nl/es/pap...hls.shtml (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Emerging design problems are prompting the use of instruction-level parallelism techniques during the high-level synthesis (HLS) of ASICs or ASIPs in order to meet tight time-constraints. Techniques like code motion and speculative execution can grant time-constraint satisfiability because they can shorten schedule lengths. The mechanism for inducing code motion and speculative execution relies on the global computation of the operations available for scheduling at a given state. This is called ... (Update)

Context of citations to this paper:   More

...methods [3] 19] 46] 62] our approach also adopts a global computation of available operations. However, our implementation is different [59], since it is based on a DFG, unlike the above mentioned approaches. # We perform global code motions in one step, in a way similar to...

Cited by:   More
Exploiting Instruction-Level Parallelism: A constructive approach - Santos (1998)   (Correct)

Similar documents (at the sentence level):
6.3%:   Exploiting State Equivalence on the Fly while Applying Code.. - Luiz Dos Santos   (Correct)

Active bibliography (related documents):   More   All
0.6:   Coordinated Parallelizing Compiler Optimizations and.. - Gupta, Dutt, Gupta.. (2002)   (Correct)
0.5:   A Code-Motion Pruning Technique for Global Scheduling - Santos, Heijligers, van.. (2000)   (Correct)
0.3:   Using Global Code Motions to Improve the Quality of .. - Gupta, Savoiu.. (2002)   (Correct)

Similar documents based on text:   More   All
0.2:   B. Ulmann - Ulmann Fafner Zdv   (Correct)
0.2:   VDM-SL Specifications for a Simulation Tool - Alagar, Muthiayen (1996)   (Correct)
0.2:   Fair SMG and Linear Time Model Checking - Barringer, Fisher, Gough (1989)   (Correct)

BibTeX entry:   (Update)

L.C.V. dos Santos, "Modeling speculative execution and availability analysis with Boolean expressions", to appear in: Proc. ProRISC/IEEE--Benelux Workshop on Circuits, Systems and Signal Processing, 1998. http://citeseer.ist.psu.edu/dossantos98modeling.html   More

@misc{ santos98modeling,
  author = "L. Santos",
  title = "Modeling speculative execution and availability analysis with Boolean expressions",
  text = "L.C.V. dos Santos, Modeling speculative execution and availability analysis
    with Boolean expressions, to appear in: Proc. ProRISC/IEEE--Benelux Workshop
    on Circuits, Systems and Signal Processing, 1998.",
  year = "1998",
  url = "citeseer.ist.psu.edu/dossantos98modeling.html" }
Citations (may not include all citations):
1575   Computer Architecture: A Quantitative Approach (context) - Hennessy, Patterson - 1996
52   Efficient Superscalar Performance Through Boosting - Smith - 1992
40   A Scheduling Algorithm for Conditional Resource Sharing: A H.. (context) - Kim - 1994
38   Global scheduling independent of control dependencies based .. (context) - Wakabayashi - 1992
35   A global resource-constrained parallelization technique (context) - Ebcioglu, Nicolau - 1989
24   A New Symbolic Technique for Control Dependent Scheduling (context) - Radivojevic, Brewer - 1996
14   A tree-based scheduling algorithm for control dominated circ.. (context) - Huang - 1993
12   Integration of Medium-Throughput Signal Processing Algorithm.. - Goossens - 1995
10   Resource-Constrained Software Pipelining - Aiken - 1997
10   Combining MBP-Speculative Computation and Loop Pipelining in.. - Holtmann, Ernst - 1995
6   A Data Flow Exchange Standard (context) - Eijndhoven, Stok - 1992
6   Control-Flow Versus Data-Flow Based Scheduling: Combining Bo.. (context) - Bergamaschi - 1997
5   MPEG2 Video Encoding in Consumer Electronics (context) - Kleihorst - 1997
4   A method to control compensation code during global scheduli.. - Santos - 1997
4   Exploiting instruction-level parallelism: a constructive app.. - Santos - 1998

Documents on the same site (http://www.ics.ele.tue.nl/es/papers/hls.shtml):   More
Constraint Driven Approach To Loop Pipelining And.. - Mesman, Strik.. (1998)   (Correct)
Efficient Code Generation for In-House DSP-Cores - Marino Strik (1995)   (Correct)
Module Selection and Scheduling using Unrestricted Libraries - Adwin Timmer (1993)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC