458 search results - page 33 / 92 » Symbolic Object Code Analysis |
CODES
2003
IEEE
14 years 1 months ago
2003
IEEE
The focus of this work is on utilizing the state of objects during their lifespan in optimizing the leakage energy consumed in the data caches when executing embedded Java applica...
SAS
2005
Springer
14 years 2 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
ICANN
2009
Springer
14 years 3 months ago
2009
Springer
In this paper the sparse coding principle is employed for the representation of multimodal image data, i.e. image intensity and range. We estimate an image basis for frontal face i...
CODES
1998
IEEE
14 years 23 days ago
1998
IEEE
The HW/SW partitioning problem addressed in this paper is one of the key steps in the co-design flow of heterogeneous embedded systems. Generally the aim is to provide solutions t...
WCET
2010
13 years 6 months ago
2010
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger sof...