Identifying some bottlenecks of the concurrency workbench
Number of Authors: 2
1990 (English)Report (Refereed)
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.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1990, 2. , 19 p.
SICS Technical Report, ISSN 1100-3154 ; T90:02
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-21437OAI: oai:DiVA.org:ri-21437DiVA: diva2:1041473
Original report number T90002.2016-10-312016-10-31