Sciweavers

4488 search results - page 542 / 898
» Properties of NP-Complete Sets
Sort
View
SIGMETRICS
1998
ACM
114views Hardware» more  SIGMETRICS 1998»
15 years 11 months ago
Generating Representative Web Workloads for Network and Server Performance Evaluation
One role for workload generation is as a means for understanding how servers and networks respond to variation in load. This enables management and capacity planning based on curr...
Paul Barford, Mark Crovella
TYPES
1998
Springer
15 years 11 months ago
Proof Normalization Modulo
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
Gilles Dowek, Benjamin Werner
VISUALIZATION
1996
IEEE
15 years 11 months ago
BLaC-Wavelets: A Multiresolution Analysis With Non-Nested Spaces
In the last ve years, there has been numerous applications of wavelets and multiresolution analysis in many elds of computer graphics as di erent as geometric modelling, volume vi...
Georges-Pierre Bonneau, Stefanie Hahmann, Gregory ...
HYBRID
1997
Springer
15 years 11 months ago
Time-Deterministic Hybrid Transition Systems
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
Simin Nadjm-Tehrani
SSD
1993
Springer
152views Database» more  SSD 1993»
15 years 11 months ago
Realms: A Foundation for Spatial Data Types in Database Systems
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
Ralf Hartmut Güting, Markus Schneider