Sciweavers

8377 search results - page 268 / 1676
» Scenarios - Introduction
Sort
View
JLP
2010
73views more  JLP 2010»
15 years 1 months ago
Composing model programs for analysis
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
Margus Veanes, Jonathan Jacky
TCOM
2010
87views more  TCOM 2010»
15 years 1 months ago
Performance of an AFC Loop in the Presence of a Single Interferer in a Fading Channel
The performance of an automatic frequency control (AFC) loop is investigated using two measures, the mean time to loss of lock and the average switching rate. The AFC is considere...
Amin Emad, Norman C. Beaulieu
TIT
2010
99views Education» more  TIT 2010»
15 years 1 months ago
Capacity of Channels With Action-Dependent States
We consider channels with action-dependent states: Given the message to be communicated, the transmitter chooses an action sequence that affects the formation of the channel state...
Tsachy Weissman
TWC
2010
15 years 1 months ago
On the statistics of cognitive radio capacity in shadowing and fast fading environments
Abstract--In this paper we consider the capacity of the cognitive radio (CR) channel in a fading environment under a "low interference regime". This capacity depends crit...
Muhammad Fainan Hanif, Peter J. Smith
VRIPHYS
2010
15 years 1 months ago
Boundary Handling and Adaptive Time-stepping for PCISPH
We present a novel boundary handling scheme for incompressible fluids based on Smoothed Particle Hydrodynamics (SPH). In combination with the predictive-corrective incompressible ...
Markus Ihmsen, Nadir Akinci, Marc Gissler, Matthia...