3335 search results - page 287 / 667 » Grid result checking |
131
click to vote
NIPS
2001
15 years 8 months ago
2001
We report a result of perturbation analysis on decoding error of the belief propagation decoder for Gallager codes. The analysis is based on information geometry, and it shows tha...
174
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
158
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...
140
click to vote
IBMRD
2006
15 years 6 months ago
2006
Because they are based on large content-addressable memories, load-store queues (LSQ) present implementation challenges in superscalar processors, especially as issue width and nu...
179
click to vote
NGC
2008
Springer
15 years 6 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...