Sciweavers

1964 search results - page 139 / 393
» informs 2011
Sort
View
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 1 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
STTT
2011
161views more  STTT 2011»
15 years 1 months ago
Automating regression testing using web-based application similarities
Web-based applications are one of the most widely used types of software, and have become the backbone of many e-commerce and communications businesses. These applications are ofte...
Kinga Dobolyi, Elizabeth Soechting, Westley Weimer
TCOM
2011
92views more  TCOM 2011»
15 years 1 months ago
Bit-Interleaved Coded Modulation with Mismatched Decoding Metrics
Bit-interleaved coded modulation (BICM) has become the de facto coding standard for communication systems. Recently, BICM has been cast as a mismatched decoding scheme due to the ...
Trung Thanh Nguyen 0001, Lutz H.-J. Lampe
TIM
2011
151views more  TIM 2011»
15 years 1 months ago
IIR Filter Models of Haptic Vibration Textures
—Haptic tactile feedback is a widely used and effective technique in virtual reality applications. When an object’s surface is explored by stroking it using fingers, finger n...
Vijaya Lakshmi Guruswamy, Jochen Lang, Won-Sook Le...
TIP
2011
255views more  TIP 2011»
15 years 1 months ago
Dictionary Learning for Stereo Image Representation
—One of the major challenges in multi-view imaging is the definition of a representation that reveals the intrinsic geometry of the visual information. Sparse image representati...
Ivana Tosic, Pascal Frossard