Sciweavers

Share
5 search results - page 1 / 1
» scp 2016
Sort
View
TVT
2016
79views more  TVT 2016»
4 years 3 months ago
MIMO Self-Heterodyne OFDM
—Self-heterodyne OFDM (self-het OFDM) is a promising physical layer technique for millimeter-wave and terahertz RF communication due to its simple RF frontend and complete immuni...
Nirmal Fernando, Yi Hong, Emanuele Viterbo
SCP
2016
4 years 3 months ago
Randomised testing of a microprocessor model using SMT-solver state generation
Abstract. We validate a HOL4 model of the ARM Cortex-M0 microcontroller core by testing the model’s behaviour on randomly chosen instructions against a real chip. The model and o...
Brian Campbell, Ian Stark
SCP
2016
4 years 3 months ago
Improving static analyses of C programs with conditional predicates
Abstract. Static code analysis is increasingly used to guarantee the absence of undesirable behaviors in industrial programs. Designing sound analyses is a continuing trade-off be...
Sandrine Blazy, David Bühler, Boris Yakobowsk...
SCP
2016
4 years 3 months ago
Parameterized, concurrent session types for asynchronous multi-actor interactions
Session types have been proposed as a means of statically verifying implementations of communication protocols. Although prior work has been successful for some classes of protoco...
Minas Charalambides, Peter Dinges, Gul A. Agha
books