4190 search results - page 563 / 838 » Type Class Directives |
130
click to vote
CEC
2007
IEEE
15 years 11 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...
154
click to vote
GLOBECOM
2007
IEEE
15 years 11 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 ...
134
click to vote
ICC
2007
IEEE
15 years 11 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...
134
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
143
click to vote
TASE
2007
IEEE
15 years 11 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...