2477 search results - page 388 / 496 » Parallelizing Functional Programs by Generalization |
152
click to vote
CCS
2011
ACM
14 years 2 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
321
Voted
DAC
2012
ACM
13 years 4 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
109
Voted
WMPI
2004
ACM
15 years 7 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
100
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, we explore the problem of mapping filtering services on large-scale heterogeneous platforms. Two important optimization criteria should be considered in such a fra...
127
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...