Cover Image

QR Code

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings /

This book constitutes the refereed proceedings of the 34th International Conference on High Performance Computing, ISC High Performance 2019, held in Frankfurt/Main, Germany, in June 2019. The 17 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Weiland, Michèle. (Editor, http://id.loc.gov/vocabulary/relators/edt), Juckeland, Guido. (Editor, http://id.loc.gov/vocabulary/relators/edt), Trinitis, Carsten. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sadayappan, Ponnuswamy. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Theoretical Computer Science and General Issues ; 11501
Subjects:	Software engineering. Logic design. Microprocessors. Artificial intelligence. Computers. Software Engineering/Programming and Operating Systems. Logic Design. Processor Architectures. Artificial Intelligence. Information Systems and Communication Service.
Online Access:	https://doi.org/10.1007/978-3-030-20656-7

Similar Items

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings / edited by Rio Yokota, Michèle Weiland, David Keyes, Carsten Trinitis.
Published: (2018)

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers / edited by Rio Yokota, Michèle Weiland, John Shalf, Sadaf Alam.
Published: (2018)

High-Level Synthesis from Algorithm to Digital Circuit / edited by Philippe Coussy, Adam Morawiec.
Published: (2008)

High Performance Computing 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings / edited by Ponnuswamy Sadayappan, Bradford L. Chamberlain, Guido Juckeland, Hatem Ltaief.
Published: (2020)

High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers / edited by Michèle Weiland, Guido Juckeland, Sadaf Alam, Heike Jagode.
Published: (2019)

Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / edited by Antonio Cerone, Markus Roggenbach.
Published: (2021)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Stephen Jarvis, Steven Wright, Simon Hammond.
Published: (2018)

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers / edited by Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang.
Published: (2018)

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators by Abbas Rahimi, Luca Benini, Rajesh K. Gupta.
by: Rahimi, Abbas., et al.
Published: (2017)

Introduction to Logic Circuits & Logic Design with VHDL by Brock J. LaMeres.
by: LaMeres, Brock J., et al.
Published: (2017)

Introduction to Logic Circuits & Logic Design with Verilog by Brock J. LaMeres.
by: LaMeres, Brock J., et al.
Published: (2017)

Fundamentals of Electronic Systems Design by Jens Lienig, Hans Bruemmer.
by: Lienig, Jens., et al.
Published: (2017)

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices by Robert Czerwinski, Dariusz Kania.
by: Czerwinski, Robert., et al.
Published: (2013)

High Performance Computing 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings / edited by Bradford L. Chamberlain, Ana-Lucia Varbanescu, Hatem Ltaief, Piotr Luszczek.
Published: (2021)

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Carsten Lutz, Silvio Ranise.
Published: (2015)

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Published: (2019)

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / edited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz.
Published: (2019)

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings / edited by Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla.
Published: (2019)

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / edited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira.
Published: (2019)

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings / edited by Ian Miguel, Wheeler Tuml.
Published: (2007)

Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / edited by Frank Pfenning.
Published: (2007)

Automated Reasoning and Mathematics Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.
Published: (2013)

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Ichiro Hasuo.
Published: (2016)

Descriptional Complexity of Formal Systems 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings / edited by Galina Jirásková, Giovanni Pighizzini.
Published: (2020)

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings / edited by André Platzer, Geoff Sutcliffe.
Published: (2021)

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings / edited by Pascal Fontaine.
Published: (2019)

Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers by Leticia Cervantes, Oscar Castillo.
by: Cervantes, Leticia., et al.
Published: (2016)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings / edited by Werner Damm, Holger Hermanns.
Published: (2007)

Computational Intelligence in Music, Sound, Art and Design 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / edited by Anikó Ekárt, Antonios Liapis, María Luz Castro Pena.
Published: (2019)

Computational Science – ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira.
Published: (2020)

Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / edited by Florian Knoll, Andreas Maier, Daniel Rueckert.
Published: (2018)

Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support Third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings / edited by M. Jorge Cardoso, Tal Arbel, Gustavo Carneiro, Tanveer Syeda-Mahmood, João Manuel R.S. Tavares, Mehdi Moradi, Andrew Bradley, Hayit Greenspan, João Paulo Papa, Anant Madabhushi, Jacinto C. Nascimento, Jaime S. Cardoso, Vasileios Belagiannis, Zhi Lu.
Published: (2017)

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings / edited by Robert Mercaş, Daniel Reidenbach.
Published: (2019)

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková.
Published: (2019)

Belief Change Introduction and Overview / by Eduardo Fermé, Sven Ove Hansson.
by: Fermé, Eduardo., et al.
Published: (2018)

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings / edited by Kenji Suzuki, Mauricio Reyes, Tanveer Syeda-Mahmood, Ender Konukoglu, Ben Glocker, Roland Wiest, Yaniv Gur, Hayit Greenspan, Anant Madabhushi.
Published: (2019)

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo.
Published: (2019)

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
Published: (2019)

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang.
Published: (2013)

Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu.
Published: (2015)