856 search results - page 116 / 172 » Dependent Types in Practical Programming |
ISCI
2008
13 years 8 months ago
2008
As two classical measures, approximation accuracy and consistency degree can be employed to evaluate the decision performance of a decision table. However, these two measures cann...
JMLR
2010
13 years 3 months ago
2010
Classification problems with a very large or unbounded set of output categories are common in many areas such as natural language and image processing. In order to improve accurac...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Dynamic slicing algorithms can greatly reduce the debugging effort by focusing the attention of the user on a relevant subset of program statements. In this paper we present the d...
ICCD
2007
IEEE
14 years 5 months ago
2007
IEEE
The deployment of future deep submicron technology calls for a careful review of existing cache organizations and design practices in terms of yield and performance. This paper pr...
PVM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Manually tuning MPI runtime parameters is a practice commonly employed to optimise MPI application performance on a specific architecture. However, the best setting for ...