Sciweavers

4745 search results - page 267 / 949
» Discretization: An Enabling Technique
Sort
View
FOCS
2009
IEEE
16 years 1 months ago
Faster Generation of Random Spanning Trees
In this paper, we set forth a new algorithm for generating approximately uniformly random spanning trees in undirected graphs. We show how to sample from a distribution that is wi...
Jonathan A. Kelner, Aleksander Madry
EMSOFT
2009
Springer
16 years 1 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
ISCC
2007
IEEE
16 years 27 days ago
Long Horizon End-to-End Delay Forecasts: A Multi-Step-Ahead Hybrid Approach
A long horizon end-to-end delay forecast, if possible, will be a breakthrough in traffic engineering. This paper introduces a hybrid approach to forecast end-to-end delays using ...
Vinh Bui, Weiping Zhu, Antonio Pescapè, Ale...
QEST
2007
IEEE
16 years 27 days ago
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
Peter Kemper, Carsten Tepper
IEAAIE
2007
Springer
16 years 23 days ago
Robust Multi-scale Full-Band Image Watermarking for Copyright Protection
With the exponential growth of digital materials in this age, the protection of Intellectual Property Right (IPR) becomes an important and urgent topic. In this paper, we propose a...
Jung-Chun Liu, Chu-Hsing Lin, Li-Ching Kuo, Jen-Ch...