892 search results - page 149 / 179 » Action respecting embedding |
ATVA
2009
Springer
13 years 12 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
ATVA
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
FGR
2008
IEEE
13 years 12 months ago
2008
IEEE
A key point in automatic age estimation is to design feature set essential to age perception. To achieve this goal, this paper builds up a hierarchical graphical face model for fa...
ICFP
2010
ACM
13 years 12 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
GRID
2008
Springer
13 years 11 months ago
2008
Springer
Grids are facing the challenge of seamless integration of the grid power into everyday use. One critical component for this integration is responsiveness, the capacity to support o...