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

Directed-Logical Testing for Functional Verification of Microprocessors von 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 …”
Volltext

MPICH-V: toward a scalable fault tolerant MPI for volatile nodes von 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 …”
Volltext

Application of term rewriting techniques to hardware design verification von 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 …”
Volltext