Publications

We study uncoordinated multiple access using the orthogonal frequency division multiple access (OFDMA) technique where multiple users independently and randomly pick a sub-carrier from a set of sub

Distributed protocols are often designed to run on arbitrary networks. The verification of such protocols is a challenge, as symmetry reduction arguments do not apply to irregular networks.

In this paper, we prove the undecidability of certain temporal logics over partial orders.

Subsumption-determining whether one concept is more general than another-is known to be NP-hard for all reasonably expressive terminological logics, but, up to now, the decidability of subsumption

Modern wireless network operators are consistently looking for improvements in the wireless access infrastructure that minimize size, weight, and power.

Product assurance for undersea cable is a must for long term cost savings because the cost of repair for undersea cable is very high, on the order of one million dollars for each repair operation.

In 1988, the world's first transoceanic undersea lightwave communication systems will be installed.

AT&T has designed new underwater surveillance systems to track ships and submarines for the military.

Worldwide 96% of all global communications pass through submarine cables.

The design of on-chip ESD protection has become increasingly difficult and critical because of shrinking device feature sizes, high operating speed, and system on a chip (SoC) environments.