Sciweavers

6562 search results - page 75 / 1313
» Noetherianity and Combination Problems
Sort
View
93
Voted
WDAG
2010
Springer
182views Algorithms» more  WDAG 2010»
14 years 11 months ago
Scalable Flat-Combining Based Synchronous Queues
In a synchronous queue, producers and consumers handshake to exchange data. Recently, new scalable unfair synchronous queues were added to the Java JDK 6.0 to support high performa...
Danny Hendler, Itai Incze, Nir Shavit, Moran Tzafr...
122
Voted
DAC
2006
ACM
16 years 1 months ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu
62
Voted
VTC
2008
IEEE
15 years 7 months ago
Enhanced Group Detection with a New Receiver Combiner for Spatial Multiplexing MIMO systems
Abstract— In this paper, we propose a new groupwise receiver combiner design method for spatial multiplexing multipleinput multiple-output (MIMO) systems. The conventional group ...
Jeongsik Jeong, Heunchul Lee, Sung Hyun Moon, Inky...
78
Voted
CICLING
2005
Springer
15 years 6 months ago
Direct Combination of Spelling and Pronunciation Information for Robust Back-Transliteration
Abstract. Transliterating words and names from one language to another is a frequent and highly productive phenomenon. For example, English word cache is transliterated in Japanese...
Slaven Bilac, Hozumi Tanaka
AUSAI
2003
Springer
15 years 6 months ago
Combining Multiple Host-Based Detectors Using Decision Tree
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...
Sang-Jun Han, Sung-Bae Cho