Sciweavers

19 search results - page 3 / 4
» Fair Overload Handling Using Proof-of-Work Functions
Sort
View
SSDBM
2007
IEEE
124views Database» more  SSDBM 2007»
14 years 15 days ago
Incorporating Uncertainty Metrics into a General-Purpose Data Integration System
There is a significant need for data integration capabilities in the scientific domain, which has manifested itself as products in the commercial world as well as academia. Howeve...
Brenton Louie, Landon Detwiler, Nilesh N. Dalvi, R...
INFOCOM
2012
IEEE
11 years 8 months ago
Bargaining towards maximized resource utilization in video streaming datacenters
—Datacenters can be used to host large-scale video streaming services with better operational efficiency, as the multiplexing achieved by virtualization technologies allows diff...
Yuan Feng, Baochun Li, Bo Li 0001
CDC
2010
IEEE
161views Control Systems» more  CDC 2010»
13 years 22 days ago
A geometric approach to air traffic complexity evaluation for strategic trajectory management
In the perspective next generation Air Traffic Management (ATM) systems, aircraft will be endowed with part of the responsibility for separation maintenance, and traffic complexity...
Luigi Piroddi, Maria Prandini
SAT
2004
Springer
73views Hardware» more  SAT 2004»
13 years 11 months ago
A SAT Based Scheduler for Tournament Schedules
We present a scheduler with a web interface for generating fair game schedules of a tournament. The tournament can be either single or double round-robin or something in between. T...
Hantao Zhang, Dapeng Li, Haiou Shen
CONCUR
2006
Springer
13 years 10 months ago
Proving Liveness by Backwards Reachability
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, ...