29 search results - page 2 / 6 » Metaprogramming Domain Specific Metaprograms |
EUROPAR
2008
Springer
13 years 6 months ago
2008
Springer
We describe a software solution to the problem of automatic parallelization of linear algebra code on multi-processor and multi-core architectures. This solution relies on the defi...
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
IEEEPACT
2009
IEEE
13 years 2 months ago
2009
IEEE
Efficiently using the hardware capabilities of the Cell processor, a heterogeneous chip multiprocessor that uses several levels of parallelism to deliver high performance, and bei...
KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
PPL
2002
13 years 4 months ago
2002
