385 search results - page 6 / 77 » Verified Code Generation for Embedded Systems |
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
ASWSD
2006
Springer
14 years 8 days ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
SCOPES
2007
Springer
14 years 2 months ago
2007
Springer
WCET
2008
13 years 10 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
In this paper we propose a new watermarking technique where the watermark is embedded according to two keys. The first key is used to embed a code bit in a block of pixels. The se...