3934 search results - page 111 / 787 » Approximate Schedulability Analysis |
158
click to vote
IPPS
2008
IEEE
16 years 22 days ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
160
click to vote
ICPADS
2007
IEEE
16 years 19 days ago
2007
IEEE
In this paper, we propose a real time scheduling policy over 802.11 DCF protocol called Deadline Monotonic (DM). We evaluate the performance of this policy for a simple scenario w...
201
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper we consider the problem of maximizing wireless network capacity (a.k.a. one-shot scheduling) in both the protocol and physical models. We give the first distribut...
123
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Previous work (Frank and Satta, 1998; Karttunen, 1998) has shown that Optimality Theory with gradient constraints generally is not finite state. A new finite-state treatment of gr...
200
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
There is an increasing number of methods for removing haze and fog from a single image. One of such methods is Dark Channel Prior (DCP). The goal of this paper is to develop a mat...