Sciweavers

3342 search results - page 610 / 669
» Automating Abstract Interpretation
Sort
View
PVLDB
2008
89views more  PVLDB 2008»
13 years 9 months ago
Constrained physical design tuning
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
Nicolas Bruno, Surajit Chaudhuri
JOT
2010
108views more  JOT 2010»
13 years 8 months ago
Dynamic adaptability with .NET service components
In self-adaptive systems components are dynamically modified according to the execution environment requirement, where each component is a probable point of failure. Existing appr...
Arun Mishra, A. K. Misra
MICCAI
2010
Springer
13 years 8 months ago
Understanding the Optics to Aid Microscopy Image Segmentation
Abstract. Image segmentation is essential for many automated microscopy image analysis systems. Rather than treating microscopy images as general natural images and rushing into th...
Zhaozheng Yin, Kang Li, Takeo Kanade, Mei Chen
MODELS
2010
Springer
13 years 8 months ago
Inferring Meta-models for Runtime System Data from the Clients of Management APIs
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...
Hui Song, Gang Huang, Yingfei Xiong, Franck Chauve...
NOMS
2010
IEEE
136views Communications» more  NOMS 2010»
13 years 8 months ago
Supporting System-wide Similarity Queries for networked system management
Abstract— Today’s networked systems are extensively instrumented for collecting a wealth of monitoring data. In this paper, we propose a framework called System-wide Similarity...
Songyun Duan, Hui Zhang 0002, Guofei Jiang, Xiaoqi...