61 search results - page 12 / 13 » Program Analysis via Graph Reachability |
179
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
145
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...
154
click to vote
ECBS
1999
IEEE
15 years 9 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
147
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract--In this paper, we investigate the use of messagepassing algorithms for the problem of finding the max-weight independent set (MWIS) in a graph. First, we study the perfor...
143
click to vote
BMCBI
2007
2007
FUNC: a package for detecting significant associations between gene sets and ontological annotations
15 years 5 months ago
Background: Genome-wide expression, sequence and association studies typically yield large sets of gene candidates, which must then be further analysed and interpreted. Informatio...