2253 search results - page 409 / 451 » Computing with Realizational Morphology |
ISAAC
2009
Springer
14 years 5 months ago
2009
Springer
We give a simple framework which is an alternative to the celebrated and widely used shifting strategy of Hochbaum and Maass [J. ACM, 1985] which has yielded efficient algorithms ...
TLCA
2009
Springer
14 years 5 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
TRIDENTCOM
2008
IEEE
14 years 5 months ago
2008
IEEE
Research on TCP performance relies either on simulation programs, which run on a single machine, or on the use of real testbeds, where different machines represent different netwo...
ACSC
2007
IEEE
14 years 5 months ago
2007
IEEE
Mobile technology is particularly suited to a fully distributed (replicated) architecture for collaborative work. Users can maintain their own document copies, and can continue to...
ADHOCNOW
2007
Springer
14 years 5 months ago
2007
Springer
We present a distributed topology control protocol that runs on a d-QUDG for d ≥ 1/ √ 2, and computes a sparse, constant-spanner, both in Euclidean distance and in hop distance...