MNCaRT: An Open-Source, Multi-Architecture Automata-Processing Research and Execution Ecosystem. Angstadt, K., Wadden, J., Dang, V. Q., Xie, T., Kramp, D., Weimer, W., Stan, & Skadron, K. 2018.
bibtex   
@article{3908,
  author = {Kevin Angstadt and Jack Wadden and Vinh Quang Dang and Ted Xie and Dan Kramp and Westley Weimer and Stan and Kevin Skadron},
  title = {MNCaRT: An Open-Source, Multi-Architecture Automata-Processing Research and Execution Ecosystem},
  year = {2018}
}

Downloads: 0