4075 search results - page 618 / 815 » Modeling Distributed Algorithm Using B |
172
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, we derive a statistical delay guarantee of the generalized Virtual Clock scheduling algorithm. We define the concept of an equivalent fluid and packet source and pr...
152
click to vote
ACL
2000
15 years 8 months ago
2000
This paper presents a corpus-based algorithm capable of inducing inflectional morphological analyses of both regular and highly irregular forms (such as broughtbring) from distrib...
179
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Cluster-based multi-tier systems provide a means for building scalable Internet services. Building adaptive Internet services that are able to apply appropriate system sizing and ...
186
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
Several ways of using singular value decomposition (SVD), a linear algebra technique typically used for information retrieval, to decompose problems into subproblems are investiga...
208
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...