481 search results - page 17 / 97 » Differential symbolic execution |
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—In a multiple-input multiple-output (MIMO) multiband orthogonal frequency division multiplexing (MB-OFDM) ultra-wideband (UWB) system, coherent detection where the chann...
TCOM
2008
14 years 10 months ago
2008
The constellation design for differential space-time modulation usually requires to construct L (constellation size) unitary matrices making the design complexity increasing rapidl...
CASC
2007
Springer
15 years 2 months ago
2007
Springer
We find a full system of invariants with respect to gauge transformations L g-1 Lg for third-order hyperbolic linear partial differential operators on the plane. The operators are...
HYBRID
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
ACSD
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...