1002 search results - page 149 / 201 » Towards Graph Programs for Graph Algorithms |
109
Voted
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. One of the simplest evolutionary models has molecular sequences evolving from a common ancestor down a bifurcating phylogenetic tree, experiencing point-mutations along t...
122
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Hangal et. al. [3] have developed a procedure to check if an instance of the execution of a shared memory multiprocessor program, is consistent with the Total Store Order (TSO) mem...
114
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The focus of web search is moving away from returning relevant documents towards returning structured data as results to user queries. A vital part in the architecture of...
CSR
2009
Springer
15 years 9 months ago
2009
Springer
Muchnik’s theorem about simple conditional descriptions states that for all strings a and b there exists a short program p transforming a to b that has the least possible length ...
103
click to vote
SOCO
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...