Sciweavers

3934 search results - page 355 / 787
» Approximate Schedulability Analysis
Sort
View
VTC
2006
IEEE
118views Communications» more  VTC 2006»
16 years 22 days ago
Demodulation and Performance Analysis of Differential Unitary Space-Time Modulation in Time-Varying Rician Channels
Abstract— Studies on differential unitary space-time modulation are mostly focused on Rayleigh fading channels. In this paper we present new analytic results for the maximum-like...
Haichang Sui, James R. Zeidler
VTC
2006
IEEE
16 years 22 days ago
Accurate BER Analysis of Asynchronous DS-CDMA Systems in Ricean Channels
— The accurate Bit Error Rate (BER) calculation of an asynchronous Ricean-faded DS-CDMA system using random spreading sequences and BPSK modulation is studied in this paper. A ne...
Xiang Liu, Lajos Hanzo
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 8 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
TGC
2005
Springer
16 years 6 days ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
CIKM
2004
Springer
16 years 4 days ago
Framework and algorithms for trend analysis in massive temporal data sets
Mining massive temporal data streams for significant trends, emerging buzz, and unusually high or low activity is an important problem with several commercial applications. In th...
Sreenivas Gollapudi, D. Sivakumar