Accelerator Programming Using Directives: 7th International Workshop, Waccpd 2020, Virtual Event, November 20, 2020, Proceedings, Bhalachandra Sridutt, Wienke Sandra, Chandrasekaran Sunita

Автор: Wienke Sandra, Bhalachandra Sridutt
Название: Accelerator Programming Using Directives: 6th International Workshop, Waccpd 2019, Denver, Co, Usa, November 18, 2019, Revised Selected Papers
ISBN: 3030499421 ISBN-13(EAN): 9783030499426
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.The 7 full papers presented have been carefully reviewed and selected from 13 submissions.

Автор: Sunita Chandrasekaran; Guido Juckeland; Sandra Wie
Название: Accelerator Programming Using Directives
ISBN: 3030122735 ISBN-13(EAN): 9783030122737
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018. The 6 full papers presented have been carefully reviewed and selected from 12 submissions.

Автор: Jiang Hongbo, Wu Hongyi, Zeng Fanzi
Название: Edge Computing and Iot: Systems, Management and Security: First Eai International Conference, Iceci 2020, Virtual Event, November 6, 2020, Proceedings
ISBN: 3030734285 ISBN-13(EAN): 9783030734282
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed post-conference proceedings of the First International Conference Edge Computing and IoT, ICECI 2020, held in November 2020 in Changsha, China.

Автор: Pichardie David, Sighireanu Mihaela
Название: Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings
ISBN: 3030654737 ISBN-13(EAN): 9783030654733
Издательство: Springer
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Polynomial Invariants for Affine Programs.- Cost Analysis of Smart Contracts via Parametric Resource Analysis.- Memory-Efficient Fixpoint Computation.- Abstract Neural Networks.- Termination of Polynomial Loops.- Stratified Guarded First-order Transition Systems.- Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking.- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.- Harming Dynamic Analysis.- Simple and Efficient Computation of Minimal Weak Control Closure.- A Library Modeling Language for the Static Analysis of C Programs.- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries.- Probabilistic Lipschitz Analysis of Neural Networks.- On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs.- Exact and Linear-Time Gas-Cost Analysis.- Farkas-Based Tree Interpolation.

Автор: Oliveira Bruno C. D. S.
Название: Programming Languages and Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings
ISBN: 3030644367 ISBN-13(EAN): 9783030644369
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions.

Автор: Sunita Chandrasekaran; Guido Juckeland
Название: Accelerator Programming Using Directives
ISBN: 3319748955 ISBN-13(EAN): 9783319748955
Издательство: Springer
Рейтинг:
Цена: 5870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.

Автор: Bulou Hervй, Joly Loпc, Mariot Jean-Michel
Название: Magnetism and Accelerator-Based Light Sources: Proceedings of the 7th International School ``Synchrotron Radiation and Magnetism``, Mittelwihr (France
ISBN: 303064622X ISBN-13(EAN): 9783030646226
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book is intended for advanced students and researchers to get acquaintance with the basic knowledge of X-ray light sources and to step into synchrotron-based techniques for magnetic studies in condensed matter physics or chemistry.

Автор: Asplund Mikael, Nadjm-Tehrani Simin
Название: Secure It Systems: 25th Nordic Conference, Nordsec 2020, Virtual Event, November 23-24, 2020, Proceedings
ISBN: 3030708519 ISBN-13(EAN): 9783030708511
Издательство: Springer
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 25th Nordic Conference on Secure IT Systems, NordSec 2020, which was organized by Linkoeping University, Sweden, and held online during November 23-24, 2020.The 15 papers presented in this volume were carefully reviewed and selected from 45 submissions.

Автор: Ye Juan, O`Grady Michael J., Civitarese Gabriele
Название: Wireless Mobile Communication and Healthcare: 9th Eai International Conference, Mobihealth 2020, Virtual Event, November 19, 2020, Proceedings
ISBN: 3030705684 ISBN-13(EAN): 9783030705688
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Due to Covid-19 pandemic the conference was held virtually. The book contains 13 full papers selected from the main conference and 10 full papers from two workshops on medical artificial intelligence and on digital healthcare technologies.