2182 search results - page 133 / 437 » A pretopological approach for structural analysis |
DAC
2005
ACM
15 years 11 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
— We consider the downlink of a multiuser multi-input multi-output (MIMO) broadcast channel under a single cell structure. To study the achievable link coverage performance of ze...
WCNC
2008
IEEE
15 years 4 months ago
2008
IEEE
—Among all blind channel estimation problems, subspace-based algorithms are attractive due to its fastconverging nature. It primarily exploits the orthogonality structure of the ...
DSN
2007
IEEE
15 years 4 months ago
2007
IEEE
Nowadays, economy, security and quality of life heavily depend on the resiliency of a number of critical infrastructures, including the Electric Power System (EPS), through which ...