1325 results in Communications, Information Theory and Security
9 - A little case study
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 55-62
-
- Chapter
- Export citation
36 - Case study: Lambda-calculus with references
- from V - Higher-order semantic models
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 316-339
-
- Chapter
- Export citation
8 - First-order separation logic
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 49-54
-
- Chapter
- Export citation
33 - How to specify a compiler
- from IV - Operational semantics of CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 272-287
-
- Chapter
- Export citation
7 - Operators on separation algebras
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 44-48
-
- Chapter
- Export citation
13 - From separation algebras to separation logic
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 84-88
-
- Chapter
- Export citation
43 - Modeling the Hoare judgment
- from VI - Semantic model and soundness of Verifiable C
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 392-400
-
- Chapter
- Export citation
6 - Separation algebras
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 35-43
-
- Chapter
- Export citation
24 - The VST separation logic for C light
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 153-172
-
- Chapter
- Export citation
26 - Derived rules and proof automation for C light
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 184-194
-
- Chapter
- Export citation
41 - Share models
- from VI - Semantic model and soundness of Verifiable C
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 374-384
-
- Chapter
- Export citation
Dedication
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp v-vi
-
- Chapter
- Export citation
16 - Enabling sharing in auctions for short-term spectrum licenses
- from Part III - Management and allocation of Licensed spectrum
-
-
- Book:
- Mechanisms and Games for Dynamic Spectrum Allocation
- Published online:
- 18 December 2013
- Print publication:
- 19 December 2013, pp 464-494
-
- Chapter
- Export citation
3 - Reacting to the interference field
- from Part I - Theoretical Fundamentals
-
-
- Book:
- Mechanisms and Games for Dynamic Spectrum Allocation
- Published online:
- 18 December 2013
- Print publication:
- 19 December 2013, pp 57-74
-
- Chapter
- Export citation
18 - How to use a strategic game to optimize the performance of CDMA wireless network synchronization
- from Part III - Management and allocation of Licensed spectrum
-
-
- Book:
- Mechanisms and Games for Dynamic Spectrum Allocation
- Published online:
- 18 December 2013
- Print publication:
- 19 December 2013, pp 518-551
-
- Chapter
- Export citation
9 - Cooperative cognitive radios with diffusion networks
- from Part II - Cognitive radio and sharing of unlicensed spectrum
-
-
- Book:
- Mechanisms and Games for Dynamic Spectrum Allocation
- Published online:
- 18 December 2013
- Print publication:
- 19 December 2013, pp 262-303
-
- Chapter
- Export citation
12 - Incentivized secondary coexistence
- from Part II - Cognitive radio and sharing of unlicensed spectrum
-
-
- Book:
- Mechanisms and Games for Dynamic Spectrum Allocation
- Published online:
- 18 December 2013
- Print publication:
- 19 December 2013, pp 352-370
-
- Chapter
- Export citation
Mechanisms and Games for Dynamic Spectrum Allocation - Half title page
-
- Book:
- Mechanisms and Games for Dynamic Spectrum Allocation
- Published online:
- 18 December 2013
- Print publication:
- 19 December 2013, pp i-ii
-
- Chapter
- Export citation
Index
-
- Book:
- Mechanisms and Games for Dynamic Spectrum Allocation
- Published online:
- 18 December 2013
- Print publication:
- 19 December 2013, pp 579-581
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- Mechanisms and Games for Dynamic Spectrum Allocation
- Published online:
- 18 December 2013
- Print publication:
- 19 December 2013, pp xvii-xx
-
- Chapter
- Export citation