1540 search results - page 17 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
ANSS
1999
IEEE
13 years 12 months ago
1999
IEEE
The results presented here are based on many years of experience of development and application of DYANA
PRDC
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
NIPS
2007
13 years 9 months ago
2007
We consider the estimation problem in Gaussian graphical models with arbitrary structure. We analyze the Embedded Trees algorithm, which solves a sequence of problems on tractable...