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.|
|Deposited By:||Vicki Carleson|
|Deposited On:||14 Jan 2009|
|Last Modified:||11 Dec 2014 14:24|
Repository Staff Only: item control page