1830 search results - page 162 / 366 » Functional Programs as Linked Data |
101
Voted
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
Abstract- This paper proposes a hardwadsoftware cosynthesis algorithm for processors with heterogeneous registers. Given a CDFG correspondingto an application program and a timing ...
142
Voted
MPC
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
206
click to vote
PLDI
1993
ACM
15 years 7 months ago
1993
ACM
Data locality is critical to achievinghigh performance on large-scale parallel machines. Non-local data accesses result in communication that can greatly impact performance. Thus ...
129
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
152
Voted
SECON
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--EcoExec is a host-assisted interactive execution environment for wireless sensing systems. Users can interact with sensor nodes by viewing attributes and invoking functio...