385 search results - page 6 / 77 » Verified Code Generation for Embedded Systems |
128
click to vote
LPAR
2010
Springer
14 years 11 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...
138
Voted
ASWSD
2006
Springer
15 years 5 months 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
15 years 8 months ago
2007
Springer
128
click to vote
WCET
2008
15 years 3 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 ...
95
Voted
ICIP
2001
IEEE
16 years 3 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...