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

di surana library [14 articles]

Articoli aggiunti di recente nella biblioteca di surana .
  • Active libraries and universal languages
    (2004)
    by Todd L Veldhuizen
    posted to compiler dsel optimization by surana on 2005-06-27 21:27:46 as read along with 1 person jacob
  • Guaranteed Optimization: Proving Nullspace Properties of Compilers
    (2002), pp. 263-277.
    by Todd L Veldhuizen, Andrew Lumsdaine
    posted to compiler optimization by surana on 2005-06-27 21:26:25 as read
  • Next-generation generic programming and its application to sparse matrix computations
    (2000), pp. 88-99.
    by Nikolay Mateev, Keshav Pingali, Paul Stodghill, Vladimir Kotlyar
    posted to compiler specializer by surana on 2005-06-27 21:25:00 as ***
  • Compiling embedded languages
    J. Funct. Program., Vol. 13, No. 3. (May 2003), pp. 455-481.
    by Conal Elliott, Sigbj&\#248;rn Finne, Oege De Moor
    posted to compiler dsel by surana on 2005-06-27 21:23:32 as *** along with 1 person jacob
  • Automatic program specialization for Java
    ACM Trans. Program. Lang. Syst., Vol. 25, No. 4. (July 2003), pp. 452-499.
    by Ulrik P Schultz, Julia L Lawall, Charles Consel
    posted to compiler specializer by surana on 2005-06-27 21:22:35 as ***** along with 2 people nikomatsakis schuh
  • notes Impact of economics on compiler optimization
    (2001), pp. 1-10.
    by Arch D Robison
    posted to compiler by surana on 2005-06-27 21:21:18 as read along with 1 person derek_farn
  • notes A nanopass infrastructure for compiler education
    Vol. 39, No. 9. (September 2004), pp. 201-212.
    by Dipanwita Sarkar, Oscar Waddell, Kent K Dybvig
    posted to compiler optimization by surana on 2005-06-11 05:40:46 as read along with 1 person ryanc
  • Constant propagation with conditional branches
    ACM Trans. Program. Lang. Syst., Vol. 13, No. 2. (April 1991), pp. 181-210.
    by Mark N Wegman, Kenneth K Zadeck
    posted to compiler optimization by surana on 2005-06-11 05:39:18 as read along with 3 people rnsanchez martink bunge
  • Systematic design of program analysis frameworks
    (1979), pp. 269-282.
    by Patrick Cousot, Radhia Cousot
    posted to analysis compiler by surana on 2005-06-11 05:38:11 as *** along with 2 people and 1 group pganty bunge groupverif
  • Combining analyses, combining optimizations
    ACM Trans. Program. Lang. Syst., Vol. 17, No. 2. (March 1995), pp. 181-196.
    by Cliff Click, Keith D Cooper
    posted to compiler optimization by surana on 2005-06-11 05:31:48 as read
  • notes Composing dataflow analyses and transformations
    Vol. 37, No. 1. (January 2002), pp. 270-282.
    by Sorin Lerner, David Grove, Craig Chambers
    posted to compiler transformation by surana on 2005-06-11 05:26:13 as read along with 2 people bec jpbernardy
  • Incremental execution of transformation specifications
    Vol. 39, No. 1. (January 2004), pp. 26-38.
    by Ganesh Sittampalam, Oege d de Moor, Ken F Larsen
    posted to rewrite transformation by surana on 2005-06-11 05:24:48 as ***** along with 1 person mbravenboer
  • notes 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 compiler correctness by surana on 2005-06-11 05:23:00 as read along with 2 people bec rob_quill
  • Automatically proving the correctness of compiler optimizations
    Vol. 38, No. 5. (May 2003), pp. 220-231.
    by Sorin Lerner, Todd Millstein, Craig Chambers
    posted to compiler correctness by surana on 2005-06-11 05:20:02 as read along with 1 person and 1 group francoisl modeling
    • Puoi citare questa pagina come: http://www.citeulike.org/user/surana

    RIS BibTeX
    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.