1002 search results - page 23 / 201 » Towards Graph Programs for Graph Algorithms |
127
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
With the development of highly efficient graph data collection technology in many application fields, classification of graph data emerges as an important topic in the data mining...
129
click to vote
HIPC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Large graphs involving millions of vertices are common in many practical applications and are challenging to process. Practical-time implementations using high-end comput...
123
click to vote
ECEASST
2008
15 years 2 months ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
109
click to vote
DAC
1999
ACM
16 years 2 months ago
1999
ACM
Finding the minimum column multiplicity for a bound set of variables is an important problem in Curtis decomposition. To investigate this problem, we compared two graphcoloring pr...
100
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...