1739 search results - page 159 / 348 » Battery Model for Embedded Systems |
134
click to vote
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
118
click to vote
ICESS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
132
click to vote
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
135
click to vote
ECMDAFA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
138
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...