Sciweavers

761 search results - page 105 / 153
» Flexible Block-Multiplier Generation
Sort
View
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
14 years 5 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
ICMCS
2008
IEEE
193views Multimedia» more  ICMCS 2008»
14 years 5 months ago
Video coding with spatio-temporal texture synthesis and edge-based inpainting
This paper proposes a video coding scheme, in which textural and structural regions are selectively removed in the encoder, and restored in the decoder by spatio-temporal texture ...
Chunbo Zhu, Xiaoyan Sun, Feng Wu, Houqiang Li
GLOBECOM
2007
IEEE
14 years 5 months ago
Advanced Multicast and Broadcast Content Distribution in Mobile Cellular Networks
—Recently 3GPP (Third Generation Partnership Project) has standardised MBMS (Multimedia Broadcast Multicast Services) enabling broadcast and multicast transmissions over GPRS (Ge...
Michael Knappmeyer, Björn Ricks, Ralf Tö...
ICC
2007
IEEE
14 years 5 months ago
A Support System for Designing Ubiquitous Service Composition Scenarios
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
Takaaki Moriya, Hiroyuki Ohnishi, Makoto Yoshida, ...
ICCCN
2007
IEEE
14 years 5 months ago
A Framework for Querying Sensor Networks Using Mobile Devices
—an interplay between mobile devices and static sensor nodes is envisioned in the near future. This will enable a heterogeneous design space that can offset the stringent resourc...
Shourui Tian, Sol M. Shatz, Yang Yu