856 search results - page 126 / 172 » Dependent Types in Practical Programming |
141
click to vote
SC
1995
ACM
15 years 6 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
118
click to vote
ICPP
2003
IEEE
15 years 7 months ago
2003
IEEE
Pairwise sequence alignment is a fundamental operation for homology search in bioinformatics. For two DNA or protein sequences of length ¢ and £ , full-matrix (FM), dynamic prog...
113
Voted
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
127
Voted
CLUSTER
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...
125
click to vote
IPCO
2007
15 years 3 months ago
2007
Abstract. A well established heuristic approach for solving various bicriteria optimization problems is to enumerate the set of Pareto optimal solutions, typically using some kind ...