Giuliano Casale - 2025-05-07
  • Description has changed:

Diff:

--- old
+++ new
@@ -25,8 +25,6 @@
 Busy period: measure, e.g., mean and variance of the busy period and idle period
 Setup time: a server takes some time before being able to process a
 new job, similar to switchover time
-
-Limited PS: nearly done, needs GUI improvements

 Random number of servers: a job is served by a number of servers at random