2632 search results - page 276 / 527 » Alternating Timed Automata |
136
click to vote
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
144
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— We consider the problem of joint end-to-end rate optimization and radio resource management in wireless OFDMA-based mesh networks. Radio units equipped with multiple radio inte...
112
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Digital media companies have recently started embracing P2P networks as an alternative distribution mechanism. However, with current P2P swarming systems users need to d...
130
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
The Xilinx Virtex family of FPGAs provides the ability to perform partial run-time reconfiguration, also known as dynamic partial reconfiguration (DPR). Taking this concept one st...
121
Voted
GRID
2007
Springer
15 years 10 months ago
2007
Springer
Application scheduling studies on large-scale shared resources have advocated the use of resource provisioning in the form of advance reservations for providing predictable and de...