2957 search results - page 9 / 592 » Code analysis and CS-XML |
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
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...
TIT
2010
13 years 2 months ago
2010
In this paper, a method for the asymptotic analysis of generalized low-density parity-check (GLDPC) codes and doubly generalized low-density parity-check (D-GLDPC) codes over the b...
PROFES
2004
Springer
14 years 20 days ago
2004
Springer
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...
AMAST
2004
Springer
14 years 22 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— It has previously been shown that serially concatenated trellis coded modulation (SCTCM) with a non-recursive inner convolutional code can achieve convergence close to ...