Search Results for - Narrowed by: Logic design. - Computer Systems Organization and Communication Networks.

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2024-05-26T16:24:16Z

by Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
https://doi.org/10.1007/978-3-319-99229-7
Format: Electronic Resources

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

2024-05-26T16:24:16Z

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

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2024-05-26T16:24:16Z

by Doty, David. editor. (orcid)0000-0002-3922-172X
https://doi.org/10.1007/978-3-030-00030-1
Format: Electronic Resources

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

2024-05-26T16:24:16Z

by Qiu, Meikang. editor. (orcid)0000-0002-1004-0140
https://doi.org/10.1007/978-3-030-05764-0
Format: Electronic Resources

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2024-05-26T16:24:16Z

by Medina-Bulo, Inmaculada. editor.
https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2024-05-26T16:24:16Z

by Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78024-5
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

2024-05-26T16:24:16Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93698-7
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

2024-05-26T16:24:16Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93701-4
Format: Electronic Resources

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

2024-05-26T16:24:16Z

by Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05057-3
Format: Electronic Resources

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-05-26T16:24:16Z

by Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
https://doi.org/10.1007/978-3-319-96983-1
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

2024-05-26T16:24:16Z

by Casimiro, António. editor. (orcid)0000-0002-5522-5739
https://doi.org/10.1007/978-3-319-92432-8
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

2024-05-26T16:24:16Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93713-7
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-05-26T16:24:16Z

by Jarvis, Stephen. editor.
https://doi.org/10.1007/978-3-319-72971-8
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-05-26T16:24:16Z

by Chandrasekaran, Sunita. editor.
https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-05-26T16:24:16Z

by Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78054-2
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-05-26T16:24:16Z

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

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

2024-05-26T16:24:16Z

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

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2024-05-26T16:24:16Z

by Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-319-89963-3
Format: Electronic Resources

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

2024-05-26T16:24:16Z

by Chen, Liqun. editor. (orcid)0000-0003-2680-4907
https://doi.org/10.1007/978-3-319-99136-8
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2024-05-26T16:24:16Z

by Cerone, Antonio. editor. (orcid)0000-0003-2691-5279
https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2024-05-26T16:24:16Z

by Skavhaug, Amund. editor.
https://doi.org/10.1007/978-3-319-45477-1
Format: Electronic Resources

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains

2024-05-26T16:24:16Z

by Göbel, Susanne. author.
https://doi.org/10.1007/978-3-658-11765-8
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2024-05-26T16:24:16Z

by Chaudhuri, Swarat. editor.
https://doi.org/10.1007/978-3-319-41540-6
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers

2024-05-26T16:24:16Z

by Maciaszek, Leszek A. editor.
https://doi.org/10.1007/978-3-319-56390-9
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2024-05-26T16:24:16Z

by Chaudhuri, Swarat. editor.
https://doi.org/10.1007/978-3-319-41528-4
Format: Electronic Resources

Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

2024-05-26T16:24:16Z

by Schieferdecker, Ina. editor.
http://dx.doi.org/10.1007/978-3-540-69100-6
Format: Electronic Resources

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

2024-05-26T16:24:16Z

by Akehurst, David H. editor.
http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Electronic Resources

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2024-05-26T16:24:16Z

by Gaudin, Emmanuel. editor.
http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Electronic Resources

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2024-05-26T16:24:16Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75221-9
Format: Electronic Resources

Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

2024-05-26T16:24:16Z

by Rensink, Arend. editor.
http://dx.doi.org/10.1007/11787044
Format: Electronic Resources

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

2024-05-26T16:24:16Z

by Aßmann, Uwe. editor.
http://dx.doi.org/10.1007/11538097
Format: Electronic Resources

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

2024-05-26T16:24:16Z

by Prinz, Andreas. editor.
http://dx.doi.org/10.1007/b137793
Format: Electronic Resources

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

2024-05-26T16:24:16Z

by Hartman, Alan. editor.
http://dx.doi.org/10.1007/11581741
Format: Electronic Resources