3228 search results - page 360 / 646 » Computationally Sound Proofs |
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In order to study relative PCF-definability of boolean functions, we associate a hypergraph Hf to any boolean function f (following [3, 5]). We introduce the notion of t...
133
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
115
click to vote
NIME
2004
Springer
15 years 9 months ago
2004
Springer
When working with sample-based media, a performer is managing timelines, loop points, sample parameters and effects parameters. The Slidepipe is a performance controller that give...
118
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
Due to the limited number of available IP addresses most computers on the Internet use dynamic IP addresses which causes problems for applications that have to maintain routing ta...
130
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...