dblp.uni-trier.dewww.uni-trier.de

Tsung-Hsi Chiang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EETsung-Hsi Chiang, Lan-Rong Dung: Verification of Dataflow Scheduling. International Journal of Software Engineering and Knowledge Engineering 18(6): 737-758 (2008)
2007
3EETsung-Hsi Chiang, Lan-Rong Dung: Verification method of dataflow algorithms in high-level synthesis. Journal of Systems and Software 80(8): 1256-1270 (2007)
2006
2EETsung-Hsi Chiang, Lan-Rong Dung: System-level verification on high-level synthesis of dataflow graph. ISCAS 2006
2005
1EETsung-Hsi Chiang, Lan-Rong Dung, Ming-Feng Yaung: Modeling and formal verification of dataflow graph in system-level design using Petri net. ISCAS (6) 2005: 5674-5677

Coauthor Index

1Lan-Rong Dung [1] [2] [3] [4]
2Ming-Feng Yaung [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)