Sciweavers

2335 search results - page 284 / 467
» Type Checking Type Classes
Sort
View
90
Voted
ICCBR
2009
Springer
15 years 7 months ago
Adaptation versus Retrieval Trade-Off Revisited: An Analysis of Boundary Conditions
In this paper we revisit the trade-off between adaptation and retrieval effort traditionally held as a principle in case-based reasoning. This principle states that the time needed...
Stephen Lee-Urban, Héctor Muñoz-Avil...
100
Voted
SARA
2009
Springer
15 years 7 months ago
Modelling Equidistant Frequency Permutation Arrays in Constraints
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each...
Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightin...
84
Voted
CCGRID
2008
IEEE
15 years 7 months ago
Experiences with Fine-Grained Distributed Supercomputing on a 10G Testbed
This paper shows how lightpath-based networks can allow challenging, fine-grained parallel supercomputing applications to be run on a grid, using parallel retrograde analysis on ...
Kees Verstoep, Jason Maassen, Henri E. Bal, John W...
127
Voted
CISIS
2008
IEEE
15 years 7 months ago
Integrating Shadows in Model Driven Engineering for Agile Software Development
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
Marc Conrad, Marianne Huchard, Thomas Preuss
CISS
2008
IEEE
15 years 7 months ago
Imperfect randomized algorithms for the optimal control of wireless networks
Abstract— We consider a joint randomized scheduling, congestion control mechanism for general wireless networks. We allow for a set of imperfections in the operation of the rando...
Atilla Eryilmaz, Asuman E. Ozdaglar, Devavrat Shah...