3938 search results - page 618 / 788 » Interactive Protocols on the Reals |
202
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
170
click to vote
SIGCOMM
1996
ACM
15 years 10 months ago
1996
ACM
Abstract-- We present a Start-time Fair Queueing (SFQ) algorithm that is computationally efficient and achieves fairness regardless of variation in a server capacity. We analyze it...
138
click to vote
TACS
1997
Springer
15 years 10 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
153
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
In most database systems with production rule facilities, rules respond to operations on centralized data and rule processing is performed in a centralized, sequential fashion. In ...
164
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
We introduce a new channel, which consists of an interference channel (IC) in parallel with an interference relay channel (IRC), to analyze the interaction between two selfish and...