Radboud University
iCIS

Automata Wiki

  • ↑ To Benchmarks
  • Bibliography

Benchmark FIFO-set

  • Description

Benchmark models

  • Register
    print · login   
Home » BenchmarkFIFOset-AartsEtAl2014 » Register

The models below are generated with the create_queueset_fifoset_registermodel.py python script which for a given n argument generates a fifoset of size n.

  • fifoset_2.register.xml
  • fifoset_3.register.xml
  • fifoset_4.register.xml
  • fifoset_5.register.xml
  • fifoset_10.register.xml
  • fifoset_15.register.xml
  • fifoset_20.register.xml
  • fifoset_25.register.xml
  • fifoset_30.register.xml
  • fifoset_35.register.xml
  • fifoset_40.register.xml
  • fifoset_45.register.xml
  • fifoset_50.register.xml