Sciweavers

3256 search results - page 326 / 652
» Mixin-Based Programming in C
Sort
View
90
Voted
ISLPED
2004
ACM
119views Hardware» more  ISLPED 2004»
15 years 6 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
95
Voted
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
15 years 6 months ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula
109
Voted
COOPIS
2002
IEEE
15 years 5 months ago
The Design and Performance of the jRate Real-Time Java Implementation
Over 90 percent of all microprocessors are now used for realtime and embedded applications. Since the behavior of these applications is often constrained by the physical world, it...
Angelo Corsaro, Douglas C. Schmidt
102
Voted
LOPSTR
2001
Springer
15 years 5 months ago
On Deforesting Parameters of Accumulating Maps
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...
Kazuhiko Kakehi, Robert Glück, Yoshihiko Futa...
MICRO
2000
IEEE
124views Hardware» more  MICRO 2000»
15 years 5 months ago
Calpa: a tool for automating selective dynamic compilation
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
Markus Mock, Craig Chambers, Susan J. Eggers