Sciweavers

830 search results - page 120 / 166
» Planning as an architectural control mechanism
Sort
View
116
Voted
VLSID
2002
IEEE
152views VLSI» more  VLSID 2002»
16 years 27 days ago
Verification of an Industrial CC-NUMA Server
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
Rajarshi Mukherjee, Yozo Nakayama, Toshiya Mima
INFOCOM
2008
IEEE
15 years 7 months ago
Cross-Layer Quality of Service Support for UWB Wireless Multimedia Sensor Networks
—Wireless Multimedia Sensor Networks (WMSNs) are networks of wirelessly interconnected devices that allow retrieving video and audio streams, still images, and scalar sensor data...
Tommaso Melodia, Ian F. Akyildiz
ICMCS
2006
IEEE
107views Multimedia» more  ICMCS 2006»
15 years 6 months ago
Complexity Scalable 2 : 1 Resolution Downscaling MPEG-2 to WMV Transcoder with Adaptive Error Compensation
Abstract— In this paper, we focus on 2 : 1 spatial resolution downscaling transcoding from MPEG-2 to WMV. We propose two architectures (for sequences with or without B-frames res...
Guobin Shen, Yuwen He, Wanyong Cao, Shipeng Li
ICNS
2006
IEEE
15 years 6 months ago
Service Level Agreement Management with Adaptive Coordination
Service Level Agreement Management in the telecommunications domain consists of a set of mechanisms for provisioning and monitoring services according to requirements given by eit...
Dominic A. P. Greenwood, Giosuè Vitaglione,...
89
Voted
ICRA
2002
IEEE
86views Robotics» more  ICRA 2002»
15 years 5 months ago
Optimized Binary Modular Reconfigurable Robotic Devices
—Binary robotic devices with large degrees of freedom have been proposed by a number of researchers. However, experimental implementations of these concepts have been built with ...
Moustapha Hafez, Matthew D. Lichter, Steven Dubows...