2412 search results - page 365 / 483 » Which Problems Have Strongly Exponential Complexity |
ATVA
2004
Springer
13 years 11 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
WSCG
2003
13 years 9 months ago
2003
Rendering large trimmed NURBS models with high quality at interactive frame rates is of great interest for industry, since nearly all their models are designed on the basis of thi...
CONCURRENCY
2004
13 years 7 months ago
2004
The centralized system approach for computer and telecommunication network management has been presenting scalability problems along with the growth in the number and diversity of...
COMCOM
1998
13 years 7 months ago
1998
With the proliferation of multimedia group applications, the construction of multicast trees satisfying Quality of Service QoS requirements is becoming a problem of prime import...
PVLDB
2008
13 years 7 months ago
2008
Estimates of predicate selectivities by database query optimizers often differ significantly from those actually encountered during query execution, leading to poor plan choices a...