Sciweavers

1559 search results - page 27 / 312
» Fundamentals of Generic Programming
Sort
View
82
Voted
FECS
2006
112views Education» more  FECS 2006»
14 years 11 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 3 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
82
Voted
CP
2006
Springer
15 years 1 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
14 years 10 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
CP
2009
Springer
15 years 4 months ago
Efficient Generic Search Heuristics within the EMBP Framework
Ronan LeBras, Alessandro Zanarini, Gilles Pesant