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...
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...
Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal
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...
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
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...