36320 search results - page 22 / 7264 » From Code to Models |
125
click to vote
CGO
2007
IEEE
15 years 8 months ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
ZUM
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
138
click to vote
TIT
1998
15 years 2 months ago
1998
—We review the principles of Minimum Description Length and Stochastic Complexity as used in data compression and statistical modeling. Stochastic complexity is formulated as the...
119
click to vote
TASLP
2002
15 years 2 months ago
2002
Perceptual audio coders use an estimated masked threshold for the determination of the maximum permissible just-inaudible noise level introduced by quantization. This estimate is d...
119
click to vote
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...