5634 search results - page 786 / 1127 » About Abstract Classes |
164
Voted
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
185
click to vote
ECSA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
195
click to vote
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract-- When monitoring interactions within a social network, meetings or contacts between different members of the network are recorded. This paper addresses the problem of usi...
208
click to vote
AAECC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present new performance models and a new, more compact data structure for cache blocking when applied to the sparse matrixvector multiply (SpM×V) operation, y ← y +...
173
click to vote
ACTA
2010
15 years 6 months ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...