Sciweavers

3107 search results - page 200 / 622
» Error-Correcting Source Code
Sort
View
120
Voted
SCAM
2008
IEEE
15 years 11 months ago
Some Assembly Required - Program Analysis of Embedded System Code
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seef...
SECON
2008
IEEE
15 years 11 months ago
Practical Localized Network Coding in Wireless Mesh Networks
—In this paper, BFLY–a practical localized network coding protocol for wireless mesh networks–is proposed. To supplement forwarding packets in classical networks, intermediat...
Oluwasoji Omiwade, Rong Zheng, Cunqing Hua
AVSS
2005
IEEE
15 years 10 months ago
Motion compensated refinement for low complexity pixel based distributed video coding
Distributed video coding (DVC) is a new coding paradigm that enables to exploit video statistics, partially or totally at the decoder. A particular case of DVC, Wyner-Ziv coding, ...
João Ascenso, Catarina Brites, Fernando Per...
PROFES
2004
Springer
15 years 10 months ago
Refactoring Support Based on Code Clone Analysis
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...
Yoshiki Higo, Toshihiro Kamiya, Shinji Kusumoto, K...
IPPS
2007
IEEE
15 years 11 months ago
Multi-Core Model Checking with SPIN
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
Gerard J. Holzmann, Dragan Bosnacki