Identifying some bottlenecks of the concurrency workbench

Ernberg, Patrik and Fredlund, Lars-Åke (1990) Identifying some bottlenecks of the concurrency workbench. [SICS Report]



We present results which identify some of the bottlenecks of the Concurrency Workbench (CWB). Our results concentrate on the Minimize command which computes an agent with the smallest state space that is observation equivalent with a supplied agent. Measurements show that three major bottlenecks can be identified and that the performance of the CWB depends heavily on the amount of available primary memory.

Item Type:SICS Report
Additional Information:Original report number T90002.
ID Code:2187
Deposited By:Vicki Carleson
Deposited On:14 Jan 2009
Last Modified:11 Dec 2014 14:24

Repository Staff Only: item control page