Ming-Ying Chung

According to our database1, Ming-Ying Chung authored at least 6 papers between 2004 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Speculative Image Computation for Distributed Symbolic Reachability Analysis.
J. Log. Comput., 2011

2006
A dynamic firing speculation to speedup distributed symbolic state-space generation.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation.
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

2004
Saturation NOW.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

A Comparison of Structural Formalisms for Modeling Large Markov Models.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004


  Loading...