Abstract. As process technology scales down, power wall starts to hinder improvements in processor performance. Performance optimization has to proceed under a power constraint. Th...
Often, we wish to design incentive-compatible algorithms for settings in which the players' private information is drawn from discrete domains (e.g., integer values). Our mai...
— This paper introduces a convenient framework based on passivity and Linear Matrix Inequalities (LMIs) for stability analysis and controller design for haptic systems involving ...
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...
Andrew J. Morris, Alia I. Abdelmoty, Douglas Tudho...