819 search results - page 101 / 164 » Fractal symbolic analysis |
JCM
2007
13 years 10 months ago
2007
Abstract— This contribution analytically studies the influence of IQ mismatch on the performance of multiple-antenna orthogonal frequency division multiplexing (OFDM) systems ba...
TCOM
2010
13 years 4 months ago
2010
It has been widely acknowledged that the aggregate interference at the receiver for various practical communication channels can often deviate markedly from the classical additive ...
ESOP
2001
Springer
14 years 2 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...