Sciweavers

7890 search results - page 180 / 1578
» The MathSAT 3 System
Sort
View
TCOM
2008
65views more  TCOM 2008»
15 years 5 months ago
Frequency offset estimation for MB-OFDM-based UWB systems
Abstract-- We address low-complexity, highly-accurate frequency offset estimation for MB-OFDM-based UWB systems. We discuss unique characteristics of the MB-OFDM systems, namely, d...
Yinghui Li, Hlaing Minn, Trent Jacobs, Moe Z. Win
IVC
2000
68views more  IVC 2000»
15 years 4 months ago
VISATRAM: a real-time vision system for automatic traffic monitoring
This paper presents a novel approach to automatic traffic monitoring using 2D spatiotemporal images. A TV camera is mounted above a highway to monitor the traffic through two slic...
Zhigang Zhu, Guangyou Xu, Bo Yang, Dingji Shi, Xue...
TCS
2002
15 years 4 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
TWC
2010
14 years 11 months ago
Transmit diversity vs. spatial multiplexing in modern MIMO systems
A contemporary perspective on transmit antenna diversity and spatial multiplexing is provided. It is argued that, in the context of most modern wireless systems and for the operati...
A. Lozano, N. Jindal
ISSS
1997
IEEE
83views Hardware» more  ISSS 1997»
15 years 9 months ago
A Scheduling and Pipelining Algorithm for Hardware/Software Systems
Given a hardware/software partitioned specification and an allocation (number and type) of processors, we present an algorithm to (1) map each of the software behaviors (or tasks...
Smita Bakshi, Daniel Gajski