4000 search results - page 36 / 800 » Simulation down under |
QEST
2008
IEEE
14 years 5 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
— In this paper, we analyze the effects of IQ (In-phase/ Quadrature-phase) imbalances at both transmitter and receiver of OFDM (Orthogonal Frequency Division Multiplexing) system...
ICCCN
2007
IEEE
14 years 5 months ago
2007
IEEE
—In this paper, we show that minimizing the product of path lengths results in minimizing the probability of connection failure between a source and destination given two links h...
INFOCOM
2007
IEEE
14 years 5 months ago
2007
IEEE
—We consider the problem of uplink/downlink scheduling in a multichannel wireless access point network where channel states differ across channels as well as users, vary with tim...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper, we present the first multi-objective microarchitectural floorplanning algorithm for designing highperformance, high-reliability processors in the early design ...