2957 search results - page 344 / 592 » Code analysis and CS-XML |
126
click to vote
SCIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. DCT based image compression using blocks of size 32x32 is considered. An effective method of bit-plane coding of quantized DCT coefficients is proposed. Parameters of pos...
105
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...
117
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: We report on our experiences with the implementation of a parallel algorithm to compute the cycle structure of a permutation given as an oracle. As a sub-problem, the cyc...
126
click to vote
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
The timely and accurate detection of computer and network system intrusions has always been an elusive goal for system administrators and information security researchers. Existin...
163
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...