Sciweavers

2042 search results - page 165 / 409
» Variable Number of
Sort
View
ECRTS
2002
IEEE
15 years 9 months ago
Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis
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...
Antoine Colin, Guillem Bernat
VTC
2006
IEEE
15 years 10 months ago
Frequency-domain Soft Interference Cancellation for Multicode CDMA Transmissions
— 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...
Koichi Ishihara, Kazuaki Takeda, Fumiyuki Adachi
141
Voted
CHI
2007
ACM
16 years 5 months ago
Usability testing: what have we overlooked?
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...
Gitte Lindgaard, Jarinee Chattratichart
COCOON
2005
Springer
15 years 10 months ago
Theoretically Good Distributed CDMA/OVSF Code Assignment for Wireless Ad Hoc Networks
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...
Xiang-Yang Li, Peng-Jun Wan
140
Voted
FOSSACS
2008
Springer
15 years 6 months ago
Model Checking Freeze LTL over One-Counter Automata
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...
Stéphane Demri, Ranko Lazic, Arnaud Sangnie...