4962 search results - page 544 / 993 » Stochastic Model Checking |
154
click to vote
SBACPAD
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
169
click to vote
CSMR
2009
IEEE
15 years 9 months ago
2009
IEEE
There is an increasing interest in more accurate prediction of software maintainability in order to better manage and control software maintenance. Recently, TreeNet has been prop...
145
click to vote
DSD
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
117
click to vote
WSC
2007
15 years 7 months ago
2007
Most classical stochastic inventory models assume that replenishment lead times are independent of the amount of orders placed. This assumption is clearly problematic in capacitat...
145
click to vote
WSC
2008
15 years 7 months ago
2008
Automated Guided Vehicle (AGV) logistic handling system are widely adopted when high transportation capacity and quality of service are the most important characteristics to reach...