798 search results - page 126 / 160 » Proving More Properties with Bounded Model Checking |
141
click to vote
ANCS
2005
ACM
15 years 9 months ago
2005
ACM
We present Group Round-Robin (GRR) scheduling, a hybrid fair packet scheduling framework based on a grouping strategy that narrows down the traditional trade-off between fairness ...
127
click to vote
IGPL
2008
15 years 3 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
120
Voted
CRYPTO
2000
Springer
15 years 8 months ago
2000
Springer
We investigate the all-or-nothing encryption paradigm which was introduced by Rivest as a new mode of operation for block ciphers. The paradigm involves composing an all-or-nothing...
144
click to vote
SODA
2008
ACM
15 years 5 months ago
2008
ACM
We analyze several distributed, continuous time protocols for a fair allocation of bandwidths to flows in a network (or resources to agents). Our protocols converge to an allocati...
130
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....