Sciweavers

2863 search results - page 328 / 573
» Comparing Operating Systems Using Robustness Benchmarks
Sort
View
VLDB
2005
ACM
139views Database» more  VLDB 2005»
15 years 9 months ago
Statistical Learning Techniques for Costing XML Queries
Developing cost models for query optimization is significantly harder for XML queries than for traditional relational queries. The reason is that XML query operators are much mor...
Ning Zhang 0002, Peter J. Haas, Vanja Josifovski, ...
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 7 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
TWC
2008
150views more  TWC 2008»
15 years 3 months ago
Design and analysis of post-coded OFDM systems
This paper discusses the design and analysis of post coded OFDM (PC-OFDM) systems. Coded or precoded OFDM systems are generally employed to overcome the symbol recovery problem in...
S. F. A. Shah, Ahmed H. Tewfik
SISW
2003
IEEE
15 years 9 months ago
Cryptographic File Systems Performance: What You Don't Know Can Hurt You
Securing data is more important than ever, yet cryptographic file systems still have not received wide use. One barrier to the adoption of cryptographic file systems is that the...
Charles P. Wright, Jay Dave, Erez Zadok
ICCV
2007
IEEE
16 years 6 months ago
Evaluation of Large Scale Scene Reconstruction
We present an evaluation methodology and data for large scale video-based 3D reconstruction. We evaluate the effects of several parameters and draw conclusions that can be useful ...
Paul Merrell, Philippos Mordohai, Jan-Michael Frah...