3199 search results - page 364 / 640 » Variability in Automation System Models |
170
click to vote
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
Although primarily studied in the context of product lines, variability is a key fact about most systems and therefore a concern for the architectures of those systems. Thus it is...
192
Voted
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
181
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
We propose a scalable and efficient parameterized block-based statistical static timing analysis algorithm incorporating both Gaussian and non-Gaussian parameter distributions, ca...
181
click to vote
CSL
2004
Springer
16 years 2 days ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
145
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...