4636 search results - page 324 / 928 » Modelling and Validation with VipTool |
130
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
The increasing size of integrated systems combined with deep submicron physical modeling details creates an explosion in RLC interconnect modeling complexity of unmanageable propo...
157
click to vote
ALGOSENSORS
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
148
click to vote
EPEW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
135
click to vote
FORTE
2008
15 years 5 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
138
click to vote
SPLC
2008
15 years 5 months ago
2008
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...