4764 search results - page 432 / 953 » Applications of Error-Control Coding |
153
Voted
ENTCS
2002
15 years 3 months ago
2002
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...
116
Voted
DCC
1998
IEEE
15 years 3 months ago
1998
IEEE
: Application of joint source-channel matching in heterogeneous multi-media environments will demand general source-channel optimization schemes suitable for a wide variety of sour...
134
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
150
Voted
ISAMI
2010
15 years 1 months ago
2010
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
120
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...