When TCP operates in multi-hop wireless networks, it suffers from severe performance degradation. This is because TCP reacts to wireless packet losses by unnecessarily decreasing its sending rate. Although previous loss differentiation algorithms (LDAs) can identify some of the packet losses due to wireless transmission errors as wireless losses, their accuracy is not high as much as we expect, and these schemes cannot avoid sacrificing the accuracy of congestion loss discrimination by misclassifying congestion losses as wireless losses. In this paper, we suggest a new end-to-end loss differentiation scheme which has high accuracy in both wireless loss discrimination and congestion loss discrimination. Our scheme estimates the rate of queue usage using information available to TCP. If the estimated queue usage is larger than 50% when a packet is lost, our scheme diagnoses the packet loss as congestion losses. Otherwise, it diagnoses the packet loss as wireless losses. Because the estimated queue usage is highly correlated to congestion, our scheme has an advantage to more exactly identify packet losses related to congestion and those unrelated to congestion. Through extensive simulations, we compare and evaluate our scheme with previous LDAs in terms of correlation, accuracy, and stability. And the results show that our scheme has the highest accuracy as well as its accuracy is more reliable than the other LDAs.

To deal with failures as simply as possible, we propose a new foundation for the core (untyped) C++, which is based on a new logic called task logic or imperative logic. We then introduce a sequential-disjunctive statement of the form S : R. This statement has the following semantics: execute S and R sequentially. It is considered a success if at least one of S, R is a success. This statement is useful for dealing with inessential errors without explicitly catching them.

To represent interactive objects, we propose a choice-disjunctive declaration statement of the form $S add R$ where S, R are the (procedure or field) declaration statements within a class. This statement has the following semantics: request the user to choose one between S and R when an object of this class is created. This statement is useful for representing interactive objects that require interaction with the user.

TCP's performance significantly degrades in multi-hop wireless networks because TCP's retransmission timeouts (RTOs) are frequently triggered regardless of congestion due to sudden delay and wireless transmission errors. Such RTOs non-related to congestions lead to TCP's unnecessary behaviors such as retransmitting all the outstanding packets which might be located in the bottleneck queue or reducing sharply its sending rate and increasing exponentially its back-off value even when the network is not congested. Since traditional TCP has no ability to identify if a RTO is triggered by congestion or not, it is unavoidable for TCP to underutilize available bandwidth by blindly reducing its sending rate for all the RTOs. In this paper, we propose an algorithm to detect the RTOs non-related to congestion in order to let TCP respond to the RTOs differently according to the cause. When a RTO is triggered, our algorithm estimates the queue usage in the network path during the go-back-N retransmissions, and decides if the RTO is triggered by congestion or not when the retransmissions end. If any RTO non-related to congestion is detected, our algorithm prevents TCP from increasing unnecessarily its back-off value as well as reducing needlessly its sending rate. Throughout the extensive simulation scenarios, we observed how frequently RTOs are triggered regardless of congestion, and evaluated our algorithm in terms of accuracy and goodput. The experiment results show that our algorithm has the highest accuracy among the previous works and the performance enhancement reaches up to 70% when our algorithm is applied to TCP.