9186 search results - page 1654 / 1838 » A Module System for Scheme |
115
Voted
LATIN
2004
Springer
15 years 5 months ago
2004
Springer
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
104
Voted
NMR
2004
Springer
15 years 5 months ago
2004
Springer
A simple model of rational belief holds that: (i) an instantaneous snapshot of an ideally rational belief system corresponds to a probability distribution; and (ii) rational belie...
109
click to vote
PPDP
2004
Springer
15 years 5 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
108
click to vote
WWIC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Multicasting is increasingly used as an efficient communication mechanism for group-oriented applications in the Internet. In order to offer secrecy for multicast applic...
117
click to vote
PDP
2010
IEEE
15 years 5 months ago
2010
IEEE
- We present a parallel conjugate gradient solver for the Poisson problem optimized for multi-GPU platforms. Our approach includes a novel heuristic Poisson preconditioner well sui...