274 search results - page 11 / 55 » The Essence of Dataflow Programming |
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
ISHPC
1997
Springer
14 years 5 hour ago
1997
Springer
PEPM
2009
ACM
14 years 4 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
CODES
1998
IEEE
14 years 3 days ago
1998
IEEE
In this paper, the problem of automatically mapping large-grain dataflow programs onto heterogeneous hardware/softwarearchitectures is treated. Starting with a given hardware/soft...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...