3820 search results - page 315 / 764 » Bounded Model Debugging |
136
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
Recently, Fabrikant, Koutsoupias and Papadimitriou [7] introduced a natural and beautifully simple model of network growth involving a trade-off between geometric and network obje...
111
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
We consider non-uniform wire-sizing for general routing trees under the Elmore delay model. Three minimization objectives are studied: 1) total weighted sink-delays; 2) total area...
110
click to vote
INCDM
2010
Springer
15 years 8 months ago
2010
Springer
Prepaid customers in mobile telecommunications are not bound by a contract and can therefore change operators (‘churn’) at their convenience and without notification. This make...
124
click to vote
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Dynamic Spectrum Access can enable secondary network users to access unused spectrum, or whitespace, which is found between the transmissions of primary users in a wireless networ...
144
click to vote
ACSD
2007
IEEE
15 years 6 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...