238 search results - page 35 / 48 » Constraint Solving and Symbolic Execution |
67
Voted
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract We consider the linear coding of a discrete memoryless Gaussian source transmitted through a discrete memoryless fading channel with additive white Gaussian noise (AWGN)...
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
108
Voted
ICALP
1997
Springer
15 years 3 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
96
Voted
CSFW
2010
IEEE
15 years 2 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...
73
Voted
GLOBECOM
2009
IEEE
15 years 2 months ago
2009
IEEE
We study the joint allocation of three types of resources, namely, power, subcarriers and relay nodes, in cooperative two-hop multi-relay OFDM systems. Each relay adopts the amplif...