9842 search results - page 711 / 1969 » Compositional timing analysis |
203
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
221
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We introduce a novel remotely-mounted attack that can expose the network identity of an anonymous client, hidden service, and anonymizing proxies. To achieve this, we emp...
212
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: We propose a statistically principled baseline correction method, derived from a parametric smoothing model. It uses a score function to describe the key features of b...
240
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Despite considerable efforts within the microarray community for standardising data format, content and description, microarray technologies present major challenges i...
178
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: In a microarray experiment the difference in expression between genes on the same slide is up to 103 fold or more. At low expression, even a small error in the estimat...