410 search results - page 74 / 82 » Embedded Operating System Energy Analysis and Macro-Modeling |
113
Voted
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
14 years 9 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
82
Voted
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
The recent advances in Image Based Rendering (IBR) has pioneered a new technology, free-view television, in which TVviewers select freely the viewing position and angle by the app...
LCTRTS
2005
Springer
15 years 5 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
110
click to vote
SENSYS
2003
ACM
15 years 4 months ago
2003
ACM
Simple in-network data aggregation (or fusion) techniques for sensor networks have been the focus of several recent research efforts, but they are insufficient to support advance...
106
Voted
GLVLSI
2008
IEEE
15 years 6 months ago
2008
IEEE
Due to the large contribution of the memory subsystem to total system power, the memory subsystem is highly amenable to customization for reduced power/energy and/or improved perf...