Sciweavers

368 search results - page 16 / 74
» formats 2004
Sort
View
FORMATS
2004
Springer
15 years 3 months ago
Symbolic Model Checking for Probabilistic Timed Automata
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
FORMATS
2004
Springer
15 years 1 months ago
A Unified Fault-Tolerance Protocol
Davies and Wakerly show that Byzantine fault tolerance can be achieved by a cascade of broadcasts and middle value select functions. We present an extension of the Davies and Waker...
Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Mad...
81
Voted
WSC
2004
14 years 11 months ago
Simulation Output Analysis: A Tutorial Based on One Research Thread
In reviewing topics in simulation output analysis, we advocate univariate analysis, micro/macro replications based on fixed sample sizes, overlapping batches, batch sizes based on...
Bruce W. Schmeiser
62
Voted
DCC
2004
IEEE
15 years 9 months ago
Fast Compression with a Static Model in High-Order Entropy
We report on a simple encoding format called wzip for decompressing block-sorting transforms, such as the Burrows-Wheeler Transform (BWT). Our compressor uses the simple notions o...
Luca Foschini, Roberto Grossi, Ankur Gupta, Jeffre...
APVIS
2004
14 years 11 months ago
An Interactive Visualisation for Investigating DNA Sequence Information
1 The sequence of nucleotides that makes up a DNA molecule encodes the characteristics of living things. Bioinformatics offers sophisticated methods to search for and compare nucl...
Paul Rutherford, Clare Churcher, John McCallum