Registrati | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

di rob_quill library [30 articles]

Articoli aggiunti di recente nella biblioteca di rob_quill ordinata per importanza .
  • Dependence Testing for Parallelizing Compilers
    (May 2003)
    by Franjo Plavec
    posted to no-tag by rob_quill on 2008-05-05 15:09:24 as *****
  • Compilers: Principles, Techniques, and Tools (2nd Edition)
    (31 August 2006)
    by Alfred V Aho, Monica S Lam, Ravi Sethi, Jeffrey D Ullman
    posted to no-tag by rob_quill on 2008-05-01 22:10:03 as ***** along with 5 people and 1 group jasmithoffice dherman mldechert chandlerc dfisher NU-PRL
  • Practical dependence testing
    SIGPLAN Notices, Vol. 26, No. 6. (June 1991), pp. 15-29.
    by G Goff, Ken Kennedy, CW Tseng
    posted to no-tag by rob_quill on 2008-05-01 22:03:52 as *****
  • Automatic translation of FORTRAN programs to vector form
    ACM Trans. Program. Lang. Syst., Vol. 9, No. 4. (October 1987), pp. 491-542.
    by Randy Allen, Ken Kennedy
    posted to no-tag by rob_quill on 2008-05-02 03:46:23 as ***
  • Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
    (22 March 1996)
    by Jim Woodcock, Jim Davies
    posted to no-tag by rob_quill on 2008-05-01 22:10:35 as ***
  • A loop parallelization algorithm for HPF compilers
    Languages and Compilers for Parallel Computing (1996), pp. 176-190.
    by Kazuaki Ishizaki, Hideaki Komatsu
    posted to no-tag by rob_quill on 2008-05-01 21:35:43 as ***
  • Specifying and refining program transformations using temporal logic side conditions
    ACM Trans. Program. Lang. Syst. (2008)
    by Sara Kalvala, David Lacey, Richard Warburton
    posted to no-tag by rob_quill on 2008-05-09 16:05:41 as **
  • An Algorithm for Translating Boolean Expressions
    J. ACM, Vol. 9, No. 2. (April 1962), pp. 222-239.
    by Bruce W Arden, Bernard A Galler, Robert M Graham
    posted to no-tag by rob_quill on 2008-05-09 16:01:48 as **
  • Analysis and Transformation in an Interactive Parallel Programming Tool
    Concurrency: Prac\-tice and Experience, Vol. 5, No. 7. (1993), pp. 575-602.
    by K Kennedy, KS Mckinley, CW Tseng
    posted to no-tag by rob_quill on 2008-05-09 16:00:12 as **
  • Program transformation using temporal logic specification
    (2003)
    by David Lacey
    posted to no-tag by rob_quill on 2008-05-09 15:55:01 as **
  • Structured Computer Organization (5th Edition)
    (25 June 2005)
    by Andrew S Tanenbaum
    posted to no-tag by rob_quill on 2008-05-09 15:42:21 as **
  • Logic in Computer Science: Modelling and Reasoning about Systems
    (30 August 2004)
    by Michael Huth, Mark Ryan
    posted to no-tag by rob_quill on 2008-05-09 15:38:41 as ** along with 2 people leonardo BastianSpanneberg
  • Introduction to Modal and Temporal Mu-Calculi
    CONCUR 2002 — Concurrency Theory (2002), pp. 221-231.
    by Julian Bradfield
    posted to no-tag by rob_quill on 2008-05-09 15:37:27 as **
  • Compiler transformations for high-performance computing
    ACM Comput. Surv., Vol. 26, No. 4. (December 1994), pp. 345-420.
    by David F Bacon, Susan L Graham, Oliver J Sharp
    posted to no-tag by rob_quill on 2008-05-05 19:13:43 as **
  • Maximum loop distribution and fusion for two-level loops considering code size
    Parallel Architectures,Algorithms and Networks, 2005. ISPAN 2005. Proceedings. 8th International Symposium on (2005), 6 pp..
    by M Liu, Q Zhuge, Z Shao, C Xue, M Qiu, EHM Sha
    posted to no-tag by rob_quill on 2008-05-05 19:11:45 as **
  • Practical techniques to augment dependence analysis in the presence of symbolic terms
    (1997)
    by Gina G Goff
    posted to no-tag by rob_quill on 2008-05-05 19:08:03 as **
  • Minimum dependence distance tiling of nested loops with non-uniform dependences
    Parallel and Distributed Processing, 1994. Proceedings. Sixth IEEE Symposium on (1994), pp. 74-81.
    by S Punyamurtula, V Chaudhary
    posted to no-tag by rob_quill on 2008-05-05 19:03:43 as **
  • The power test for data dependence
    Parallel and Distributed Systems, IEEE Transactions on, Vol. 3, No. 5. (1992), pp. 591-601.
    by M Wolfe, CW Tseng
    posted to no-tag by rob_quill on 2008-05-05 18:56:13 as **
  • Automated soundness proofs for dataflow analyses and transformations via local rules
    Vol. 40, No. 1. (January 2005), pp. 364-377.
    by Sorin Lerner, Todd Millstein, Erika Rice, Craig Chambers
    posted to no-tag by rob_quill on 2008-05-05 18:50:17 as ** along with 2 people surana bec
  • On exact data dependence analysis
    (1992), pp. 303-312.
    by Kleanthis Psarris
    posted to no-tag by rob_quill on 2008-05-05 18:38:59 as **
  • A practical algorithm for exact array dependence analysis
    Commun. ACM, Vol. 35, No. 8. (August 1992), pp. 102-114.
    by William Pugh
    posted to no-tag by rob_quill on 2008-05-05 16:47:07 as **
  • A Survey of Parallel Machine Organization and Programming
    ACM Comput. Surv., Vol. 9, No. 1. (March 1977), pp. 29-59.
    by David J Kuck
    posted to no-tag by rob_quill on 2008-05-05 15:58:22 as **
  • Delinearization: an efficient way to break multiloop dependence equations
    SIGPLAN Not., Vol. 27, No. 7. (July 1992), pp. 152-161.
    by Vadim Maslov
    posted to no-tag by rob_quill on 2008-05-05 15:50:52 as **
  • Automatically proving the correctness of program analyses and transformations
    (2006)
    by Sorin L Lerner
    posted to no-tag by rob_quill on 2008-05-05 15:48:19 as **
  • Dependency Analysis Of For-Loop Structures For Automatic Parallization Of C Code
    (April 2003)
    by Tim Jacobson, Gregg Stubbendieck
    posted to no-tag by rob_quill on 2008-05-05 15:45:33 as **
    • Puoi citare questa pagina come: http://www.citeulike.org/user/rob_quill/order/to_read

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.