混合 发表于 2025-4-1 03:21:43
http://reply.papertrans.cn/24/2337/233686/233686_61.png装勇敢地做 发表于 2025-4-1 08:24:34
http://reply.papertrans.cn/24/2337/233686/233686_62.pngascend 发表于 2025-4-1 13:46:19
A Calibration Framework for Capturing and Calibrating Software Performance Modelsrs” efficiently using a Kalman Filter. The second is the exploitation of the filter estimator to control the calibration framework, for example to terminate a test when accuracy is sufficient, and to design tests for parameter coverage. The technique is demonstrated on simulated data and on an implemented Voice-over-IP (VoIP) system.易受刺激 发表于 2025-4-1 17:44:11
Towards State Space Reduction Based on T-Lumpability-Consistent Relationsgorithm for ordinary lumpability, thus enhancing the potential for exact state space reduction. We also identify a class of systems – those providing incremental services – for which the resulting aggregation algorithm turns out to be useful.