Radboud University
iCIS

Automata Wiki

  • ↑ To Benchmarks
  • Bibliography

Benchmark Queue

  • Description

Benchmark models

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

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

  • fifo_2.register.xml
  • fifo_3.register.xml
  • fifo_4.register.xml
  • fifo_5.register.xml
  • fifo_10.register.xml
  • fifo_15.register.xml
  • fifo_20.register.xml
  • fifo_25.register.xml
  • fifo_30.register.xml
  • fifo_35.register.xml
  • fifo_40.register.xml
  • fifo_45.register.xml
  • fifo_50.register.xml