1953 search results - page 41 / 391 » Embedded Probabilistic Programming |
EMSOFT
2009
Springer
14 years 4 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
ENTCS
2008
13 years 10 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L
CODES
2008
IEEE
14 years 4 months ago
2008
IEEE
Application-specific system-on-chip platforms create the opportunity to customize the cache configuration for optimal performance with minimal chip estate. Simulation, in partic...