Three-dimensional integrated circuits (3D-ICs) are a promising approach to address the integration challenges faced by current systems on chips (SoCs). Designing an efficient netwo...
Design debugging is a major bottleneck in modern VLSI design flows as both the design size and the length of the error trace contribute to its inherent complexity. With typical des...
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...