Sciweavers

54 search results - page 2 / 11
» On the Expressiveness of Forwarding in Higher-Order Communic...
Sort
View
FSEN
2009
Springer
13 years 11 months ago
Termination in Higher-Order Concurrent Calculi
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
Romain Demangeon, Daniel Hirschkoff, Davide Sangio...
CONCUR
2005
Springer
13 years 10 months ago
SOS for Higher Order Processes
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...
Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. R...
GLOBECOM
2009
IEEE
13 years 3 months ago
Exact Closed-Form Expressions for the Outage Probability and Ergodic Capacity of Decode-and-Forward Opportunistic Relaying
Exact statistics of the local signal-to-noise ratios (SNRs) of the best relay in decode-and-forward (DF) opportunistic relaying (ORe) are derived. It is observed that although the ...
Reza Nikjah, Norman C. Beaulieu
ICC
2007
IEEE
129views Communications» more  ICC 2007»
13 years 11 months ago
Closed-Form Expressions for the Outage and Error Probabilities of Decode-and-Forward Relaying in Dissimilar Rayleigh Fading Chan
—User cooperation protocols, where mobile stations relay signals to the final destination, have been proposed for wireless networks. A general mathematical probability model is ...
Jeremiah Hu, Norman C. Beaulieu
TIT
2008
76views more  TIT 2008»
13 years 5 months ago
On the Role of Estimate-and-Forward With Time Sharing in Cooperative Communication
In this paper, we focus on the general relay channel. We investigate the application of the estimate-and-forward (EAF) relaying scheme to different scenarios. Specifically, we stud...
Ron Dabora, Sergio D. Servetto