1448 search results - page 68 / 290 » From Requirements to Code Revisited |
VLBV
2005
Springer
14 years 3 months ago
2005
Springer
We vary the quantization parameter in H.264 video encoding by increasing it by a well-chosen offset in every other frame, which we call reduced frames. As the motion compensation ...
SEW
2003
IEEE
14 years 3 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
BMCBI
2004
13 years 10 months ago
2004
Background: A number of completely sequenced eukaryotic genome data are available in the public domain. Eukaryotic genes are either 'intron containing' or 'intronle...
TIT
2002
13 years 9 months ago
2002
Multiple-antenna systems that operate at high rates require simple yet effective space-time transmission schemes to handle the large traffic volume in real time. At rates of tens ...