124 search results - page 1 / 25 » Using Metaprogramming to Parallelize Functional Specificatio... |
98
Voted
PPL
2002
15 years 3 months ago
2002
120
Voted
EUROPAR
2008
Springer
15 years 5 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...
139
Voted
IEEEPACT
2009
IEEE
15 years 1 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...
132
Voted
PLDI
2010
ACM
16 years 29 days 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...
119
Voted
INFORMATICALT
2002
15 years 3 months ago
2002
Abstract. We present an analysis of the separation of concerns in multi-language design and multilanguage specifications. The basis for our analysis is the paradigm of the multi-di...