Výsledky vyhľadávania - Theory of computation Formal languages and automatic theory Formalisms Rewrite systems

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

“… 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…”
Získať plný text

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

“…Global Computing platforms, large scale clusters and future TeraGRID systems gather thousands of nodes for computing parallel scientific applications…”
Získať plný text

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

“…Term rewriting systems have been used in automatic theorem proving. A canonical term rewriting system for Boolean algebra recently discovered, and a refutation…”
Získať plný text