1145 search results - page 75 / 229 » The Correctness of an Optimized Code Generation |
DCC
2008
IEEE
14 years 8 months ago
2008
IEEE
In this paper, we propose a statistical optimization framework for transmitting audio sequences over wireless links. Our proposed framework protects audio frames against both temp...
CSFW
2009
IEEE
14 years 25 days ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Recent video coding standards such as H.264 offer the flexibility to select reference frames during motion estimation for predicted frames. In this paper, by tracking loss compen...
ICASSP
2011
IEEE
13 years 19 days ago
2011
IEEE
This paper proposes a method for analyzing the direction of the arrival of sound by estimating the sound intensity vector from the pressure and energy gradients of closely-spaced ...