1187 search results - page 65 / 238 » A Timed Calculus for Wireless Systems |
128
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
136
Voted
ICFP
2000
ACM
15 years 8 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
121
click to vote
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...
143
Voted
VTC
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper we consider relay communication as a way of increasing the diversity gain in fading wireless environments. The idea is to combine relay communication with delay d...
146
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
—IEEE 802.11 DCF is the MAC protocol currently used in wireless LANs. 802.11 DCF is inefficient due to two types of overhead; channel idle time and collision time. This paper pr...