2957 search results - page 27 / 592 » Code analysis and CS-XML |
174
click to vote
ICSE
2011
IEEE-ACM
14 years 9 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
158
click to vote
TFM
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
170
click to vote
ISCAS
2007
IEEE
16 years 6 days ago
2007
IEEE
— MPEG-2 to H.264/AVC transcoding is an important module for video recoding in digital TV applications. For pixel domain transcoding, MPEG-2 bitstream is decoded and then reencod...
183
click to vote
ICMCS
2006
IEEE
15 years 12 months ago
2006
IEEE
Compressed-domain automatic speaker recognition is based on the analysis of the compressed parameters of speech coders. The objective is to perform low-complexity on-line speaker ...
185
click to vote
GLOBECOM
2008
IEEE
16 years 11 days ago
2008
IEEE
—This paper deals with a simple but essential two-hop wireless relay network employing network coding and a slotted ALOHA protocol. Network coding is a recent and highly regarded...