481 search results - page 13 / 97 » Differential symbolic execution |
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Differential Unitary Space-Time Block codes (STBCs) offer a means to communicate on the Multiple Input Multiple Output (MIMO) channel without the need for channel knowledge at ...
TWC
2008
14 years 10 months ago
2008
This letter considers multiple symbol differential detection for multiple-antenna systems over flat Ricean-fading channels when partial channel state information (CSI) is available...
TCOM
2008
14 years 10 months ago
2008
In this paper, we investigate the resource allocation in a differentially modulated relay network. In addition to the energy optimization, we also consider location optimization to...
ISSAC
2005
Springer
15 years 3 months ago
2005
Springer
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...
WCET
2003
14 years 11 months ago
2003
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...