Sciweavers

3020 search results - page 304 / 604
» Optimal partition trees
Sort
View
DAC
2009
ACM
16 years 7 months ago
Non-intrusive dynamic application profiling for multitasked applications
Application profiling ? the process of monitoring an application to determine the frequency of execution within specific regions ? is an essential step within the design process f...
Karthik Shankar, Roman L. Lysecky
SIGMOD
2005
ACM
155views Database» more  SIGMOD 2005»
16 years 6 months ago
On Boosting Holism in XML Twig Pattern Matching using Structural Indexing Techniques
Searching for all occurrences of a twig pattern in an XML document is an important operation in XML query processing. Recently a holistic method TwigStack [2] has been proposed. T...
Ting Chen, Jiaheng Lu, Tok Wang Ling
ICDE
2010
IEEE
235views Database» more  ICDE 2010»
16 years 6 months ago
Cost-efficient and Differentiated Data Availability Guarantees in Data Clouds
Abstract-- Failures of any type are common in current datacenters. As data scales up, its availability becomes more complex, while different availability levels per application or ...
Nicolas Bonvin, Thanasis G. Papaioannou, Karl Aber...
184
Voted
DASFAA
2010
IEEE
179views Database» more  DASFAA 2010»
16 years 1 months ago
Scalable Splitting of Massive Data Streams
Scalable execution of continuous queries over massive data streams often requires splitting input streams into parallel sub-streams over which query operators are executed in paral...
Erik Zeitler, Tore Risch
FM
2009
Springer
124views Formal Methods» more  FM 2009»
16 years 1 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry