Virtualization and consolidation are two complementary techniques widely adopted in a global strategy to reduce system management complexity. In this paper we show how two simple ...
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
Recent work by our group at Motorola Labs has focused on applying the principles of ambient interfaces to the domain of mobile communications. Our methods incorporate both formati...
Frank Bentley, Joe Tullio, Crysta J. Metcalf, Drew...
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...
Building on previous work on how to model contextual information for desktop search and how to implement semantically rich information exchange in social networks, we define a new...