5064 search results - page 618 / 1013 » Recent Developments in Gridsolve |
199
click to vote
IFL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
145
click to vote
ISAAC
2005
Springer
16 years 9 days ago
2005
Springer
Given a sequence of n real numbers and an integer k, 1 k 1 2 n(n − 1), the k maximum-sum segments problem is to locate the k segments whose sums are the k largest among all poss...
210
click to vote
IWANN
2005
Springer
16 years 9 days ago
2005
Springer
Carbon nanotubes are often seen as the only alternative technology to silicon transistors. While they are the most likely short-term alternative, other longer-term alternatives sho...
184
click to vote
JSSPP
2005
Springer
16 years 8 days ago
2005
Springer
Recently HP Labs engaged in a joint project with DreamWorks Animation to develop a Utility Rendering Service that was used to render part of the computer-animated feature film Shr...
221
click to vote
MDM
2005
Springer
16 years 8 days ago
2005
Springer
Data access prediction has been proposed as a mechanism to overcome latency lag, and more recently as a means of conserving energy in mobile systems. We present a fully adaptive p...