Sciweavers

113 search results - page 16 / 23
» A Region-Based Compilation Infrastructure
Sort
View
ML
2006
ACM
14 years 2 months ago
ML grid programming with ConCert
Grid computing has become increasingly popular with the growth of the Internet, especially in large-scale scientific computation. Computational Grids are characterized by their s...
Tom Murphy VII
HIPC
2005
Springer
14 years 2 months ago
Cooperative Instruction Scheduling with Linear Scan Register Allocation
Abstract. Linear scan register allocation is an attractive register allocation algorithm because of its simplicity and fast running time. However, it is generally felt that linear ...
Khaing Khaing Kyi Win, Weng-Fai Wong
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
14 years 2 months ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
ISLPED
2004
ACM
119views Hardware» more  ISLPED 2004»
14 years 2 months ago
Application-level prediction of battery dissipation
Mobile, battery-powered devices such as personal digital assistants and web-enabled mobile phones have successfully emerged as new access points to the world’s digital infrastru...
Chandra Krintz, Ye Wen, Richard Wolski
PERVASIVE
2004
Springer
14 years 1 months ago
A Context-Aware Communication Platform for Smart Objects
Abstract. When smart objects participate in context-aware applications, changes in their real-world environment can have a significant impact on underlying networking structures. ...
Frank Siegemund