2742 search results - page 448 / 549 » Deriving Category Theory from Type Theory |
SIGMETRICS
2010
ACM
14 years 1 months ago
2010
ACM
In this paper, we study distributed channel assignment in wireless networks with applications to peer discovery in ad hoc wireless networks. We model channel assignment as a color...
SIGMETRICS
2010
ACM
14 years 26 days ago
2010
ACM
We define CWS, a non-preemptive scheduling policy for workloads with correlated job sizes. CWS tackles the scheduling problem by inferring the expected sizes of upcoming jobs bas...
IPSN
2010
Springer
13 years 11 months ago
2010
Springer
The IEEE 802.15.4 standard for wireless sensor networks can support energy efficient, reliable, and timely packet transmission by tuning the medium access control parameters macMi...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
ISLPED
2007
ACM
13 years 10 months ago
2007
ACM
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...