Sciweavers

1261 search results - page 216 / 253
» A Hierarchy of Temporal Properties
Sort
View
SSDBM
2010
IEEE
112views Database» more  SSDBM 2010»
14 years 1 months ago
BEMC: A Searchable, Compressed Representation for Large Seismic Wavefields
Abstract. State-of-the-art numerical solvers in Earth Sciences produce multi terabyte datasets per execution. Operating on increasingly larger datasets becomes challenging due to i...
Julio López, Leonardo Ramírez-Guzm&a...
IFM
1999
Springer
14 years 1 months ago
Integration Problems in Telephone Feature Requirements
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
J. Paul Gibson, Geoff Hamilton, Dominique Mé...
SIGMETRICS
1998
ACM
114views Hardware» more  SIGMETRICS 1998»
14 years 1 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
CVPR
1997
IEEE
14 years 1 months ago
Motion estimation using ordinal measures
Wepresent a methodfor motion estimation using ordinal measures. Ordinal measures are based on relative ordering of intensity values in a image regioncalled rankpermutation. While ...
Dinkar N. Bhat, Shree K. Nayar, Alok Gupta
ICSE
1997
IEEE-ACM
14 years 1 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...