36320 search results - page 79 / 7264 » From Code to Models |
149
click to vote
IPPS
2007
IEEE
16 years 15 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...
202
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...
156
click to vote
DCC
2007
IEEE
16 years 5 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 ...
176
click to vote
PLDI
2006
ACM
16 years 4 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...
190
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...