1784 search results - page 106 / 357 » Formal Models for Embedded System Design |
142
Voted
FORTE
2003
15 years 3 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
127
click to vote
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
125
Voted
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
150
click to vote
ERSA
2003
15 years 3 months ago
2003
The Software Communications Architecture (SCA), a mandatory specification for Software Radio implementations by the Joint Tactical Radio System (JTRS), defines a Common Object R...
139
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...