Tsung-Hsi Chiang

According to our database, Tsung-Hsi Chiang authored at least 5 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Verification of Dataflow Scheduling.

Tsung-Hsi Chiang, Lan-Rong Dung

Int. J. Softw. Eng. Knowl. Eng., 2008

2007

A VLSI Progressive Coding for Wavelet-based Image Compression.

Tsung-Hsi Chiang, Lan-Rong Dung

IEEE Trans. Consumer Electron., 2007

Verification method of dataflow algorithms in high-level synthesis.

Tsung-Hsi Chiang, Lan-Rong Dung

J. Syst. Softw., 2007

2006

System-level verification on high-level synthesis of dataflow graph.

Tsung-Hsi Chiang, Lan-Rong Dung

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

2005

Modeling and formal verification of dataflow graph in system-level design using Petri net.

Tsung-Hsi Chiang, Lan-Rong Dung, Ming-Feng Yaung

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005