6274 search results - page 276 / 1255 » Proofs, Programs, Processes |
173
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
We study a clean machine model for external memory and stream processing. We show that the number of scans of the external data induces a strict hierarchy (as long as work space is...
159
click to vote
CONCUR
2000
Springer
15 years 11 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...
202
click to vote
CONCUR
2006
Springer
15 years 10 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...
151
click to vote
ACL
2008
15 years 8 months ago
2008
We present a discriminative structureprediction model for the letter-to-phoneme task, a crucial step in text-to-speech processing. Our method encompasses three tasks that have bee...
150
click to vote
BILDMED
2008
15 years 8 months ago
2008
With the broad availability and increasing performance of commodity graphics processors (GPU), non-graphical applications have become an active field of research. However, leveragi...