985 search results - page 42 / 197 » A Caching Model of Operating System Kernel Functionality |
108
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
112
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
116
click to vote
ISORC
2009
IEEE
15 years 8 months ago
2009
IEEE
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
141
click to vote
RSP
2006
IEEE
15 years 8 months ago
2006
IEEE
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
101
click to vote
PAMI
2008
15 years 1 months ago
2008
In this paper, we develop a spatially-variant (SV) mathematical morphology theory for gray-level signals and images in the euclidean space. The proposed theory preserves the geomet...