3719 search results - page 116 / 744 » order 2010 |
116
click to vote
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper develops a cooperative scheme among cognitive radios (CRs) to increase the spectrum sensing performance. CRs adaptively transmit local binary decisions to a fusion cente...
ASM
2010
ASM
15 years 9 months ago
2010
ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
133
Voted
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
85
Voted
SIGCSE
2010
ACM
15 years 7 months ago
2010
ACM
The technique of scaling hardware performance through increasing the number of cores on a chip requires programmers to learn to write parallel code that can exploit this hardware....
ICCHP
2010
Springer
15 years 4 months ago
2010
Springer
Existing development tools provide little out-of-the-box assistance in order to design and develop accessible ICT Java solutions for impaired users. Two new approximation simulatio...