Sciweavers

762 search results - page 49 / 153
» A study of the uniqueness of source code
Sort
View
GLOBECOM
2008
IEEE
14 years 3 months ago
Network Resource Allocation for Competing Multiple Description Transmissions
Providing real-time multimedia services over a best-effort network is challenging due to the stringent delay requirements in the presence of complex network dynamics. Multiple des...
Ying Li, Chao Tian, Suhas N. Diggavi, Mung Chiang,...
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
14 years 2 months ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
Stephen Doxsee, William B. Gardner
IWPSE
2003
IEEE
14 years 2 months ago
The Chaos of Software Development
In this paper we present a new perspective on the problem of complexity in software, using sound mathematical concepts from information theory such as Shannon’s Entropy [31]. We...
Ahmed E. Hassan, Richard C. Holt
SIGSOFT
2010
ACM
13 years 7 months ago
LINKSTER: enabling efficient manual inspection and annotation of mined data
While many uses of mined software engineering data are automatic in nature, some techniques and studies either require, or can be improved, by manual methods. Unfortunately, manua...
Christian Bird, Adrian Bachmann, Foyzur Rahman, Ab...
CORR
2010
Springer
145views Education» more  CORR 2010»
13 years 9 months ago
Network error correction with unequal link capacities
We study network error correction with unequal link capacities. Previous results on network error correction assume unit link capacities. We consider network error correction codes...
Sukwon Kim, Tracey Ho, Michelle Effros, Amir Salma...