90 search results - page 6 / 18 » An Evidential Tool Bus |
IV
2009
IEEE
14 years 5 months ago
2009
IEEE
The MOST bus is a current bus technology for connecting multimedia components in cars, such as radios, navigation systems, or media players. The bus functionality is described in ...
WOTUG
2007
14 years 2 days 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...
ICCAD
2008
IEEE
14 years 7 months ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
CHI
2010
ACM
14 years 5 months ago
2010
ACM
Public transit systems play an important role in combating traffic congestion, reducing carbon emissions, and promoting compact, sustainable urban communities. The usability of p...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...