Sciweavers

26354 search results - page 213 / 5271
» How we refactor, and how we know it
Sort
View
KR
2010
Springer
15 years 11 months ago
One Hundred Prisoners and a Lightbulb - Logic and Computation
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
Hans P. van Ditmarsch, Jan van Eijck, William Wu
ICCD
2008
IEEE
133views Hardware» more  ICCD 2008»
16 years 3 months ago
Reliability-aware Dynamic Voltage Scaling for energy-constrained real-time embedded systems
— The Dynamic Voltage Scaling (DVS) technique is the basis of numerous state-of-the-art energy management schemes proposed for real-time embedded systems. However, recent researc...
Baoxian Zhao, Hakan Aydin, Dakai Zhu
NETCOOP
2007
Springer
16 years 22 days ago
Grid Brokering for Batch Allocation Using Indexes
Abstract. In this paper we show how dynamic brokering for batch allocation in grids based on bi-dimensional indices can be used in practice in computational grids, with or without ...
Vandy Berten, Bruno Gaujal
GLOBECOM
2006
IEEE
16 years 20 days ago
On the Search of Internet AS-level Topology Invariants
— There has been a significant amount of work analyzing the Internet AS (Autonomous System)-level topology which gives rise to a number of topology models. Although each of thes...
Lung-de Shyu, Seng-Yong Lau, Polly Huang
183
Voted
VTC
2006
IEEE
106views Communications» more  VTC 2006»
16 years 18 days ago
Rate Regions of Asymmetrical Multiple Access with Receive Diversity
— Based on the specification of a high-throughput wireless local area network system we consider the achievable rate regions of time, frequency and code division multiple access...
Thomas Deckert, Sebastian Kaiser, Gerhard Fettweis