4636 search results - page 27 / 928 » Modelling and Validation with VipTool |
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
MASCOTS
2008
13 years 9 months ago
2008
We present and validate an enhanced analytical queueing network model of zoned RAID. The model focuses on RAID levels 01 and 5, and yields the distribution of I/O request response...
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
Multidimensional data models are playing an increasingly prominent role in support of day-to-day business decisions. Due to their significance in taking strategic decisions it is ...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
RTAS
2003
IEEE
14 years 26 days ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...