11063 search results - page 2100 / 2213 » On the existence of universal models |
161
click to vote
ISCC
2008
IEEE
16 years 23 days ago
2008
IEEE
As disk drives become increasingly sophisticated and processing power increases, one of the most critical issues of designing modern disk systems is data reliability. Although num...
143
click to vote
LICS
2008
IEEE
16 years 23 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
174
click to vote
SECON
2008
IEEE
16 years 22 days ago
2008
IEEE
—Delay Tolerant Networks are wireless networks where disconnections may occur frequently due to propagation phenomena, node mobility, and power outages. Propagation delays may al...
154
click to vote
VTC
2008
IEEE
16 years 22 days ago
2008
IEEE
— The IEEE 802.16j protocol for a multi-hop relay (MMR) WiMAX network is being developed to increase data rates and extend service coverage as an enhancement of existing WiMAX st...
144
click to vote
CGO
2007
IEEE
16 years 21 days ago
2007
IEEE
Modern memory systems play a critical role in the performance of applications, but a detailed understanding of the application behavior in the memory system is not trivial to atta...