955 search results - page 85 / 191 » Model Checking Operator Procedures |
ICASSP
2011
IEEE
13 years 15 days ago
2011
IEEE
In this paper, a novel receiver for joint data detection and channel tracking on continuous phase modulation (CPM) operating under a frequency-flat time-varying Rayleigh fading c...
CPAIOR
2007
Springer
14 years 2 months ago
2007
Springer
We show how to efficiently model binary constraint problems (BCP) as integer programs. After considering tree-structured BCPs first, we show that a Sherali-Adams-like procedure r...
OR
2004
Springer
14 years 2 months ago
2004
Springer
This contribution addresses the consideration of time windows in the optimization of multi-commodity network flows. For each node, one interval is specified in which the visitati...
ICONS
2009
IEEE
14 years 3 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
FDL
2005
IEEE
14 years 2 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...