Sciweavers

3257 search results - page 374 / 652
» Some Results on Effective Randomness
Sort
View
KIVS
1999
Springer
15 years 11 months ago
Strategies for Minimizing the Average Cost of Paging on the Air Interface
: Location Management of mobile users in a cellular network covers tracking and paging (searching) functionality. In this paper a sequential search strategy is proposed which reduc...
Dogan Kesdogan, Andrei Trofimov, Dirk Trossen
PVM
1999
Springer
15 years 11 months ago
Implementing MPI-2 Extended Collective Operations
This paper describes a first approach to implement MPI-2’s Extended Collective Operations. We aimed to ascertain the feasibility and effectiveness of such a project based on exis...
Pedro V. Silva, João Gabriel Silva
VLDB
1997
ACM
140views Database» more  VLDB 1997»
15 years 11 months ago
Parallel Query Scheduling and Optimization with Time- and Space-Shared Resources
Scheduling query execution plans is a particularly complex problem in hierarchical parallel systems, where each site consists of a collection of local time-shared (e.g., CPU(s) or...
Minos N. Garofalakis, Yannis E. Ioannidis
LFCS
1994
Springer
15 years 11 months ago
Strong Normalization in a Non-Deterministic Typed Lambda-Calculus
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
Philippe de Groote
PARLE
1994
15 years 11 months ago
Modelling Photochemical Pollution using Parallel and Distributed Computing Platforms
Scientists are increasingly turning to numerical simulation in order to investigate and model complex environmental systems. Numerical simulation has enormous advantages over labor...
David Abramson, M. Cope, R. McKenzie