Sciweavers

2068 search results - page 320 / 414
» On Effectiveness of Application-Layer Coding
Sort
View
TOOLS
2010
IEEE
15 years 9 months ago
Read-Only Execution for Dynamic Languages
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...
Jean-Baptiste Arnaud, Marcus Denker, Stépha...
SPAA
2010
ACM
15 years 9 months ago
Simplifying concurrent algorithms by exploiting hardware transactional memory
We explore the potential of hardware transactional memory (HTM) to improve concurrent algorithms. We illustrate a number of use cases in which HTM enables significantly simpler c...
Dave Dice, Yossi Lev, Virendra J. Marathe, Mark Mo...
RE
2001
Springer
15 years 8 months ago
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
Margaret H. Smith, Gerard J. Holzmann, Kousha Etes...
ICC
2000
IEEE
147views Communications» more  ICC 2000»
15 years 8 months ago
Average Power Reduction Techniques for Multiple-Subcarrier Intensity-Modulated Optical Signals
Abstract—We describe two classes of simple, effective techniques for reducing the average optical power requirement in intensity-modulated optical systems using multiple BPSK or ...
Roy You, Joseph M. Kahn
ICMCS
2000
IEEE
94views Multimedia» more  ICMCS 2000»
15 years 8 months ago
DCT Coefficient-Based Error Detection Technique for Compressed Video Stream
: In the process of transmission of digital encoded video bit streams over physical network, the data is corrupted by random bit errors, which has a several effect on the decoded v...
K. Bhattacharyya, H. S. Jamadagni