Sciweavers

4074 search results - page 39 / 815
» Abstract Graph Transformation
Sort
View
HASE
2005
IEEE
15 years 3 months ago
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels
Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario D...
ISCAS
2005
IEEE
108views Hardware» more  ISCAS 2005»
15 years 3 months ago
On VLSI decompositions for d-ary de Bruijn graphs (extended abstract)
Toshinori Yamada, Hiroyuki Kawakita, Tadashi Nishi...
CAV
1997
Springer
103views Hardware» more  CAV 1997»
15 years 2 months ago
Construction of Abstract State Graphs with PVS
Susanne Graf, Hassen Saïdi
GD
2000
Springer
15 years 1 months ago
FADE: Graph Drawing, Clustering, and Visual Abstraction
Aaron J. Quigley, Peter Eades