707 search results - page 23 / 142 » Performance Modeling and Analysis of the Universal Control H... |
WOTUG
2007
15 years 3 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...
124
click to vote
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
150
Voted
WSE
2002
IEEE
15 years 6 months ago
2002
IEEE
As the use of the World Wide Web becomes more pervasive within our society, businesses and institutions are required to migrate a wide range of services to the web. Difficulties a...
106
Voted
ENVSOFT
2011
14 years 8 months ago
2011
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
111
Voted
ICPPW
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract—In this paper, we address the issue of transmission power control in wireless ad-hoc networks. In general, it is assumed that minimum transmission power achieves the opt...