4120 search results - page 612 / 824 » Exploring ocean data |
134
Voted
ICCD
2004
IEEE
16 years 17 days ago
2004
IEEE
Existing schemes for cache energy optimization incorporate a limited degree of dynamic associativity: either direct mapped or full available associativity (say 4-way). In this pap...
124
Voted
ICCAD
2008
IEEE
16 years 17 days ago
2008
IEEE
— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...
106
Voted
ICCAD
2006
IEEE
16 years 17 days ago
2006
IEEE
With the standard approach for establishing multicast connections over a network, network nodes are utilized to forward and duplicate the packets received over the incoming links....
140
Voted
PLPV
2010
ACM
16 years 16 days ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
136
Voted
PADL
2010
Springer
16 years 16 days ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...