Sciweavers

36320 search results - page 69 / 7264
» From Code to Models
Sort
View
ICDCS
2009
IEEE
16 years 1 months ago
Stochastic Multicast with Network Coding
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 ...
Ajay Gopinathan, Zongpeng Li
ISCAS
2007
IEEE
95views Hardware» more  ISCAS 2007»
16 years 14 days ago
Distributed Video Coding with Spatial Correlation Exploited Only at the Decoder
—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 ...
Mei Guo, Yan Lu, Feng Wu, Shipeng Li, Wen Gao
CAV
2010
Springer
161views Hardware» more  CAV 2010»
15 years 10 months ago
Directed Proof Generation for Machine Code
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...
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda B...
ICCD
1993
IEEE
111views Hardware» more  ICCD 1993»
15 years 10 months ago
Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation
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...
Michael A. Riepe, João P. Marques Silva, Ka...
CODES
1997
IEEE
15 years 10 months ago
Modeling micro-controller peripherals for high-level co-simulation and synthesis
Harry Hsieh, Alberto L. Sangiovanni-Vincentelli