Mi-Young PARK


Towards Interactive Object-Oriented Programming
Keehang KWON Kyunghwan PARK Mi-Young PARK 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/02/01
Vol. E98-D  No. 2  pp. 437-438
Type of Manuscript:  LETTER
Category: Software System
Keyword: 
interactionsobject-orientedcomputability logic
 Summary | Full Text:PDF

Improving Robustness via Disjunctive Statements in Imperative Programming
Keehang KWON Sungwoo HUR Mi-Young PARK 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/09/01
Vol. E96-D  No. 9  pp. 2036-2038
Type of Manuscript:  Special Section LETTER (Special Section on Dependable Computing)
Category: 
Keyword: 
imperative programmingexceptionstask logicfailures
 Summary | Full Text:PDF

Detecting TCP Retransmission Timeouts Non-related to Congestion in Multi-Hop Wireless Networks
Mi-Young PARK Sang-Hwa CHUNG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/12/01
Vol. E93-D  No. 12  pp. 3331-3343
Type of Manuscript:  PAPER
Category: Information Network
Keyword: 
multi-hop wireless networksTCPretransmission timeoutsRTOs non-related to congestion
 Summary | Full Text:PDF

End-to-End Loss Differentiation Algorithm Based on Estimation of Queue Usage in Multi-Hop Wireless Networks
Mi-Young PARK Sang-Hwa CHUNG Prasanthi SREEKUMARI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/10/01
Vol. E92-D  No. 10  pp. 2082-2093
Type of Manuscript:  PAPER
Category: Networks
Keyword: 
end-to-end loss differentiationmulti-hop wireless networksTCP
 Summary | Full Text:PDF