Tsung-Hsi Chiang

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2008
j3		Tsung-Hsi Chiang, Lan-Rong Dung: Verification of Dataflow Scheduling. International Journal of Software Engineering and Knowledge Engineering 18(6): 737-758 (2008)
	2007
j2		Tsung-Hsi Chiang, Lan-Rong Dung: Verification method of dataflow algorithms in high-level synthesis. Journal of Systems and Software 80(8): 1256-1270 (2007)
j1		Tsung-Hsi Chiang, Lan-Rong Dung: A VLSI Progressive Coding for Wavelet-based Image Compression. IEEE Trans. Consumer Electronics 53(2): 569-577 (2007)
	2006
c2		Tsung-Hsi Chiang, Lan-Rong Dung: System-level verification on high-level synthesis of dataflow graph. ISCAS 2006
	2005
c1		Tsung-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

1	Lan-Rong Dung	[j3] [j2] [j1] [c2] [c1]
2	Ming-Feng Yaung	[c1]

Last update Thu May 23 19:28:48 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page