VHDL Verification and Simulation Tool
Lisflood batch processor
Solves one-electron Schrödinger equation, with SLEPc and PETSc
Simulator of G/G/k queue systems used in computer networks.
Java-based discrete event simulator of an M/M/s queue system
Queue network modelization tool
Simple Queue Simulator