2632 search results - page 152 / 527 » Alternating Timed Automata |
175
click to vote
ECRTS
2009
IEEE
15 years 2 months ago
2009
IEEE
Reader preference, writer preference, and task-fair readerwriter locks are shown to cause undue blocking in multiprocessor real-time systems. A new phase-fair reader-writer lock i...
127
Voted
BMCBI
2006
15 years 4 months ago
2006
Background: Detection of periodically expressed genes from microarray data without use of known periodic and non-periodic training examples is an important problem, e.g. for ident...
141
Voted
CPM
1999
Springer
15 years 9 months ago
1999
Springer
We present a very efficient, in terms of space and access speed, data structure for storing huge natural language data sets. The structure is described as LZ (Ziv Lempel) compresse...
142
click to vote
ENTCS
2002
15 years 4 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
117
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We ...