628 search results - page 24 / 126 » Magic Counting Methods |
ENTCS
2006
13 years 8 months ago
2006
This paper presents a novel profiling approach, which is entirely based on program transformation techniques in order to enable exact profiling, preserving complete call stacks, m...
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
The common metric temporal logics for continuous time were shown to be insufficient, when it was proved in [7, 12] that they cannot express a modality suggested by Pnueli. Moreover...
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
BMCBI
2010
13 years 8 months ago
2010
Background: Leukocytes play an important role in the human immune system. The family of leukocytes is comprised of lymphocytes, monocytes, eosinophils, basophils, and neutrophils....
CSDA
2008
13 years 8 months ago
2008
In this paper the concept of later waiting time distributions for patterns in multi-state trials is generalized to cover a collection of compound patterns that must all be counted...