Sciweavers

2612 search results - page 135 / 523
» Mobile Processes and Termination
Sort
View
UML
2004
Springer
14 years 3 months ago
System-on-Chip Verification Process Using UML
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
Qiang Zhu, Tsuneo Nakata, Masataka Mine, Kenichiro...
ASPDAC
2007
ACM
115views Hardware» more  ASPDAC 2007»
14 years 2 months ago
Development of Low-power and Real-time VC-1/H.264/MPEG-4 Video Processing Hardware
- This paper covers a multi-functional hardware intellectual property (IP) for the encoding and decoding of digital moving pictures with low power consumption. The IP is mainly int...
M. Hase, K. Akie, M. Nobori, K. Matsumoto
NIPS
2003
13 years 11 months ago
GPPS: A Gaussian Process Positioning System for Cellular Networks
In this article, we present a novel approach to solving the localization problem in cellular networks. The goal is to estimate a mobile user’s position, based on measurements of...
Anton Schwaighofer, Marian Grigoras, Volker Tresp,...
IGARSS
2009
13 years 8 months ago
Radio Base Network and Tomographic Processing for Real Time Estimation of the Rainfall Rate Fields
In this paper, we propose a novel remote sensing method that is adequate for rainfall rate measurements in real time by means of tomographic processing applied to power attenuatio...
Fabrizio Cuccoli, Luca Facheris, Stefano Gori
WAIM
2009
Springer
14 years 4 months ago
Probabilistic Threshold Range Aggregate Query Processing over Uncertain Data
Large amount of uncertain data is inherent in many novel and important applications such as sensor data analysis and mobile data management. A probabilistic threshold range aggrega...
Shuxiang Yang, Wenjie Zhang, Ying Zhang, Xuemin Li...