Sciweavers

4714 search results - page 731 / 943
» The Complexity of Iterated Multiplication
Sort
View
ISCA
2006
IEEE
142views Hardware» more  ISCA 2006»
16 years 19 days ago
Bulk Disambiguation of Speculative Threads in Multiprocessors
Transactional Memory (TM), Thread-Level Speculation (TLS), and Checkpointed multiprocessors are three popular architectural techniques based on the execution of multiple, cooperat...
Luis Ceze, James Tuck, Josep Torrellas, Calin Casc...
ISCC
2006
IEEE
202views Communications» more  ISCC 2006»
16 years 19 days ago
Fuzzy Logic Congestion Control in TCP/IP Tandem Networks
Network resource management and control is a complex problem that requires robust, possibly intelligent, control methodologies to obtain satisfactory performance. While many Activ...
Chrysostomos Chrysostomou, Andreas Pitsillides
180
Voted
MEMOCODE
2006
IEEE
16 years 18 days ago
Mixed symbolic representations for model checking software programs
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivanc...
VTC
2006
IEEE
16 years 18 days ago
Antenna Subset Selection with Bit Allocation for Multicarrier Spatial Diversity Transceivers
– In this paper, two novel algorithms are presented that simultaneously perform bit allocation and antenna subset selection for multicarrier spatial diversity transceivers. The g...
Alexander M. Wyglinski
ADC
2006
Springer
130views Database» more  ADC 2006»
16 years 18 days ago
A two-phase rule generation and optimization approach for wrapper generation
Web information extraction is a fundamental issue for web information management and integrations. A common approach is to use wrappers to extract data from web pages or documents...
Yanan Hao, Yanchun Zhang