Search Results for - Narrowed by: TEDU library - Springer E-Book Collection - Computer science. - Operating systems (Computers).SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253ATEDU$002509TEDU$002blibrary$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ps$003d300$0026isd$003dtrue?2024-09-23T21:05:10ZLow-Power Design and Power-Aware Verificationent://SD_ILS/0/SD_ILS:2256902024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Khondkar, Progyna. author.<br/><a href="https://doi.org/10.1007/978-3-319-66619-8">https://doi.org/10.1007/978-3-319-66619-8</a><br/>Format: Electronic Resources<br/>Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2255542024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319<br/><a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format: Electronic Resources<br/>Dependable Multicore Architectures at Nanoscaleent://SD_ILS/0/SD_ILS:2259892024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Ottavi, Marco. editor.<br/><a href="https://doi.org/10.1007/978-3-319-54422-9">https://doi.org/10.1007/978-3-319-54422-9</a><br/>Format: Electronic Resources<br/>Closing the Gap Between Practice and Research in Industrial Engineeringent://SD_ILS/0/SD_ILS:2259762024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Viles, Elisabeth. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58409-6">https://doi.org/10.1007/978-3-319-58409-6</a><br/>Format: Electronic Resources<br/>Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:2219672024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918<br/><a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format: Electronic Resources<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applicationsent://SD_ILS/0/SD_ILS:2218042024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Hameurlain, Abdelkader. editor.<br/><a href="https://doi.org/10.1007/978-3-662-58415-6">https://doi.org/10.1007/978-3-662-58415-6</a><br/>Format: Electronic Resources<br/>Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2219092024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Fortino, Giancarlo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-97795-9">https://doi.org/10.1007/978-3-319-97795-9</a><br/>Format: Electronic Resources<br/>Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2232672024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Berekovic, Mladen. editor.<br/><a href="https://doi.org/10.1007/978-3-319-77610-1">https://doi.org/10.1007/978-3-319-77610-1</a><br/>Format: Electronic Resources<br/>The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generationent://SD_ILS/0/SD_ILS:2233002024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar ASC Community. author.<br/><a href="https://doi.org/10.1007/978-981-10-3731-3">https://doi.org/10.1007/978-981-10-3731-3</a><br/>Format: Electronic Resources<br/>Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2227482024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Pires, Luís Ferreira. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format: Electronic Resources<br/>Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2248772024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Heras, Dora B. editor.<br/><a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format: Electronic Resources<br/>Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2216632024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Dinur, Itai. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94147-9">https://doi.org/10.1007/978-3-319-94147-9</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2230202024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Wang, Meng. editor.<br/><a href="https://doi.org/10.1007/978-3-319-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format: Electronic Resources<br/>Systems Programming in Unix/Linuxent://SD_ILS/0/SD_ILS:2211292024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Wang, K.C. author.<br/><a href="https://doi.org/10.1007/978-3-319-92429-8">https://doi.org/10.1007/978-3-319-92429-8</a><br/>Format: Electronic Resources<br/>System and Architecture Proceedings of CSI 2015ent://SD_ILS/0/SD_ILS:2213002024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Muttoo, Sunil Kumar. editor.<br/><a href="https://doi.org/10.1007/978-981-10-8533-8">https://doi.org/10.1007/978-981-10-8533-8</a><br/>Format: Electronic Resources<br/>Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2213012024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Li, Chao. editor.<br/><a href="https://doi.org/10.1007/978-981-13-2423-9">https://doi.org/10.1007/978-981-13-2423-9</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science XXXIIIent://SD_ILS/0/SD_ILS:2219032024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Gavrilova, Marina L. editor.<br/><a href="https://doi.org/10.1007/978-3-662-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format: Electronic Resources<br/>Interrupt Handling Schemes in Operating Systemsent://SD_ILS/0/SD_ILS:2224742024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Mejia-Alvarez, Pedro. author.<br/><a href="https://doi.org/10.1007/978-3-319-94493-7">https://doi.org/10.1007/978-3-319-94493-7</a><br/>Format: Electronic Resources<br/>High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2249862024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873<br/><a href="https://doi.org/10.1007/978-3-319-92040-5">https://doi.org/10.1007/978-3-319-92040-5</a><br/>Format: Electronic Resources<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:2232482024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428<br/><a href="https://doi.org/10.1007/978-3-319-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2242332024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Baier, Christel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92612-4">https://doi.org/10.1007/978-3-319-92612-4</a><br/>Format: Electronic Resources<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:2242052024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Clarke, Edmund M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedingsent://SD_ILS/0/SD_ILS:2241462024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251<br/><a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</a><br/>Format: Electronic Resources<br/>Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2218512024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Bailey, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00470-5">https://doi.org/10.1007/978-3-030-00470-5</a><br/>Format: Electronic Resources<br/>Silicon Photonics & High Performance Computing Proceedings of CSI 2015ent://SD_ILS/0/SD_ILS:2231702024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Mishra, Anurag. editor.<br/><a href="https://doi.org/10.1007/978-981-10-7656-5">https://doi.org/10.1007/978-981-10-7656-5</a><br/>Format: Electronic Resources<br/>Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2231712024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Xu, Weixia. editor.<br/><a href="https://doi.org/10.1007/978-981-10-7844-6">https://doi.org/10.1007/978-981-10-7844-6</a><br/>Format: Electronic Resources<br/>Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliabilityent://SD_ILS/0/SD_ILS:2225382024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Jahanshahi, Mohsen. author.<br/><a href="https://doi.org/10.1007/978-3-319-78473-1">https://doi.org/10.1007/978-3-319-78473-1</a><br/>Format: Electronic Resources<br/>Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2248032024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Campilho, Aurélio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93000-8">https://doi.org/10.1007/978-3-319-93000-8</a><br/>Format: Electronic Resources<br/>Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2227082024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Itsykson, Vladimir. editor.<br/><a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format: Electronic Resources<br/>Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2225432024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Vaidya, Jaideep. editor.<br/><a href="https://doi.org/10.1007/978-3-030-05051-1">https://doi.org/10.1007/978-3-030-05051-1</a><br/>Format: Electronic Resources<br/>Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2248532024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Giuffrida, Cristiano. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93411-2">https://doi.org/10.1007/978-3-319-93411-2</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2217292024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Blieberger, Johann. editor.<br/><a href="https://doi.org/10.1007/978-3-319-60588-3">https://doi.org/10.1007/978-3-319-60588-3</a><br/>Format: Electronic Resources<br/>Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2253472024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448<br/><a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<br/>Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectivesent://SD_ILS/0/SD_ILS:2261202024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Chen, Quan. author.<br/><a href="https://doi.org/10.1007/978-981-10-6238-4">https://doi.org/10.1007/978-981-10-6238-4</a><br/>Format: Electronic Resources<br/>Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238732024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196<br/><a href="https://doi.org/10.1007/978-3-319-66299-2">https://doi.org/10.1007/978-3-319-66299-2</a><br/>Format: Electronic Resources<br/>Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2232572024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278<br/><a href="https://doi.org/10.1007/978-3-319-61473-1">https://doi.org/10.1007/978-3-319-61473-1</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papersent://SD_ILS/0/SD_ILS:2237902024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Ding, Chen. editor.<br/><a href="https://doi.org/10.1007/978-3-319-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format: Electronic Resources<br/>Detection of Intrusions and Malware, and Vulnerability Assessment 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2245082024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Polychronakis, Michalis. editor.<br/><a href="https://doi.org/10.1007/978-3-319-60876-1">https://doi.org/10.1007/978-3-319-60876-1</a><br/>Format: Electronic Resources<br/>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 Papersent://SD_ILS/0/SD_ILS:2237322024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Kunkel, Julian M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-67630-2">https://doi.org/10.1007/978-3-319-67630-2</a><br/>Format: Electronic Resources<br/>Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2222462024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Spirakis, Paul. editor.<br/><a href="https://doi.org/10.1007/978-3-319-69084-1">https://doi.org/10.1007/978-3-319-69084-1</a><br/>Format: Electronic Resources<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applicationsent://SD_ILS/0/SD_ILS:2240122024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Hameurlain, Abdelkader. editor.<br/><a href="https://doi.org/10.1007/978-3-662-55947-5">https://doi.org/10.1007/978-3-662-55947-5</a><br/>Format: Electronic Resources<br/>High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2262212024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Kunkel, Julian M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58667-0">https://doi.org/10.1007/978-3-319-58667-0</a><br/>Format: Electronic Resources<br/>Privately and Publicly Verifiable Computing Techniques A Surveyent://SD_ILS/0/SD_ILS:2262452024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Demirel, Denise. author.<br/><a href="https://doi.org/10.1007/978-3-319-53798-6">https://doi.org/10.1007/978-3-319-53798-6</a><br/>Format: Electronic Resources<br/>Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2214212024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Dou, Yong. editor.<br/><a href="https://doi.org/10.1007/978-3-319-67952-5">https://doi.org/10.1007/978-3-319-67952-5</a><br/>Format: Electronic Resources<br/>Concise Guide to Formal Methods Theory, Fundamentals and Industry Applicationsent://SD_ILS/0/SD_ILS:2247502024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar O'Regan, Gerard. author.<br/><a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Brain Informatics International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2259332024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Zeng, Yi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-70772-3">https://doi.org/10.1007/978-3-319-70772-3</a><br/>Format: Electronic Resources<br/>Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182532024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Wittevrongel, Sabine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43904-4">http://dx.doi.org/10.1007/978-3-319-43904-4</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174092024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Shen, Xipeng. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29778-1">http://dx.doi.org/10.1007/978-3-319-29778-1</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181172024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Rayadurgam, Sanjai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40648-0">http://dx.doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Electronic Resources<br/>HCNA Networking Study Guideent://SD_ILS/0/SD_ILS:191422024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Huawei Technologies Co., Ltd. editor.<br/><a href="http://dx.doi.org/10.1007/978-981-10-1554-0">http://dx.doi.org/10.1007/978-981-10-1554-0</a><br/>Format: Electronic Resources<br/>Transactions on Modularity and Composition Ient://SD_ILS/0/SD_ILS:184102024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Chiba, Shigeru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46969-0">http://dx.doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Electronic Resources<br/>Architecture of Computing Systems – ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedingsent://SD_ILS/0/SD_ILS:224902024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Pinho, Luís Miguel Pinho. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16086-3">http://dx.doi.org/10.1007/978-3-319-16086-3</a><br/>Format: Electronic Resources<br/>Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:236092024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Yung, Moti. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27998-5">http://dx.doi.org/10.1007/978-3-319-27998-5</a><br/>Format: Electronic Resources<br/>Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248562024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Träff, Jesper Larsson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48096-0">http://dx.doi.org/10.1007/978-3-662-48096-0</a><br/>Format: Electronic Resources<br/>Design and Implementation of the MTX Operating Systement://SD_ILS/0/SD_ILS:227102024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Wang, K. C. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17575-1">http://dx.doi.org/10.1007/978-3-319-17575-1</a><br/>Format: Electronic Resources<br/>Quality-aware Scheduling for Key-value Data Storesent://SD_ILS/0/SD_ILS:248192024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Xu, Chen. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47306-1">http://dx.doi.org/10.1007/978-3-662-47306-1</a><br/>Format: Electronic Resources<br/>Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232752024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Chen, Yunji. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23216-4">http://dx.doi.org/10.1007/978-3-319-23216-4</a><br/>Format: Electronic Resources<br/>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 Papersent://SD_ILS/0/SD_ILS:221662024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Jagatheesan, Arun. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13960-9">http://dx.doi.org/10.1007/978-3-319-13960-9</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:226932024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Brodman, James. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17473-0">http://dx.doi.org/10.1007/978-3-319-17473-0</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:227032024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Havelund, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17524-9">http://dx.doi.org/10.1007/978-3-319-17524-9</a><br/>Format: Electronic Resources<br/>Embedded Operating Systems A Practical Approachent://SD_ILS/0/SD_ILS:195542024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Holt, Alan. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-6603-0">http://dx.doi.org/10.1007/978-1-4471-6603-0</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papersent://SD_ILS/0/SD_ILS:244202024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Desai, Narayan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43779-7">http://dx.doi.org/10.1007/978-3-662-43779-7</a><br/>Format: Electronic Resources<br/>Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:245062024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Agha, Gul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44471-9">http://dx.doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Electronic Resources<br/>Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:205622024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Maehle, Erik. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04891-8">http://dx.doi.org/10.1007/978-3-319-04891-8</a><br/>Format: Electronic Resources<br/>Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:214912024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Cuellar, Jorge. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10329-7">http://dx.doi.org/10.1007/978-3-319-10329-7</a><br/>Format: Electronic Resources<br/>Euro-Par 2014 Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214032024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Silva, Fernando. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09873-9">http://dx.doi.org/10.1007/978-3-319-09873-9</a><br/>Format: Electronic Resources<br/>Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245772024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Hsu, Ching-Hsien. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44917-2">http://dx.doi.org/10.1007/978-3-662-44917-2</a><br/>Format: Electronic Resources<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:240472024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Cohen, Albert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54807-9">http://dx.doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Electronic Resources<br/>Serialization and Persistent Objects Turning Data Structures into Efficient Databasesent://SD_ILS/0/SD_ILS:237612024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Soukup, Jiri. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-39323-5">http://dx.doi.org/10.1007/978-3-642-39323-5</a><br/>Format: Electronic Resources<br/>Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:220292024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Mellouk, Abdelhamid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13174-0">http://dx.doi.org/10.1007/978-3-319-13174-0</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207882024-09-23T21:05:10Z2024-09-23T21:05:10ZYazar Badger, Julia M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06200-6">http://dx.doi.org/10.1007/978-3-319-06200-6</a><br/>Format: Electronic Resources<br/>