4075 search results - page 4 / 815 » Modeling Distributed Algorithm Using B |
66
Voted
DAC
2002
ACM
15 years 11 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...
74
Voted
BIBE
2005
IEEE
15 years 3 months ago
2005
IEEE
We address the issue of providing highly informative annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a set of candidate ...
74
Voted
HIPC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Parallelizing a sequential algorithm—i.e., manually or automatically converting it into an equivalent parallel distributed algorithm—is an important problem. Ideally,...
103
Voted
PROPERTYTESTING
2010
14 years 8 months ago
2010
We initiate the study of sublinear-time algorithms in the external memory model [Vit01]. In this model, the data is stored in blocks of a certain size B, and the algorithm is char...
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we propose a parallel approach for the Kmeans Vector Quantization (VQ) algorithm used in a twostage Hidden Markov Model (HMM)-based system for recognizing handwritte...