5900 search results - page 47 / 1180 » Dependable Systems |
IMC
2007
ACM
13 years 10 months ago
2007
ACM
We consider the problem of diagnosing performance problems in distributed system and networks given end-to-end performance measurements provided by test transactions, or probes. C...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...
SRDS
2006
IEEE
14 years 2 months ago
2006
IEEE
Today’s large-scale distributed systems consist of collections of nodes that have highly variable availability — a phenomenon sometimes called churn. This availability variati...
DAS
2008
Springer
13 years 10 months ago
2008
Springer
In this paper we present a writer-dependent handwriting recognition system based on hidden Markov models (HMMs). This system, which has been developed in the context of research o...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...