Sciweavers

3107 search results - page 114 / 622
» Error-Correcting Source Code
Sort
View
SIGSOFT
2007
ACM
16 years 3 months ago
Mining API patterns as partial orders from source code: from usage scenarios to specifications
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
Mithun Acharya, Tao Xie, Jian Pei, Jun Xu
EUROSYS
2009
ACM
15 years 11 months ago
Tralfamadore: unifying source code and execution experience
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
Geoffrey Lefebvre, Brendan Cully, Michael J. Feele...
CORR
2006
Springer
66views Education» more  CORR 2006»
15 years 2 months ago
Coding into a source: a direct inverse Rate-Distortion theorem
Shannon proved that if we can transmit bits reliably at rates larger than the rate distortion function R(D), then we can transmit this source to within a distortion D. We answer th...
Mukul Agarwal, Anant Sahai, Sanjoy K. Mitter
109
Voted
TIT
2008
74views more  TIT 2008»
15 years 2 months ago
Rate Region of the Quadratic Gaussian Two-Encoder Source-Coding Problem
We determine the rate region of the quadratic Gaussian two-encoder source-coding problem. This rate region is achieved by a simple architecture that separates the analog and digita...
Aaron B. Wagner, Saurabha Tavildar, Pramod Viswana...
ICSE
2009
IEEE-ACM
15 years 9 months ago
Creating and evolving software by searching, selecting and synthesizing relevant source code
When programmers develop or maintain software, they instinctively sense that there are fragments of code that other developers implemented somewhere, and these code fragments coul...
Denys Poshyvanyk, Mark Grechanik