1312 search results - page 71 / 263 » Embedded contract languages |
153
click to vote
PLDI
1999
ACM
15 years 4 months ago
1999
ACM
This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...
POPL
1999
ACM
15 years 4 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
113
click to vote
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...
122
click to vote
IFIP
2000
Springer
15 years 3 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
104
click to vote
DAC
2005
ACM
15 years 1 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...