42 search results - page 8 / 9 » jsc 2010 |
125
click to vote
JSC
2010
15 years 9 days 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...
117
Voted
JSC
2010
14 years 8 months 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...
162
click to vote
JSC
2010
14 years 8 months 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...
102
Voted
ICIP
2010
IEEE
14 years 12 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...
110
Voted
JSC
2010
15 years 9 days 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...