Search Results for - Narrowed by: Logic design. - Special Purpose and Application-Based Systems.

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

2024-05-28T22:30:47Z

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

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

2024-05-28T22:30:47Z

by Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682
https://doi.org/10.1007/978-3-319-73814-7
Format: Electronic Resources

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2024-05-28T22:30:47Z

by Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
https://doi.org/10.1007/978-3-319-92402-1
Format: Electronic Resources

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

2024-05-28T22:30:47Z

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

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

2024-05-28T22:30:47Z

by Zhang, Fa. editor.
https://doi.org/10.1007/978-3-319-94968-0
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

2024-05-28T22:30:47Z

by Klusáček, Dalibor. editor.
https://doi.org/10.1007/978-3-319-77398-8
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-05-28T22:30:47Z

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

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-05-28T22:30:47Z

by Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources

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

2024-05-28T22:30:47Z

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

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-05-28T22:30:47Z

by Sun, Jing. editor.
https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2024-05-28T22:30:47Z

by Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-99639-4
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2024-05-28T22:30:47Z

by Piskac, Ruzica. editor.
https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources

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

2024-05-28T22:30:47Z

by Sokolinsky, Leonid. editor.
https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

2024-05-28T22:30:47Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-44832-9
Format: Electronic Resources

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2024-05-28T22:30:47Z

by Liu, Zhiming. editor.
https://doi.org/10.1007/978-3-319-29628-9
Format: Electronic Resources

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2024-05-28T22:30:47Z

by ter Beek, Maurice H. editor.
https://doi.org/10.1007/978-3-319-45943-1
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

2024-05-28T22:30:47Z

by Bertogna, Marko. editor.
https://doi.org/10.1007/978-3-319-39083-3
Format: Electronic Resources

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

2024-05-28T22:30:47Z

by Wotawa, Franz. editor.
https://doi.org/10.1007/978-3-319-47443-4
Format: Electronic Resources

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

2024-05-28T22:30:47Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/978-3-540-70930-5
Format: Electronic Resources

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2024-05-28T22:30:47Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

2024-05-28T22:30:47Z

by Leue, Stefan. editor.
http://dx.doi.org/10.1007/978-3-540-79707-4
Format: Electronic Resources

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

2024-05-28T22:30:47Z

by Cha, Sungdeok (Steve). editor.
http://dx.doi.org/10.1007/978-3-540-88387-6
Format: Electronic Resources

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

2024-05-28T22:30:47Z

by Egerstedt, Magnus. editor.
http://dx.doi.org/10.1007/978-3-540-78929-1
Format: Electronic Resources

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

2024-05-28T22:30:47Z

by Harrison, Michael D. editor.
http://dx.doi.org/10.1007/978-3-540-87698-4
Format: Electronic Resources

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2024-05-28T22:30:47Z

by Bemporad, Alberto. editor.
http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2024-05-28T22:30:47Z

by Raskin, Jean-François. editor.
http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-05-28T22:30:47Z

by Paillier, Pascal. editor.
http://dx.doi.org/10.1007/978-3-540-74735-2
Format: Electronic Resources

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2024-05-28T22:30:47Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: Electronic Resources

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2024-05-28T22:30:47Z

by Brim, Luboš. editor.
http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Electronic Resources

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2024-05-28T22:30:47Z

by Namjoshi, Kedar S. editor.
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Electronic Resources

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2024-05-28T22:30:47Z

by Saglietti, Francesca. editor.
http://dx.doi.org/10.1007/978-3-540-75101-4
Format: Electronic Resources

Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

2024-05-28T22:30:47Z

by Bondavalli, Andrea. editor.
http://dx.doi.org/10.1007/978-3-540-75294-3
Format: Electronic Resources

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2024-05-28T22:30:47Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/11757283
Format: Electronic Resources

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

2024-05-28T22:30:47Z

by Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/11925040
Format: Electronic Resources

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings

2024-05-28T22:30:47Z

by Górski, Janusz. editor.
http://dx.doi.org/10.1007/11875567
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

2024-05-28T22:30:47Z

by Asarin, Eugene. editor.
http://dx.doi.org/10.1007/11867340
Format: Electronic Resources

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

2024-05-28T22:30:47Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/11823063
Format: Electronic Resources

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

2024-05-28T22:30:47Z

by Graf, Susanne. editor.
http://dx.doi.org/10.1007/11901914
Format: Electronic Resources

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2024-05-28T22:30:47Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/11741060
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2024-05-28T22:30:47Z

by Goubin, Louis. editor.
http://dx.doi.org/10.1007/11894063
Format: Electronic Resources

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

2024-05-28T22:30:47Z

by Hespanha, João P. editor.
http://dx.doi.org/10.1007/11730637
Format: Electronic Resources

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2024-05-28T22:30:47Z

by Gotzhein, Reinhard. editor.
http://dx.doi.org/10.1007/11951148
Format: Electronic Resources

New Algorithms, Architectures and Applications for Reconfigurable Computing

2024-05-28T22:30:47Z

by Lysaght, Patrick. editor.
http://dx.doi.org/10.1007/1-4020-3128-9
Format: Electronic Resources

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

2024-05-28T22:30:47Z

by Winther, Rune. editor.
http://dx.doi.org/10.1007/11563228
Format: Electronic Resources

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

2024-05-28T22:30:47Z

by Peled, Doron A. editor.
http://dx.doi.org/10.1007/11562948
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2024-05-28T22:30:47Z

by Rao, Josyula R. editor.
http://dx.doi.org/10.1007/11545262
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

2024-05-28T22:30:47Z

by Pettersson, Paul. editor.
http://dx.doi.org/10.1007/11603009
Format: Electronic Resources

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

2024-05-28T22:30:47Z

by Morari, Manfred. editor.
http://dx.doi.org/10.1007/b106766
Format: Electronic Resources

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2024-05-28T22:30:47Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/b135888
Format: Electronic Resources

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

2024-05-28T22:30:47Z

by Maziero, Carlos Alberto. editor.
http://dx.doi.org/10.1007/11572329
Format: Electronic Resources

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

2024-05-28T22:30:47Z

by Hinchey, Michael G. editor.
http://dx.doi.org/10.1007/b105317
Format: Electronic Resources

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

2024-05-28T22:30:47Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/b105030
Format: Electronic Resources