Sciweavers

2957 search results - page 154 / 592
» Code analysis and CS-XML
Sort
View
JSAC
2007
102views more  JSAC 2007»
15 years 3 months ago
A Robust Coded MIMO FH-CDMA Transceiver for Mobile Ad Hoc Networks
Abstract— In this paper, we develop a coded MIMO FHCDMA transceiver that is robust to partial-band jamming and the near-far problem for ad hoc networks with high mobility. Spatia...
Haichang Sui, James R. Zeidler
DASIP
2010
14 years 10 months ago
Automated generation of an efficient MPEG-4 Reconfigurable Video Coding decoder implementation
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
Ruirui Gu, Jonathan Piat, Mickaël Raulet, J&o...
CAV
2009
Springer
209views Hardware» more  CAV 2009»
16 years 3 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...
ICIP
2008
IEEE
15 years 9 months ago
Homography based distributed video coding for a network of cameras
Networks of multiple video cameras are being deployed in several scenarios like surveillance, traffic enforcement, human motion analysis and sports telecast. The unmanageable siz...
Ashok Veeraraghavan, Mahesh Ramachandran, Mareboya...
ICSM
2008
IEEE
15 years 9 months ago
Who can help me with this source code change?
An approach to recommend a ranked list of developers to assist in performing software changes to a particular file is presented. The ranking is based on change expertise, experien...
Huzefa H. Kagdi, Maen Hammad, Jonathan I. Maletic