4155 search results - page 760 / 831 » External Memory Algorithms |
139
click to vote
FORMATS
2010
Springer
14 years 11 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
173
Voted
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
124
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Complex networks capture interactions among entities in various application areas in a graph representation. Analyzing large scale complex networks often answers important question...
113
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Millions of DNA sequences (reads) are generated by Next Generation Sequencing machines everyday. There is a need for high performance algorithms to map these sequences to the refer...
95
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper we present the venture of porting two different algorithms for solving the two-dimensional advection PDE on the CBE platform, an in-place and an outof-place one, and ...