42 search results - page 8 / 9 » jsc 2010 |
JSC
2010
13 years 3 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
JSC
2010
13 years 3 days ago
2010
The present paper investigates two-parameter families of spheres in R3 and their corresponding two-dimensional surfaces in R4 . Considering a rational surface in R4 , the envelo...
JSC
2010
13 years 3 days ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
ICIP
2010
IEEE
13 years 3 months ago
2010
IEEE
In this paper, we propose a joint source-channel (JSC) decoding scheme for 3D ESCOT-based video coders, such as Vidwav. The embedded bitstream generated by such coders is very sen...
JSC
2010
13 years 3 months ago
2010
We consider the problem of solving a linear system Ax = b over a cyclotomic field. What makes cyclotomic fields of special interest is that we can easily find a prime p that sp...