registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

rob_quills library [30 articles]

Neue Artikel in rob_quills Bibliothek.
  • 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 **
  • Efficient and exact data dependence analysis
    (1991), pp. 1-14.
    by Dror E Maydan, John L Hennessy, Monica S Lam
    posted to no-tag by rob_quill on 2008-05-05 15:54:38 as read
  • 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 **
  • 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 *****
  • Definitions of dependence distance
    ACM Lett. Program. Lang. Syst., Vol. 1, No. 3. (September 1992), pp. 261-265.
    by William Pugh
    posted to no-tag by rob_quill on 2008-05-04 23:52:15 as read
  • An Overview of Cache Optimization Techniques and Cache-Aware Numerical Algorithms
    Algorithms for Memory Hierarchies (2003), pp. 213-232.
    by Markus Kowarschik, Christian Weiß
    posted to no-tag by rob_quill on 2008-05-04 23:35:32 as read
  • Reordering the statements with dependence cycles to improve the performance of parallel loops
    Parallel and Distributed Systems, 1997. Proceedings., 1997 International Conference on (1997), pp. 322-328.
    by Chih-Ping Chu, DL Carver
    posted to no-tag by rob_quill on 2008-05-04 23:13:30 as read
  • An analysis of recurrence relations in Fortran Do-loops for vector processing
    Parallel Processing Symposium, 1991. Proceedings., Fifth International (1991), pp. 619-625.
    by Chih-Ping Chu, DL Carver
    posted to no-tag by rob_quill on 2008-05-04 23:09:17 as read
  • 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 ***
  • 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 *****
  • 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 ***
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/rob_quill

    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.