Sciweavers

3169 search results - page 136 / 634
» Robust Timed Automata
Sort
View
110
Voted
TCS
2010
15 years 27 days ago
Detecting synchronisation of biological oscillators by model checking
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
Ezio Bartocci, Flavio Corradini, Emanuela Merelli,...
BMCBI
2007
144views more  BMCBI 2007»
15 years 2 months ago
Robust regression for periodicity detection in non-uniformly sampled time-course gene expression data
Background: In practice many biological time series measurements, including gene microarrays, are conducted at time points that seem to be interesting in the biologist's opin...
Miika Ahdesmäki, Harri Lähdesmäki, ...
IMC
2004
ACM
15 years 8 months ago
Robust synchronization of software clocks across the internet
Accurate, reliable timestamping which is also convenient and inexpensive is needed in many important areas including real-time network applications and network measurement. Recent...
Darryl Veitch, Satish Babu Korada, Attila Pá...
CGF
2008
150views more  CGF 2008»
15 years 2 months ago
Compact, Fast and Robust Grids for Ray Tracing
The focus of research in acceleration structures for ray tracing recently shifted from render time to time to image, the sum of build time and render time, and also the memory foo...
Ares Lagae, Philip Dutré
103
Voted
DSN
2007
IEEE
15 years 8 months ago
On the Selection of Error Model(s) for OS Robustness Evaluation
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
Andréas Johansson, Neeraj Suri, Brendan Mur...