11 search results - page 2 / 3 » Modelling and analysis of the AMBA bus using CSP and B |
ICECCS
2006
IEEE
13 years 12 months ago
2006
IEEE
There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting ...
DAC
2007
ACM
14 years 6 months ago
2007
ACM
Twisted differential line structure can effectively reduce crosstalk noise on global bus, which foresees a wide applicability. However, measured performance based on fabricated ci...
SAC
2010
ACM
14 years 19 days ago
2010
ACM
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...
CODES
2003
IEEE
13 years 11 months ago
2003
IEEE
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....
HICSS
2000
IEEE
13 years 10 months ago
2000
IEEE
A new operating paradigm is still needed for the power industry in order to achieve a workable deregulated market. The two main proposals, namely the Bilateral and the Poolco mode...