5171 search results - page 158 / 1035 » Deterministic Parallel Processing |
120
click to vote
PDIS
1994
IEEE
15 years 6 months ago
1994
IEEE
Many new database applications require very large volumes of data. Mariposa is a data base system under construction at Berkeley responding to this need. Mariposa objects can be s...
143
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
FPL
2008
Springer
15 years 3 months ago
2008
Springer
The effectiveness of implementing bit-stream signal processing (BSSP) multiplier circuits in FPGAs, in terms of hardware resources and clock frequency, is presented. In particular...
108
click to vote
ESTIMEDIA
2009
Springer
14 years 11 months ago
2009
Springer
As single-processor systems are ceasing to scale effectively, multi-processor systems are becoming more and more popular. While there are many challenges of designing multi-process...
134
click to vote
FOSSACS
2012
Springer
13 years 9 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...