3991 search results - page 353 / 799 » Bounding homogeneous models |
185
click to vote
GRAPHITE
2005
ACM
16 years 1 months ago
2005
ACM
A technique is presented for generating implicit sweep objects that support direct specification and manipulation of the surface with no topological limitations on the 2D sweep t...
203
click to vote
CSL
2004
Springer
16 years 29 days ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
197
click to vote
ICALP
2003
Springer
16 years 24 days 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...
174
Voted
ICCAD
1996
IEEE
15 years 11 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...
172
click to vote
INCDM
2010
Springer
15 years 11 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...