Searching for "Codes on hypergraphs" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Enabling SystemC Verification using Abstract State Machines
by Amjad Gawanmeh, Ali Habibi, Sofiène Tahar — 2004 — Machines, Proc. Languages for Formal Specification and Verification, Forum on Specification & Design Languages
… the AsmL tester/compiler itself). SystemC ASM Semantics SystemC Code Hypergraph Compiler 1. Program…
Cited by 3 (2 self) – Add To MetaCart

Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach (Extended
by H. Jacquet, Renate Klempien-hinrichs — 1998 — PreProc. 6th International Workshop on Theory and Applications of Graph Transformation (TAGT'98), number tr--ri--98--201 in Reihe Informatik, pages 174--181. Universitat--Gesamthochschule Paderborn, Fachbereich Mathematik--Informatik
… approach is presented in [3]. The coding of hypergraphs used there is, however, not rich enough to capture…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB