3107 search results - page 430 / 622 » Error-Correcting Source Code |
129
Voted
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
Interruptions are a daily reality for professional programmers. Unfortunately, the strategies programmers use to recover lost knowledge and resume work have not yet been well stud...
124
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
155
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
116
click to vote
MSR
2009
ACM
15 years 10 months ago
2009
ACM
For popular software systems, the number of daily submitted bug reports is high. Triaging these incoming reports is a time consuming task. Part of the bug triage is the assignment...
112
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Tandem connections of voice codecs can occur today in mobileto-mobile calls and for certain VoIP connections. While postfiltering in tandem encodings is well-understood, the effe...