Sciweavers

1559 search results - page 27 / 312
» Fundamentals of Generic Programming
Sort
View
124
Voted
FECS
2006
112views Education» more  FECS 2006»
15 years 4 months ago
An Assessment Methodology and Process for Standardized Disciplines
- We present a generic academic program assessment methodology and process encompassing and unifying the outcome-driven approach of accreditation agencies, such as ABET/CAC, with t...
David Workman, Lisa (Chuck) Massi
EUROPAR
2004
Springer
15 years 8 months ago
A Generic Parallel Pattern-Based System for Bioinformatics
Abstract. Parallel program design patterns provide users a new way to get parallel programs without much effort. However, it is always a serious limitation for most existing parall...
Weiguo Liu, Bertil Schmidt
124
Voted
CP
2006
Springer
15 years 7 months ago
Distributed Constraint-Based Local Search
Distributed computing is increasingly important at a time when the doubling of the number of transistors on a processor every 18 months no longer translates in a doubling of speed ...
Laurent Michel, Andrew See, Pascal Van Hentenryck
AAIP
2009
15 years 4 months ago
Enumerating Well-Typed Terms Generically
We use generic programming techniques to generate well-typed lambda terms. We encode well-typed terms by generalized algebraic datatypes (GADTs) and existential types. The Spine a...
Alexey Rodriguez Yakushev, Johan Jeuring
112
Voted
CP
2009
Springer
15 years 10 months ago
Efficient Generic Search Heuristics within the EMBP Framework
Ronan LeBras, Alessandro Zanarini, Gilles Pesant