Sciweavers

27 search results - page 1 / 6
» Quantitative Analysis under Fairness Constraints
Sort
View
ATVA
2009
Springer
85views Hardware» more  ATVA 2009»
13 years 12 months ago
Quantitative Analysis under Fairness Constraints
Christel Baier, Marcus Größer, Frank Ci...
CAV
2009
Springer
176views Hardware» more  CAV 2009»
14 years 5 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
ICIP
2005
IEEE
14 years 7 months ago
Resistance analysis of scalable video fingerprinting systems under fair collusion attacks
Digital fingerprinting is an important tool in multimedia forensics to trace traitors and protect multimedia content after decryption. This paper addresses the enforcement of digi...
H. Vicky Zhao, K. J. Ray Liu
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
13 years 10 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
WCNC
2008
IEEE
13 years 11 months ago
Proportional Fair Scheduling: Analytical Insight under Rayleigh Fading Environment
—This paper provides analytical expressions to evaluate the performance of a random access wireless network in terms of user throughput and network throughput, subject to the con...
Erwu Liu, Kin K. Leung