Search Results - Theory of computation Formal languages and automatic theory Formalisms Rewrite systems

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Cover Image

    Directed-Logical Testing for Functional Verification of Microprocessors by Katelman, M., Meseguer, J., Escobar, S.

    ISBN: 1424424178, 9781424424177
    Published: Washington, DC, USA IEEE Computer Society 01.06.2008
    “… to drive a simulation-based methodology. However, formal methods are, in particular, gaining wider adoption and are seen as having potential to bridge large gaps left by current techniques…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Cover Image

    MPICH-V: toward a scalable fault tolerant MPI for volatile nodes by Bosilca, George, Bouteiller, Aurelien, Cappello, Franck, Djilali, Samir, Fedak, Gilles, Germain, Cecile, Herault, Thomas, Lemarinier, Pierre, Lodygensky, Oleg, Magniette, Frederic, Neri, Vincent, Selikhov, Anton

    ISBN: 076951524X, 9780769515243
    Published: Los Alamitos, CA, USA IEEE Computer Society Press 16.11.2002
    “…Global Computing platforms, large scale clusters and future TeraGRID systems gather thousands of nodes for computing parallel scientific applications…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Cover Image

    Application of term rewriting techniques to hardware design verification by Chandrasekhar, M. S., Privitera, J. P., Conradt, K. W.

    ISBN: 9780818607813, 0818607815
    ISSN: 0738-100X
    Published: New York, NY, USA ACM 01.10.1987
    Published in 24th ACM/IEEE Design Automation Conference (01.10.1987)
    “…Term rewriting systems have been used in automatic theorem proving. A canonical term rewriting system for Boolean algebra recently discovered, and a refutation…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: