145 search results - page 2 / 29 » Automated Testing of Generic Computational Science Libraries |
91
Voted
SOFSEM
2010
Springer
15 years 10 months ago
2010
Springer
68
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
ERSHOV
2001
Springer
15 years 5 months ago
2001
Springer
Abstract The generic programming paradigm has exerted great influence on the recent development of C++, e.g., large parts of its standard library [2] are based on generic containe...
103
Voted
ACMSE
2005
ACM
15 years 6 months ago
2005
ACM
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...
111
Voted
ITP
2010
14 years 11 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...