Shiyuan Ding

According to our database, Shiyuan Ding authored at least 8 papers between 1984 and 2020.

Collaborative distances:

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

2020

Experimental Study on Visual Variables Influencing Icon Similarity.

Shiyuan Ding, Haiyan Wang, Chengqi Xue

Proceedings of the IEEE International Conference on Industrial Engineering and Engineering Management, 2020

1993

Attributed State Machines For Behavior Specification of Reactive Systems.

Shiyuan Ding, Takuya Katayama

Proceedings of the SEKE'93, 1993

Specifying Reactive Systems with Attributed Finite State Machines.

Shiyuan Ding, Takuya Katayama

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

1987

GURPR - a method for global software pipelining.

Bogong Su, Shiyuan Ding, Jian Wang, Jinshi Xia

Proceedings of the 20st Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1987

Microcode compaction with timing constraints.

Bogong Su, Shiyuan Ding, Jian Wang, Jinshi Xia

Proceedings of the 20st Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1987

1986

URPR - An extension of URCR for software pipelining.

Bogong Su, Shiyuan Ding, Jinshi Xia

Proceedings of the 19th annual workshop on Microprogramming, 1986

1985

Some experiments in global microcode compaction.

Bogong Su, Shiyuan Ding

Proceedings of the 18th annual workshop on Microprogramming, 1985

1984

An improvement of trace scheduling for global microcode compaction.

Bogong Su, Shiyuan Ding, Lan Jin

Proceedings of the 17th annual workshop on Microprogramming, 1984