3852 search results - page 469 / 771 » Construction of Codes for Network Coding |
207
Voted
JSS
2010
15 years 1 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
201
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
179
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
201
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...
134
Voted
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper proposes a new technique in wavelet video compression that exploits the spatiotemporal regularity of the video. A sequence of frames is said to be regular along the dire...