4764 search results - page 656 / 953 » Applications of Error-Control Coding |
151
click to vote
ENTCS
2007
15 years 4 months ago
2007
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
152
click to vote
ENTCS
2007
15 years 4 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
137
click to vote
JVCIR
2006
15 years 4 months ago
2006
Real-time transmission of video data in network environments, such as wireless and Internet, is a challenging task, as it requires high compression efficiency and network friendly...
150
click to vote
PC
2008
15 years 4 months ago
2008
We present a distributed scheme for initialization from atomic wavefunctions in ab initio molecular dynamics simulations. Good initial guesses for approximate wavefunctions are ve...
136
click to vote
PPL
2008
15 years 4 months ago
2008
A functional data-parallel language called BSML has been designed for programming Bulk-Synchronous Parallel algorithms. Many sequential algorithms do not have parallel counterpart...