1538 search results - page 179 / 308 » Programming with Patterns |
140
click to vote
FAC
2010
14 years 11 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
111
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
While Kolmogorov complexity is the accepted absolute measure of information content in an individual finite object, a similarly absolute notion is needed for the information distan...
123
click to vote
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...
142
click to vote
HPDC
2005
IEEE
15 years 8 months ago
2005
IEEE
good data partitioning scheme is the need of the time. However it is very diflcult to arrive at a good solution as the number of possible dutupartitionsfor a given real lifeprogra...
120
click to vote
BIBM
2008
IEEE
15 years 8 months ago
2008
IEEE
Network alignments are extensively used for comparing, exploring, and predicting biological networks. Existing alignment tools are mostly based on isomorphic and homeomorphic embe...