Concurrent programming is an important and difficult topic for most computer science students. This paper presents a visualization tool called Convit to help students master and understand concurrent programming problems and their solutions. The tool, a Java applet, is basically a debugger or simulator, which runs concurrent programs written in a simple pseudocode. The code is translated into J...

This document outlines progress to date on the run-time type-checking project funded in part by IBM. The project has been carried out during the last year by Alexey Loginov and Suan Yong, under the supervision of Professors Susan Horwitz and Thomas Reps. The goal of the project is the design and implementation of a debugging tool based on dynamic type checking. The major accomplishment during t...

When IPv6 was designed, it was expected that the transition from IPv4 to IPv6 would occur more smoothly and expeditiously than experience has revealed. The growth of the IPv4 Internet and predicted depletion of the free pool of IPv4 address blocks on a foreseeable horizon has highlighted an urgent need to revisit IPv6 deployment models. This document provides an overview of deployment scenarios...

The strips with good flatness after finish rolling will have defects such as edge wave run-out table cooling. These are caused by the residual stress due to inhomogeneous thermal and microstructural behaviors during cooling stage. traditional control methods rely too much on experience, resulting in poor effect universality. Therefore, this study proposed two based model calculation: water flow...