Ming-Ying Chung

From MaRDI portal
Person:2848664

Available identifiers

zbMath Open chung.ming-yingMaRDI QIDQ2848664

List of research outcomes





PublicationDate of PublicationType
A pattern recognition approach for speculative firing prediction in distributed saturation state-space generation2013-09-26Paper
Speculative image computation for distributed symbolic reachability analysis2011-02-02Paper
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis2008-09-04Paper

Research outcomes over time

This page was built for person: Ming-Ying Chung

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2848664&oldid=7864908"
Powered by MediaWiki