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

Advanced Maintenance Policies for Shock and Damage Models

2024-10-03T12:50:49Z

Yazar Zhao, Xufeng. author.
https://doi.org/10.1007/978-3-319-70456-2
Format: Electronic Resources

Software Fault Detection and Correction: Modeling and Applications

2024-10-03T12:50:49Z

Yazar Peng, Rui. author.
https://doi.org/10.1007/978-981-13-1162-8
Format: Electronic Resources

Dependable Multicore Architectures at Nanoscale

2024-10-03T12:50:49Z

Yazar Ottavi, Marco. editor.
https://doi.org/10.1007/978-3-319-54422-9
Format: Electronic Resources

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

2024-10-03T12:50:49Z

Yazar Kochs, Hans-Dieter. author.
https://doi.org/10.1007/978-3-319-64991-7
Format: Electronic Resources

Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings

2024-10-03T12:50:49Z

Yazar Polian, Ilia. editor. (orcid)0000-0002-6563-2725
https://doi.org/10.1007/978-3-030-16350-1
Format: Electronic Resources

Transactions on High-Performance Embedded Architectures and Compilers V

2024-10-03T12:50:49Z

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

Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers

2024-10-03T12:50:49Z

Yazar Torres, Moisés. editor. (orcid)0000-0003-4877-3443
https://doi.org/10.1007/978-3-030-38043-4
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-10-03T12:50:49Z

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-10-03T12:50:49Z

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

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings

2024-10-03T12:50:49Z

Yazar Abramson, David. editor. (orcid)0000-0003-0441-4596
https://doi.org/10.1007/978-3-030-18645-6
Format: Electronic Resources

New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example

2024-10-03T12:50:49Z

Yazar Wisniewski, Lukasz. author.
https://doi.org/10.1007/978-3-662-54650-5
Format: Electronic Resources

In Memory Data Management and Analysis First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers

2024-10-03T12:50:49Z

Yazar Jagatheesan, Arun. editor.
http://dx.doi.org/10.1007/978-3-319-13960-9
Format: Electronic Resources

Trusted Computing and Information Security 11th Chinese Conference, CTCIS 2017, Changsha, China, September 14-17, 2017, Proceedings

2024-10-03T12:50:49Z

Yazar Xu, Ming. editor.
https://doi.org/10.1007/978-981-10-7080-8
Format: Electronic Resources

Data and Energy Integrated Communication Networks A Brief Introduction

2024-10-03T12:50:49Z

Yazar Hu, Jie. author.
https://doi.org/10.1007/978-981-13-0116-2
Format: Electronic Resources

Managing the Internet of Things Architectures, Theories and Applications

2024-10-03T12:50:49Z

Yazar Huang, Jun, ed.
http://dx.doi.org/10.1049/PBTE067E
Format: Electronic Resources

Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers

2024-10-03T12:50:49Z

Yazar Cuellar, Jorge. editor.
http://dx.doi.org/10.1007/978-3-319-10329-7
Format: Electronic Resources

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

2024-10-03T12:50:49Z

Yazar Cohen, Albert. editor.
http://dx.doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources

Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings

2024-10-03T12:50:49Z

Yazar Li, Yingshu. editor.
https://doi.org/10.1007/978-3-030-36412-0
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-10-03T12:50:49Z

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

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

2024-10-03T12:50:49Z

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

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

2024-10-03T12:50:49Z

Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448
https://doi.org/10.1007/978-3-319-66176-6
Format: Electronic Resources

Distributed Computing by Mobile Entities Current Research in Moving and Computing

2024-10-03T12:50:49Z

Yazar Flocchini, Paola. editor.
https://doi.org/10.1007/978-3-030-11072-7
Format: Electronic Resources

DataFlow Supercomputing Essentials Research, Development and Education

2024-10-03T12:50:49Z

Yazar Milutinovic, Veljko. author.
https://doi.org/10.1007/978-3-319-66128-5
Format: Electronic Resources

Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers

2024-10-03T12:50:49Z

Yazar Yung, Moti. editor.
http://dx.doi.org/10.1007/978-3-319-27998-5
Format: Electronic Resources

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

2024-10-03T12:50:49Z

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

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-10-03T12:50:49Z

Yazar Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999
https://doi.org/10.1007/978-3-319-99241-9
Format: Electronic Resources

Detection of Intrusions and Malware, and Vulnerability Assessment 16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19–20, 2019, Proceedings

2024-10-03T12:50:49Z

Yazar Perdisci, Roberto. editor.
https://doi.org/10.1007/978-3-030-22038-9
Format: Electronic Resources

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

2024-10-03T12:50:49Z

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

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

2024-10-03T12:50:49Z

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

Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings

2024-10-03T12:50:49Z

Yazar Dinur, Itai. editor.
https://doi.org/10.1007/978-3-319-94147-9
Format: Electronic Resources

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2024-10-03T12:50:49Z

Yazar Rayadurgam, Sanjai. editor.
http://dx.doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

2024-10-03T12:50:49Z

Yazar Hochberger, Christian. editor.
https://doi.org/10.1007/978-3-030-17227-5
Format: Electronic Resources

Greening Video Distribution Networks Energy-Efficient Internet Video Delivery

2024-10-03T12:50:49Z

Yazar Popescu, Adrian. editor.
https://doi.org/10.1007/978-3-319-71718-0
Format: Electronic Resources

Handbook of Large-Scale Distributed Computing in Smart Healthcare

2024-10-03T12:50:49Z

Yazar Khan, Samee U. editor.
https://doi.org/10.1007/978-3-319-58280-1
Format: Electronic Resources

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

2024-10-03T12:50:49Z

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

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

2024-10-03T12:50:49Z

Yazar Ghaffari, Mohsen. editor.
https://doi.org/10.1007/978-3-030-34992-9
Format: Electronic Resources

Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings

2024-10-03T12:50:49Z

Yazar Tang, Xiaoxin. editor.
https://doi.org/10.1007/978-3-030-30709-7
Format: Electronic Resources

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

2024-10-03T12:50:49Z

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

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach

2024-10-03T12:50:49Z

Yazar Parkinson, Simon. editor. (orcid)0000-0002-1747-9914
https://doi.org/10.1007/978-3-319-92624-7
Format: Electronic Resources

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

2024-10-03T12:50:49Z

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