36320 search results - page 79 / 7264 » From Code to Models |
160
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
Storing data in distributed systems aims to offer higher bandwidth and scalability than storing locally. But, a couple of disadvantageous issues must be taken into account such as...
216
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper proposes a new approach to combined spatial (Intra) prediction and adaptive transform coding in block-based video and image compression. Context-adaptive spatial predic...
171
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
We address the connection between the multiple-description (MD) problem and Delta-Sigma quantization. The inherent redundancy due to oversampling in Delta-Sigma quantization, and ...
190
click to vote
PLDI
2006
ACM
16 years 17 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
202
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...