1446 search results - page 149 / 290 » Hardware Software Co-Design Using Functional Languages |
161
click to vote
PEPM
1998
ACM
15 years 9 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
149
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
127
click to vote
ICECCS
2002
IEEE
15 years 10 months ago
2002
IEEE
Although program faults are widely studied, there are many aspects of faults that we still do not understand, particularly about OO software. In addition to the simple fact that o...
123
click to vote
ICCD
2006
IEEE
16 years 2 months ago
2006
IEEE
— In this paper, we present a comprehensive energy estimation framework for software executing on Very Long Instruction Word (VLIW) processor cores. The proposed energy model is ...
119
click to vote
SIGMETRICS
1999
ACM
15 years 9 months ago
1999
ACM
—This paper evaluates techniques for improving operating system and network protocol software support for high-performance World Wide Web servers. We study approaches in three ca...