Sciweavers

2621 search results - page 416 / 525
» Near orders and codes
Sort
View
HASE
2007
IEEE
16 years 24 days ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung
ICC
2007
IEEE
208views Communications» more  ICC 2007»
16 years 24 days ago
A Low Complexity Image Quality Metric for Real-Time Open-Loop Transcoding Architectures
—In this paper, we present an original image quality metric for open-loop transcoding architectures based on frequency selective transmission. The proposed metric computes the no...
Charlène Goudemand, Marc Gazalet, Fran&cced...
ICC
2007
IEEE
155views Communications» more  ICC 2007»
16 years 24 days ago
On Supporting Robust Voice Multicasting Over Ad Hoc Wireless Networks
Abstract— In this paper, we address the problem of voice multicasting in ad hoc wireless networks. The unique characteristics of voice traffic (viz. small packet size, high pack...
G. Venkat Raju, Tamma Bheemarjuna Reddy, C. Siva R...
ICMCS
2007
IEEE
182views Multimedia» more  ICMCS 2007»
16 years 23 days ago
Computer Vision on Multi-Core Processors: Articulated Body Tracking
The recent emergence of multi-core processors enables a new trend in the usage of computers. Computer vision applications, which require heavy computation and lots of bandwidth, u...
Trista Pei-chun Chen, Dmitry Budnikov, Christopher...
ICSM
2007
IEEE
16 years 23 days ago
Design recovery and maintenance of build systems
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...
Bram Adams, Herman Tromp, Kris De Schutter, Wolfga...