1349 search results - page 9 / 270 » Towards a theory of events |
PSB
2003
13 years 8 months ago
2003
This paper is concerned with evaluating the performance of the model and algorithm in [7] for detecting lateral gene transfers events. Using a Poisson process to describe arrival t...
WEBI
2010
Springer
13 years 5 months ago
2010
Springer
Web 2.0 provided internet users with a dynamic medium, where information is updated continuously and anyone can participate. Though preliminary analysis exists, there is still lit...
HPCC
2007
Springer
14 years 1 months ago
2007
Springer
Although event tracing of parallel applications offers highly detailed performance information, tracing on current leading edge systems may lead to unacceptable perturbation of the...
WSC
2004
13 years 8 months ago
2004
We investigate factors that impact the effectiveness of caching to speed up discrete event simulation. Walsh and Sirer have shown that a variant of function caching (staged simula...
ASM
2010
ASM
13 years 10 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...