Publications

We describe a family of optimizations for a translation from a linear temporal logic to Buchi automata.

In this paper, we present a systematic study of the uplink capacity and coverage of pico-cell wireless networks. Both the one dimensional as well as the two dimensional cases are investigated.

Migrating to next-generation networks (NGNs) presents challenges that are quite distinct from those to designing and deploying the networks.

A collection of slides from the authors' conference presentation is given.

Many cloud applications are data intensive requiring the processing of large data sets and the MapReduce/Hadoop architecture has become the de facto processing framework for these applications.

As the U.S. mobile data market matures, Internet service providers (ISPs) generally charge their users with some variation on a quota-based data plan with overage charges.

Effective optimization techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics.

The Cloud has become a compelling infrastructure to host a number of diverse services and applications with different operational and service requirements.

Driven mainly by its adoption as a new media distribution platform for content providers and its ubiquitous availability for the end user's media production and consumption, the Internet is rapidly

We experimentally demonstrate capacity gains of up to 23.5% under electrical supply power constraints in a long-haul optical fiber cable by optimizing the gain shaping filters using neural networks