Sciweavers

9051 search results - page 1684 / 1811
» On detectability of stochastic systems
Sort
View
CCR
2011
15 years 1 months ago
Misbehaviors in TCP SACK generation
While analyzing CAIDA Internet traces of TCP traffic to detect instances of data reneging, we frequently observed seven misbehaviors in the generation of SACKs. These misbehaviors...
Nasif Ekiz, Abuthahir Habeeb Rahman, Paul D. Amer
COLING
2010
15 years 1 months ago
Robust Measurement and Comparison of Context Similarity for Finding Translation Pairs
In cross-language information retrieval it is often important to align words that are similar in meaning in two corpora written in different languages. Previous research shows tha...
Daniel Andrade, Tetsuya Nasukawa, Jun-ichi Tsujii
CSI
2011
219views Social Sciences» more  CSI 2011»
15 years 1 months ago
Estimation method for the consciousness level while driving vehicles
Automobile industry is required extremely energy saving, and active safety technology. The study has been estimation consciousness and concentration using shoulder line, quantity o...
T. Sugimoto, A. Tohshima
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...
TSE
2011
214views more  TSE 2011»
15 years 1 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
« Prev « First page 1684 / 1811 Last » Next »