Search Results for Logic design. - Narrowed by: Operating systems (Computers).

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

2024-07-20T23:27:25Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-55947-5
Format: Electronic Resources

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

2024-07-20T23:27:25Z

Yazar Bi, Yuanguo. editor.
https://doi.org/10.1007/978-981-13-1026-3
Format: Electronic Resources

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-07-20T23:27:25Z

Yazar Jarvis, Stephen. editor.
https://doi.org/10.1007/978-3-319-72971-8
Format: Electronic Resources

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

2024-07-20T23:27:25Z

Yazar Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367
https://doi.org/10.1007/978-3-030-04918-8
Format: Electronic Resources

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

2024-07-20T23:27:25Z

Yazar Rauchwerger, Lawrence. editor.
https://doi.org/10.1007/978-3-030-35225-7
Format: Electronic Resources

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

2024-07-20T23:27:25Z

Yazar Bodden, Eric. editor.
https://doi.org/10.1007/978-3-319-62105-0
Format: Electronic Resources

Transactions on Computational Science XXXIII

2024-07-20T23:27:25Z

Yazar Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-58039-4
Format: Electronic Resources

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

2024-07-20T23:27:25Z

Yazar Pałka, Michał. editor.
https://doi.org/10.1007/978-3-030-18506-0
Format: Electronic Resources

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2024-07-20T23:27:25Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-319-92040-5
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

2024-07-20T23:27:25Z

Yazar Blieberger, Johann. editor.
https://doi.org/10.1007/978-3-319-60588-3
Format: Electronic Resources

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-07-20T23:27:25Z

Yazar Li, Chao. editor.
https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2024-07-20T23:27:25Z

Yazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196
https://doi.org/10.1007/978-3-319-66299-2
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-07-20T23:27:25Z

Yazar Izumi, Taisuke. editor.
https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part VI

2024-07-20T23:27:25Z

Yazar Liu, Derong. editor.
https://doi.org/10.1007/978-3-319-70136-3
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2024-07-20T23:27:25Z

Yazar Berekovic, Mladen. editor.
https://doi.org/10.1007/978-3-319-77610-1
Format: Electronic Resources

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-07-20T23:27:25Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428
https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

2024-07-20T23:27:25Z

Yazar Bombieri, Nicola. editor.
https://doi.org/10.1007/978-3-030-23425-6
Format: Electronic Resources

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2024-07-20T23:27:25Z

Yazar Fan, Xing. editor.
https://doi.org/10.1007/978-3-030-28596-8
Format: Electronic Resources

Artificial Neural Networks and Machine Learning – ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II

2024-07-20T23:27:25Z

Yazar Lintas, Alessandra. editor.
https://doi.org/10.1007/978-3-319-68612-7
Format: Electronic Resources

Artificial Neural Networks and Machine Learning – ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I

2024-07-20T23:27:25Z

Yazar Lintas, Alessandra. editor.
https://doi.org/10.1007/978-3-319-68600-4
Format: Electronic Resources

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-07-20T23:27:25Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

2024-07-20T23:27:25Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278
https://doi.org/10.1007/978-3-319-61473-1
Format: Electronic Resources

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-07-20T23:27:25Z

Yazar Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-07-20T23:27:25Z

Yazar Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

2024-07-20T23:27:25Z

Yazar Kunkel, Julian M. editor.
https://doi.org/10.1007/978-3-319-67630-2
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2024-07-20T23:27:25Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05051-1
Format: Electronic Resources

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

2024-07-20T23:27:25Z

Yazar Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713
https://doi.org/10.1007/978-3-030-16272-6
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings

2024-07-20T23:27:25Z

Yazar Schoeberl, Martin. editor.
https://doi.org/10.1007/978-3-030-18656-2
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

2024-07-20T23:27:25Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-58415-6
Format: Electronic Resources

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

2024-07-20T23:27:25Z

Yazar Zhang, Feng. editor. (orcid)0000-0003-1983-7321
https://doi.org/10.1007/978-3-030-05677-3
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

2024-07-20T23:27:25Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-60531-8
Format: Electronic Resources

Transactions on High-Performance Embedded Architectures and Compilers V

2024-07-20T23:27:25Z

Yazar Silvano, Cristina. editor. (orcid)0000-0003-1668-0883
https://doi.org/10.1007/978-3-662-58834-5
Format: Electronic Resources

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

2024-07-20T23:27:25Z

Yazar Kravets, Alla G. editor. (orcid)0000-0003-1675-8652
https://doi.org/10.1007/978-3-030-29750-3
Format: Electronic Resources

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

2024-07-20T23:27:25Z

Yazar Mencagli, Gabriele. editor.
https://doi.org/10.1007/978-3-030-10549-5
Format: Electronic Resources

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

2024-07-20T23:27:25Z

Yazar Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912
https://doi.org/10.1007/978-3-030-24741-6
Format: Electronic Resources

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

2024-07-20T23:27:25Z

Yazar Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651
https://doi.org/10.1007/978-3-030-15663-3
Format: Electronic Resources

Handbook of Model Checking

2024-07-20T23:27:25Z

Yazar Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources