Sciweavers

2621 search results - page 135 / 525
» Near orders and codes
Sort
View
INFOCOM
2008
IEEE
16 years 25 days ago
On the Throughput Capacity of Opportunistic Multicasting with Erasure Codes
— In this paper, we concentrate on opportunistic scheduling for multicast information. We pose the problem as a multicast throughput optimization problem. As a solution we presen...
Ulas C. Kozat
SCAM
2008
IEEE
16 years 25 days ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
DATE
2007
IEEE
102views Hardware» more  DATE 2007»
16 years 23 days ago
Efficient testbench code synthesis for a hardware emulator system
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
Ioannis Mavroidis, Ioannis Papaefstathiou
ICASSP
2007
IEEE
16 years 23 days ago
Hash-Based Motion Modeling in Wyner-Ziv Video Coding
Generally, Distributed video coding (DVC) schemes perform motion estimation at the decoder side, without the current frame being available. In order to generate the side-informati...
Marco Tagliasacchi, Stefano Tubaro
INFOCOM
2007
IEEE
16 years 22 days ago
On the Performance Analysis of Network-Coded Cooperation in Wireless Networks
—In this letter, a network-coded cooperation scheme with dynamic coding mechanism (DC-NCC) is proposed. In DCNCC, the relay dynamically adapts forming the network-coded data base...
Cong Peng, Qian Zhang, Ming Zhao 0001, Yan Yao