Sciweavers

301 search results - page 49 / 61
» The Optimisation of Unitising Designs
Sort
View
101
Voted
CC
2006
Springer
108views System Software» more  CC 2006»
15 years 1 months ago
A Fresh Look at PRE as a Maximum Flow Problem
We show that classic PRE is also a maximum flow problem, thereby revealing the missing link between classic and speculative PRE, and more importantly, establishing a common high-le...
Jingling Xue, Jens Knoop
82
Voted
DEXAW
2004
IEEE
101views Database» more  DEXAW 2004»
15 years 1 months ago
Self-Organisation in Agent-Based Mobile Computing
This paper describes two self-optimisation techniques that have been employed in the design of two exemplar agent-based mobile computing systems, namely Gullivers Genie and the Ag...
Rem W. Collier, Michael J. O'Grady, Gregory M. P. ...
CASES
2001
ACM
15 years 1 months ago
A vision for embedded software
In this paper we describe a vision for the future evolution of Embedded SW (ESW) design methodologies as part of overall Embedded Systems (ES) development. Fundamentally, we belie...
Alberto L. Sangiovanni-Vincentelli, Grant Martin
FPL
2008
Springer
96views Hardware» more  FPL 2008»
14 years 11 months ago
Towards benchmarking energy efficiency of reconfigurable architectures
Energy research in reconfigurable architectures often involves legacy benchmarks such as the MCNC benchmarks. These benchmarks, however, are not well-suited for assessing energy c...
Tobias Becker, Peter Jamieson, Wayne Luk, Peter Y....
APCCM
2010
14 years 11 months ago
A conceptually rich model of business process compliance
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
Guido Governatori, Antonino Rotolo