3056 search results - page 252 / 612 » Compiling Embedded Languages |
106
click to vote
FDL
2004
IEEE
15 years 2 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...
113
click to vote
IFIP
2000
Springer
15 years 2 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...
96
Voted
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...
111
click to vote
IJES
2006
14 years 11 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
111
click to vote
CASES
2005
ACM
15 years 1 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...