126 search results - page 10 / 26 » Hierarchy in Generic Programming Libraries |
116
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
A key benefit of generic programming is its support for producing modules with clean separation. In particular, generic algorithms are written to work with a wide variety of unmod...
133
Voted
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. As heterogeneous computing platforms become more prevalent, the programmer must account for complex memory hierarchies in addition to the difficulties of parallel program...
PPDP
2010
Springer
15 years 26 days ago
2010
Springer
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
128
click to vote
JSAT
2010
14 years 9 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
141
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...