1629 search results - page 199 / 326 » Infeasible Code Detection |
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
107
click to vote
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
APPROX
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...
140
click to vote
ISCAS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we propose a moving object extraction technique for MPEG coded data directly. It is a changebased motion object extraction approach, which discriminates background ...
123
Voted
VVS
2000
IEEE
15 years 6 months ago
2000
IEEE
A novel approach for rendering time-varying data based on the Shear-Warp factorisation is presented. Reduction in storage space is achieved by detecting the changed areas within e...