Sciweavers

6598 search results - page 447 / 1320
» Graph Theory with Applications
Sort
View
CAI
2009
Springer
16 years 1 months ago
The Graph Programming Language GP
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
Detlef Plump
COCOON
2009
Springer
16 years 1 months ago
Computing Bond Types in Molecule Graphs
In this paper, we deal with restoring missing information in molecule databases: Some data formats only store the atoms’ configuration but omit bond multiplicities. As this info...
Sebastian Böcker, Quang Bao Anh Bui, Patrick ...
TPHOL
2008
IEEE
16 years 1 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
SSDBM
2007
IEEE
131views Database» more  SSDBM 2007»
16 years 1 months ago
Mining RNA Tertiary Motifs with Structure Graphs
We present a novel application of graph database mining to identify tertiary motifs in RNA structures. In od, we abstract an RNA molecule as a labeled graph and use a frequent sub...
Xueyi Wang, Jun Huan, Jack Snoeyink, Wei Wang 0010
SBACPAD
2005
IEEE
177views Hardware» more  SBACPAD 2005»
16 years 13 days ago
Automatic Data-Flow Graph Generation of MPI Programs
The Data-Flow Graph (DFG) of a parallel application is frequently used to take scheduling decisions, based on the information that it models (dependencies among the tasks and volu...
Rafael Ennes Silva, Guilherme P. Pezzi, Nicolas Ma...