Sciweavers

5350 search results - page 190 / 1070
» Space and time in eco-ontologies
Sort
View
VTC
2006
IEEE
148views Communications» more  VTC 2006»
16 years 16 days ago
Exploiting Channel Time Selectivity in Pilot-Aided Alamouti STBC Systems
Abstract-In fast time varying systems, the problem of acquiring the channel coefficients required for symbol decoding commonly arises. A method of resolving this problem is the use...
Woon Hau Chin
ASPDAC
2006
ACM
101views Hardware» more  ASPDAC 2006»
16 years 16 days ago
Worst case execution time analysis for synthesized hardware
- We propose a hardware performance estimation flow for fast design space exploration, based on worst-case execution time analysis algorithms for software analysis. Test cases on s...
Jun-hee Yoo, Xingguang Feng, Kiyoung Choi, Eui-You...
ARTS
1999
Springer
15 years 10 months ago
Verifying Progress in Timed Systems
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
Stavros Tripakis
CHARME
1993
Springer
68views Hardware» more  CHARME 1993»
15 years 10 months ago
Temporal Analysis of Time Bounded Digital Systems
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
Alan R. Martello, Steven P. Levitan
ICNC
2005
Springer
16 years 1 days ago
The Prediction of the Financial Time Series Based on Correlation Dimension
In this paper we firstly analysis the chaotic characters of three sets of the financial time series (Hang Sheng Index (HIS), Shanghai Stock Index and US gold price) based on the ph...
Chen Feng, Guangrong Ji, Wencang Zhao, Rui Nian