1421 search results - page 131 / 285 » The First and Second Max-SAT Evaluations |
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
—The IEEE 802.16 standard, or WiMAX, has emerged as one of the strongest contenders for broadband wireless access technology. In our previous work, we proposed a protocol using r...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
—This paper studies the problem of minimizing symbol loss probability while keeping the system throughput above a certain threshold in downlink transmission of future OFDMA based...
ICDE
2008
IEEE
14 years 4 months ago
2008
IEEE
Network accountability and forensic analysis have become increasingly important, as a means of performing network diagnostics, identifying malicious nodes, enforcing trust managem...
ICTAI
2008
IEEE
14 years 4 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
High-performance microprocessors, e.g., multithreaded and multicore processors, are being implemented in embedded real-time systems because of the increasing computational require...