40 search results - page 8 / 8 » Decidable and Undecidable Problems in Schedulability Analysi... |
IJCAI
2003
13 years 6 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
TWC
2008
13 years 4 months ago
2008
We consider resource allocation for elastic wireless applications that measure utility by target connection average throughput and achieved throughput. We construct a framework for...
INFOCOM
2007
IEEE
13 years 11 months ago
2007
IEEE
— The input-queued switch architecture is widely used in Internet routers due to its ability to run at very high line speeds. A central problem in designing an input-queued switc...
ICDCS
2010
IEEE
13 years 8 months ago
2010
IEEE
—We propose a steepest descent method to compute optimal control parameters for balancing between multiple performance objectives in stateless stochastic scheduling, wherein the ...
SPAA
2004
ACM
13 years 10 months ago
2004
ACM
This paper considers the problem of packet-mode scheduling of input queuedswitches. Packets have variable lengths, and are divided into cells of unit length. Each packet arrives t...