8953 search results - page 321 / 1791 » Parallel Query Processing |
123
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
159
Voted
CONCUR
2006
Springer
15 years 7 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...
104
Voted
FPL
2008
Springer
15 years 5 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...
126
click to vote
ESTIMEDIA
2009
Springer
15 years 1 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...
153
click to vote
FOSSACS
2012
Springer
13 years 11 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...