Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
— Frequency-domain equalization (FDE) based on minimum mean square error (MMSE) criterion can significantly improve the BER performance of DS- and MC-CDMA signal transmissions in...
For more than a decade, the number of usability test participants has been a major theme of debate among usability practitioners and researchers keen to improve usability test per...
Orthogonal Variable Spreading Factor (OVSF) CDMA code has the ability to support higher and variable data rates with a single code using one transceiver. A number of CDMA code ass...
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...