2572 search results - page 350 / 515 » codes 2008 |
150
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
124
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This work presents a new amplify-and-forward (AF) cooperative multiple input multiple output (MIMO) transmission scheme based on phase sweep transmit diversity. In a single hop...
125
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, we analyze the maximum likelihood decoding performance of non-regenerative cooperation employing Alamouti scheme. Specifically, we derive two closed-form express...
103
click to vote
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper proposes the use of group-orthogonal frequency diversity combined with space-time block coding (STBC) to improve the performance of IEEE 802.11n wireless networks (WL...
136
click to vote
WCRE
2008
IEEE
15 years 10 months ago
2008
IEEE
Static views of object-oriented source code as presented in a development environment (IDE) do not provide explicit representations of dynamic collaboration to describe how source...