36320 search results - page 69 / 7264 » From Code to Models |
169
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
The usage of network resources by content providers is commonly governed by Service Level Agreements (SLA) between the content provider and the network service provider. Resource ...
119
click to vote
ISCAS
2007
IEEE
16 years 14 days ago
2007
IEEE
—A new pixel-domain Distributed Video Coding (DVC) scheme is proposed in this paper, in which both the temporal and the spatial correlations are exploited only at the decoder. A ...
142
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
147
click to vote
ICCD
1993
IEEE
15 years 10 months ago
1993
IEEE
Ravel-XL is a single-boardhardware accelerator for gate-level digital logic simulation. It uses a standard levelizedcode approach to statically schedule gate evaluations.However, u...
