695 search results - page 50 / 139 » Symbolic Simulation of Hybrid Systems |
ISPW
2006
IEEE
14 years 2 months ago
2006
IEEE
The spiral lifecycle is being extended to address new challenges for Software-Intensive Systems of Systems (SISOS), such as coping with rapid change while simultaneously assuring h...
ISCA
2005
IEEE
14 years 1 months ago
2005
IEEE
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have prim...
LCTRTS
1995
Springer
13 years 11 months ago
1995
Springer
In this paper, we present a preemptive joint scheduling of hard deadline periodic and hard deadline aperiodic tasks on a uniprocessor real-time system. The scheduling has extended...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
-This paper addresses the problem of performance analysis for maximum likelihood (ML) detection in two-input multiple-output multiplexing systems. A novel analytical method is pres...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—Carrier Frequency Offset (CFO) estimation is critical in practical orthogonal frequency-division multiplexing (OFDM) systems. In this paper, we propose two novel blind C...