1559 search results - page 26 / 312 » Fundamentals of Generic Programming |
93
Voted
JFP
2010
14 years 10 months ago
2010
161
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
105
Voted
AC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
122
Voted
JMLC
2000
Springer
15 years 7 months ago
2000
Springer
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.