Sciweavers

4757 search results - page 332 / 952
» Generalized Posynomial Performance Modeling
Sort
View
ZUM
2000
Springer
15 years 10 months ago
Formal Methods for Industrial Products
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
Susan Stepney, David Cooper
WSC
2008
15 years 9 months ago
Monte Carlo and discrete-event simulations in C and R
The Monte Carlo and discrete-event simulation code associated with the Simulation 101 pre-conference workshop (offered at the 2006, 2007, and 2008 Winter Simulation Conferences) i...
Barry Lawson, Lawrence Mark Leemis
CORR
2010
Springer
75views Education» more  CORR 2010»
15 years 6 months ago
An Optimal Family of Exponentially Accurate One-Bit Sigma-Delta Quantization Schemes
Sigma-Delta modulation is a popular method for analog-to-digital conversion of bandlimited signals that employs coarse quantization coupled with oversampling. The standard mathema...
Percy Deift, C. Sinan Güntürk, Felix Kra...
EICS
2009
ACM
16 years 1 months ago
TnToolkit: a design and analysis tool for ambiguous, QWERTY, and on-screen keypads
The pervasive use of ambiguous keypads for mobile text entry necessitates examination of their performance characteristics. This paper presents TnToolkit – a self-contained tool...
Steven J. Castellucci, I. Scott MacKenzie
DOLAP
2004
ACM
16 years 4 days ago
Experimental evidence on partitioning in parallel data warehouses
Parallelism can be used for major performance improvement in large Data warehouses (DW) with performance and scalability challenges. A simple low-cost shared-nothing architecture ...
Pedro Furtado