3516 search results - page 390 / 704 » Integrating Security Modeling into Embedded System Design |
151
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...
164
click to vote
ASIASIM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...
122
click to vote
WOTUG
2007
15 years 5 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
119
click to vote
CN
2007
15 years 4 months ago
2007
In multicast communication, a source transmits the same content to a set of receivers. Current protocols for multicast follow a tree communication model which makes them scalable....
132
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...