Sciweavers

182 search results - page 3 / 37
» Automatic patch generation by learning correct code
Sort
View
ICSE
2012
IEEE-ACM
13 years 14 days 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»
14 years 7 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
15 years 4 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»
14 years 9 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