6762 search results - page 901 / 1353 » Multiple drafts model |
218
click to vote
ISI
2006
Springer
15 years 7 months ago
2006
Springer
We present an overview of our work in information fusion for intelligence analysis. This work includes the Hats Simulator and the COLAB system. The Hats Simulator is a parameterize...
159
click to vote
JSW
2008
15 years 7 months ago
2008
Checkpointing is a commonly used approach to provide system fault-tolerance. However, using a constant checkpointing frequency may compromise the system's overall performance ...
169
click to vote
JUCS
2008
15 years 7 months ago
2008
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
181
click to vote
JFP
2006
15 years 7 months ago
2006
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mo...
208
click to vote
PPL
2008
15 years 7 months ago
2008
The model of bulk-synchronous parallel computation (BSP) helps to implement portable general purpose algorithms while keeping predictable performance on different parallel compute...