88 search results - page 12 / 18 » Efficient Randomized Algorithms for Input-Queued Switch Sche... |
INFOCOM
2003
IEEE
15 years 2 months ago
2003
IEEE
—This paper presents and evaluates distributed queueing algorithms for regulating the flow of traffic through large, high performance routers. Distributed queueing has a similar ...
ENTCS
2006
14 years 9 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
82
Voted
AAAI
2008
14 years 12 months ago
2008
In a class of games known as Stackelberg games, one agent (the leader) must commit to a strategy that can be observed by the other agent (the adversary/follower) before the advers...
ITIIS
2010
14 years 4 months ago
2010
We propose a novel collision-avoidance algorithm for the active type RFID regarding an indoor tracking system. Several well-known collision avoidance algorithms are analyzed consi...