3605 search results - page 555 / 721 » Associated types with class |
123
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
150
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a companion solution to iSCSI that is more suited for virtualization of local computer bus architectures, such as PCI/PCI-X and PCI Express. We explore the architecture ...
133
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper proposes an adaptive radio resource allocation (ARRA) algorithm for downlink OFDMA/SDMA systems with multimedia traffic. Considering multiple service classes and di...
125
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Although the capacity of multiple-input multiple output (MIMO) broadcast channels (BCs) can be achieved by dirty-paper coding (DPC), it is difficult to apply the results direct...
137
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...