Sciweavers

182 search results - page 3 / 37
» Automatic patch generation by learning correct code
Sort
View
ICSE
2012
IEEE-ACM
11 years 7 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang
ICMCS
2009
IEEE
137views Multimedia» more  ICMCS 2009»
13 years 2 months ago
Fractional compensation for spatial scalable video coding
This paper proposes a novel fractional compensation approach for spatial scalable video coding. It simultaneously exploits inter layer correlation and intra layer correlation by l...
Xiaoyan Sun, Feng Wu
CSIE
2009
IEEE
13 years 12 months ago
Automatic Preposition Errors Correction Using Inductive Learning
In this paper, we describe a system for correcting English preposition errors automatically. Non-native English writers often make these errors. Our system uses rules extracted au...
Hokuto Ototake, Kenji Araki
TVLSI
1998
118views more  TVLSI 1998»
13 years 4 months ago
Automatic generation of error control codes for computer applications
— This paper proposes a methodology, implemented in a tool, to automatically generate the main classes of error control codes (ECC’s) widely applied in computer memory systems ...
Franco Fummi, Donatella Sciuto, Cristina Silvano