1392 search results - page 30 / 279 » Staging generic programming |
ATVA
2006
Springer
13 years 11 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...
AC
2003
Springer
14 years 28 days 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
JMLC
2000
Springer
13 years 11 months ago
2000
Springer
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.
FECS
2006
13 years 9 months ago
2006
- 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...
EUROPAR
2004
Springer
14 years 1 months ago
2004
Springer
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...