1005 search results - page 57 / 201 » A Language for Manipulating Arrays |
103
click to vote
MEMOCODE
2010
IEEE
14 years 7 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
SC
2000
ACM
15 years 2 months ago
2000
ACM
Hierarchical algorithms such as multigrid applications form an important cornerstone for scientific computing. In this study, we take a first step toward evaluating parallel lan...
JCS
2007
14 years 9 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
72
Voted
POS
1998
Springer
15 years 2 months ago
1998
Springer
Swizzling refers to the translation of object references from an external, persistent format to an internal, transient format used during application execution. Eager swizzling sc...
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...