Hosung Song

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

3 Hosung Song: A Technique to Save More Energy Using Redundant Processors in Hard Real-Time Systems with DVS. ESA 2008: 3-9

2006

2 Hosung Song, Kevin J. Compton, William C. Rounds: SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. Electr. Notes Theor. Comput. Sci. 145: 167-183 (2006)

2003

1 William C. Rounds, Hosung Song: The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. HSCC 2003: 435-449

	2008
3		Hosung Song: A Technique to Save More Energy Using Redundant Processors in Hard Real-Time Systems with DVS. ESA 2008: 3-9
	2006
2		Hosung Song, Kevin J. Compton, William C. Rounds: SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. Electr. Notes Theor. Comput. Sci. 145: 167-183 (2006)
	2003
1		William C. Rounds, Hosung Song: The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. HSCC 2003: 435-449

Coauthor Index

1 Kevin J. Compton [2]

2 William C. Rounds [1] [2]