—It is well known that IEEE 802.11 provides a physical layer multirate capability and, hence, MAC layer mechanisms are needed to exploit this capability. Several solutions have b...
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
We analyze the effect of thermal constraints on the performance and power of multi-core processors. We propose system-level power and thermal models, and derive expressions for (a...
Ravishankar Rao, Sarma B. K. Vrudhula, Chaitali Ch...
—In a traditional keyword-search system over XML data, a user composes a keyword query, submits it to the system, and retrieves relevant answers. In the case where the user has l...
ted Talks and Poster Abstracts S1, T1 Title: Evolution of the Mammalian Lamin A Gene Author: Susan N. LoCurto and Dorothy E. Pumo Affiliation: Hofstra University, Department of Bio...
James C. Sullivan, Joseph F. Ryan, James A. Watson...