Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

nominolo library [45 articles]

Статьи, недавно добавленные в библиотеку nominolo .
  • Combining Optimizations
    by W Krentel, Linda Torczon, Clifford N Click, Clifford N Click
    posted to compiler-optimsation composition by nominolo on 2008-08-10 11:49:52 as **
  • Programming monads operationally with unimo
    Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming (September 2006), pp. 274-285.
    by Chuan-Kai Lin
    posted to functional-programming monads by nominolo on 2008-07-17 14:09:10 as read
  • Value Numbering
    Software Practice and Experience, Vol. 27, No. 6. (1997), pp. 701-724.
    by Preston Briggs, Keith D Cooper, Taylor L Simpson
    posted to compiler compiler-opitimsation program-analysis program-transformation by nominolo on 2008-07-13 11:04:07 as **
  • Guaranteed Optimization: Proving Nullspace Properties of Compilers
    Vol. 2477 (2002), pp. 263-277.
    by Todd L Veldhuizen, Andrew Lumsdaine
    posted to compiler by nominolo on 2008-06-04 13:58:16 as ** along with 1 person pedagand
  • The Implementation of Lua 5.0
    Journal of Universal Computer Science, Vol. 11, No. 7. (28 July 2005), pp. 1159-1176.
    by Roberto Ierusalimschy, Luiz H de Figueiredo, Waldemar Celes
    posted to virtual-machine-design by nominolo on 2008-06-03 08:29:51 as **
  • Virtual machine showdown: Stack versus registers
    ACM Trans. Archit. Code Optim., Vol. 4, No. 4. (January 2008), pp. 1-36.
    by Yunhe Shi, Kevin Casey, Anton M Ertl, David Gregg
    posted to virtual-machine-design by nominolo on 2008-06-03 07:41:53 as ** along with 2 people and 1 group Inopia pedagand Lambda the Ultimate
  • The structure and performance of efficient interpreters
    Journal of Instruction-Level Parallelism, Vol. 5 (2003), pp. 1-25.
    by M Ertl, D Gregg
    posted to direct-threading virtual-machine-design by nominolo on 2008-06-03 07:40:07 as **
  • A space semantics for core haskell
    (2000)
    by A Bakewell, C Runciman
    posted to haskell operational-semantics by nominolo on 2008-06-02 14:30:06 as ** along with 1 person msakai
  • A Syntactic Approach to Type Soundness
    Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
    by Andrew K Wright, Matthias Felleisen
    posted to proof-techniques semantics type-theory verification by nominolo on 2008-06-01 19:21:18 as ** along with 11 people and 2 groups vkp greenrd tautologico bunge tov KarlKlose glaubersp mvermaat gkuan mcclurmc sclv SRG_at_UCD Lambda the Ultimate
  • Proof optimization for partial redundancy elimination
    (2008), pp. 91-101.
    by Ando Saabas, Tarmo Uustalu
    posted to compiler program-transformation verified-compiler by nominolo on 2008-06-01 19:11:17 as **
  • Theorems for free!
    (1989), pp. 347-359.
    by Philip Wadler
    posted to free-theorems lambda-calculus parametricity parametric-polymorphism program-transformation by nominolo on 2008-06-01 17:53:47 as ** along with 6 people byorgey amp269 voigt spl paper_jac robdockins
  • Closing the stage: from staged code to typed closures
    (2008), pp. 147-157.
    by Yukiyoshi Kameyama, Oleg Kiselyov, Chung-Chieh Shan
    posted to generative-programming staged-programming by nominolo on 2008-06-01 17:43:02 as ** along with 1 group Lambda the Ultimate
  • Tool support for refactoring functional programs
    (2003), pp. 27-38.
    by Huiqing Li, Claus Reinke, Simon Thompson
    posted to functional-programming program-transformation refactoring by nominolo on 2008-06-01 17:38:56 as ** along with 1 person emerson
  • Data dependencies and program slicing: from syntax to abstract semantics
    (2008), pp. 125-134.
    by Isabella Mastroeni, Damiano Zanardini
    posted to program-slicing by nominolo on 2008-06-01 17:35:56 as *
  • EDUCATIONAL PEARL: A Nanopass framework for compiler education
    Journal of Functional Programming, Vol. 15, No. 05. (2005), pp. 653-667.
    by Dipanwita Sarkar, Oscar Waddell, Dybvig
    posted to compiler education program-analysis program-transformation by nominolo on 2008-06-01 17:24:52 as read
  • Composing dataflow analyses and transformations
    (2002), pp. 270-282.
    by Sorin Lerner, David Grove, Craig Chambers
    posted to composition optimization program-analysis program-transformation by nominolo on 2008-06-01 17:18:14 as read
  • Heap recycling for lazy languages
    (2008), pp. 189-197.
    by Jurriaan Hage, Stefan Holdermans
    posted to compiler garbage-collection program-analysis by nominolo on 2008-05-16 19:07:43 as **
  • The Semantics of “Semantic Patches” in Coccinelle: Program Transformation for the Working Programmer
    Programming Languages and Systems (2007), pp. 303-318.
    by Neil Jones, René Hansen
    posted to program-analysis refactoring by nominolo on 2008-05-05 21:25:22 as *
  • Finally Tagless, Partially Evaluated
    Programming Languages and Systems (2007), pp. 222-238.
    by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan
    posted to compiler partial-evaluation tagless by nominolo on 2008-05-05 21:23:48 as ** along with 4 people draganigajic pedagand keigoi msakai
  • Polymorphic Delimited Continuations
    Programming Languages and Systems (2007), pp. 239-254.
    by Kenichi Asai, Yukiyoshi Kameyama
    posted to delimited-continuations effect-types by nominolo on 2008-05-05 21:21:39 as *** along with 2 people msakai keigoi
  • Dynamic slicing based on redex trails
    (2004), pp. 123-134.
    by Claudio Ochoa, Josep Silva, Germán Vidal
    posted to debugging program-analysis program-slicing by nominolo on 2008-05-05 11:34:22 as **
  • Meld scheduling: relaxing scheduling constraints across region boundaries
    Microarchitecture, 1996. MICRO-29. Proceedings of the 29th Annual IEEE/ACM International Symposium on (1996), pp. 308-321.
    by SG Abraham, V Kathail, BL Deitrich
    posted to scheduling by nominolo on 2007-11-30 10:12:04 as **
  • Embedded software in real-time signal processing systems: design technologies
    (1997)
    by G Goossens, J Van Praet, D Lanneer, W Geurts
    posted to asip compiler scheduling by nominolo on 2007-11-23 15:46:18 as **
  • Code generation for embedded processors
    (2000), pp. 173-178.
    by Rainer Leupers
    posted to asip scheduling survey by nominolo on 2007-11-22 13:22:32 as **
  • Phase-Coupled Mapping of Data Flow Graphs to Irregular Data Paths
    (1999)
    by S Bashford, R Leupers
    posted to asip scheduling by nominolo on 2007-11-22 13:20:12 as **
  • Machine-Description Driven Compilers for EPIC and VLIW Processors
    Design Automation for Embedded Systems, Vol. 4, No. 2. (29 March 1999), pp. 71-118.
    by B Rau, Vinod Kathail, Shail Aditya
    posted to scheduling by nominolo on 2007-11-22 13:18:09 as **
  • Instruction Selection, Resource Allocation, and Scheduling in the AVIV Retargetable Code Generator
    (1998), pp. 510-515.
    by Silvina Hanono, Srinivas Devadas
    posted to scheduling by nominolo on 2007-11-22 13:13:39 as **
  • Mutation Scheduling: A Unified Approach to Compiling for Fine-Grain Parallelism
    (1994), pp. 16-30.
    by Steven Novack, Alexandru Nicolau
    posted to scheduling by nominolo on 2007-11-22 13:11:54 as **
  • Using Register-Transfer Paths in Code Generation for Heterogeneous Memory-Register Architectures
    (1996), pp. 591-596.
    by Guido Araujo, Sharad Malik, Mike
    posted to data-routing scheduling by nominolo on 2007-11-22 13:10:24 as **
  • Optimal Code Generation for Embedded Memory Non-Homogeneous Register Architectures
    (1995)
    by G Araujo, S Malik
    posted to data-routing scheduling by nominolo on 2007-11-22 13:07:53 as **
  • Automatic code generation for integrated digital signal processors
    Circuits and Systems, 1991., IEEE International Sympoisum on (1991), pp. 33-36 vol.1.
    by B Wess
    posted to data-routing scheduling by nominolo on 2007-11-22 12:33:28 as **
  • notes Combined scheduling and data routing for programmable ASIC systems
    Design Automation, 1992. Proceedings. [3rd] European Conference on (1992), pp. 486-490.
    by R Hartmann
    posted to data-routing scheduling by nominolo on 2007-11-22 12:32:01 as **
  • Data Path Allocation using an Extended Binding Model
    (1992), pp. 279-284.
    by Ganesh Krishnamoorthy, John A Nestor
    posted to scheduling by nominolo on 2007-11-19 22:16:28 as read
  • Interconnect optimisation during data path allocation
    (1990), pp. 141-145.
    by L Stok
    posted to scheduling by nominolo on 2007-11-19 22:14:47 as **
  • Continuation-Based Program Transformation Strategies
    J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
    by Mitchell Wand
    posted to continuations program-transformation by nominolo on 2007-11-13 00:30:19 as ** along with 9 people and 2 groups kvm samth twleung rgrig JacquesC JeffreyPalmer voigt pile americovargas NU-PRL SRG_at_UCD
  • An efficient list-based scheduling algorithm for high-level synthesis
    Digital System Design, 2002. Proceedings. Euromicro Symposium on (2002), pp. 316-323.
    by AM Sllame, V Drabek
    posted to instruction scheduling by nominolo on 2007-11-12 21:17:02 as **
  • Cone-Based Clustering Heuristic for List Scheduling Algorithms
    (1997)
    by S Govindarajan, R Vemuri
    posted to instruction scheduling by nominolo on 2007-11-12 14:14:33 as **
  • Force-directed scheduling for the behavioral synthesis of ASICs
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 8, No. 6. (1989), pp. 661-679.
    by PG Paulin, JP Knight
    posted to scheduling by nominolo on 2007-11-09 00:00:42 as ****
  • A-combined approach to high-level synthesis for dynamically reconfigurable systems
    Transactions on Computers, Vol. 53, No. 12. (2004), pp. 1508-1522.
    by M Meribout, M Motomura
    posted to asip by nominolo on 2007-11-08 23:58:47 as **
  • A Graph Based Algorithm for Data Path Optimization in Custom Processors
    (2006), pp. 496-503.
    by Jelena Trajkovic, Mehrdad Reshadi, Bita Gorjiara, Daniel Gajski
    posted to asip scheduling by nominolo on 2007-11-08 17:38:12 as ***
  • FPGA-friendly code compression for horizontal microcoded custom IPs
    (2007), pp. 108-115.
    by Bita Gorjiara, Daniel Gajski
    posted to asip compression instruction-set by nominolo on 2007-11-06 16:47:42 as **
  • Exploiting pipelining to relax register-file port constraints of instruction-set extensions
    (2005), pp. 2-10.
    by Laura Pozzi, Paolo Ienne
    posted to extension instruction-set scheduling by nominolo on 2007-11-06 16:44:45 as ** along with 1 person and 2 groups iammealva CompArch Compilers
  • Fast Identification of Custom Instructions for Extensible Processors
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 26, No. 2. (2007), pp. 359-368.
    by X Chen, DL Maskell, Y Sun
    posted to asip extension instruction-set by nominolo on 2007-11-06 16:42:44 as ** along with 2 people and 2 groups iammealva Aragorn992 CompArch Compilers
  • A cycle-accurate compilation algorithm for custom pipelined datapaths
    (2005), pp. 21-26.
    by Mehrdad Reshadi, Daniel Gajski
    posted to asip instruction nisc scheduling by nominolo on 2007-11-06 16:29:28 as read along with 1 person NickGasson
  • Keep it clean: a unique approach to functional programming.
    SIGPLAN Not., Vol. 34, No. 6. (June 1999), pp. 23-31.
    by Rinus Plasmeijer, Marko van Eekelen
    posted to programming language functional by nominolo on 2007-02-02 10:05:48 as ** along with 1 person pedagand
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/nominolo

    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.