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

mmuecke's term_rewriting [6 articles]

Recent papers added to mmuecke's library classified by the tag term_rewriting. You can also see everyone's term_rewriting.
  • Combining local consistency, symbolic rewriting and interval methods
    Artificial Intelligence and Symbolic Mathematical Computation (1996), pp. 144-159.
    by Frédéric Benhamou, Laurent Granvilliers
    posted to term_rewriting interval_arithmetic by mmuecke on 2008-06-12 16:14:46 as **
  • Formal methods: state of the art and future directions
    ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 626-643.
    by Edmund M Clarke, Jeannette M Wing
  • Using symbolic algebra in algorithmic level DSP synthesis
    (2001), pp. 277-282.
    by Armita Peymandoust, Giovanni De Micheli
    posted to term_rewriting high_level_synthesis by mmuecke on 2008-06-06 14:46:52 as **
  • Hybrid system for multi-language and multi-environment generation of numerical codes
    (2001), pp. 209-216.
    by Joze Korelc
    posted to term_rewriting language_design compiler_design by mmuecke on 2008-06-06 13:21:49 as **
  • Maple's evaluation process as constraint contextual rewriting
    (2001), pp. 32-37.
    by Alessandro Armando, Clemens Ballarin
    posted to term_rewriting by mmuecke on 2008-06-06 13:18:39 as **
  • Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements
    Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International (2007), pp. 1-8.
    by C Morra, JMP Cardoso, J Becker
    posted to compiler_design term_rewriting by mmuecke on 2007-11-27 00:15:28 as **
  • Note: You may cite this page as: http://www.citeulike.org/user/mmuecke/tag/term_rewriting

    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.