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: 
interactions, object-oriented, computability 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 programming, exceptions, task logic, failures, 
 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 networks, TCP, retransmission timeouts, RTOs 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 differentiation, multi-hop wireless networks, TCP, 
 Summary | Full Text:PDF