Вы здесь

Главная

параллельная система

Связанные издания:

Algorithms and Architectures for Parallel Processing, Part I: Proc./19th International Conference, ICA3PP 2019, Melbourne,VIC,Canada, December 2019
Algorithms and Architectures for Parallel Processing: Proc./7th International Conference, ICA3PP 2007. Hangzhou, China, June 2007
Application and Theory of Petri Nets and Concurrency: Proc./37th International Conference, PETRI NETS 2016, Torun, Poland, June 2016
Applications and Theory of Petri Nets and Concurrency: Proc./35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 2014
Applications of Evolutionary Computation, Part I: Proc./19th European Conference, EvoApplications 2016, Porto, Portugal, March 2016
Applications of Evolutionary Computation, Part I: Proc./20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 2017
Applications of Evolutionary Computation: Revised Selected Papers/17th European Conference, EvoApplications 2014, Granada, Spain, April 2014
Artificial Neural Networks and Machine Learning - ICANN 2014: Proc./24th International Conference on ANN, Hamburg, Germany, September 2014
Computer Science - Theory and Applications: Proc./11th International Computer Science Symposium in Russia, CSR 2016, St.Petersburg, Russia, June 2016
Computer Science - Theory and Applications: Proc./12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 2017
Coordination Models and Languages: Proc./16th IFIP WG 6.1 International Conference, COORDINATION 2014 Held as Part of the 9th International Federated Conference, DisCoTec 2014, Berlin, Germany, June 2014
Euro-Par 2008 Workshops - Parallel Processing: Revised Selected Papers/ VHPC 2008, UNICODE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canada, Spain, August 2008
Formal Methods and Software Engineering: Proc./14th International Conference on Formal Engineering Mathods, ICFEM 2012, Kyoto, Japan, November 2012
Formal Methods and Software Engineering: Proc./15th International Conference, ICFEM 2013, Queenstown, New Zealand, October 2013
Formal Methods and Software Engineering: Proc./16th International Conference on FEM, ICFEM 2014, Luxembourg, November 2014
Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014
Foundations of Software Science and Computation Structures: Proc./18th International Conference, FOSSACS 2015 Held as Part of the ETAPS 2015, London, UK, April 2015
Fundamental Approaches to Software Engineering: Proc./19th International Conference, FASE 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016
Fundamentals of Software Engineering: Revised Selected Papers/3rd IPM International Conference, FSEN 2009, Kish Island, Iran, April 2009
Generic Forward and Backward Simulations
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Verification Principles: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Leveraging Applications of Formal Methods, Verification and Validation, Part IV:Tools and Trends: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Model and Data Engineering: Proc./9th International Conference, MEDI 2019, Toulouse, France, October 2019
Model Checking Software: Proc./23rd International Symposium, SPIN 2016 Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 2016
Networked Systems: Proc./5th International Conference, NETYS 2017, Marrakech, Morocco, May 2017
Networked Systems: Revised Selected Papers/6th International Conference, NETYS 2018, Essaouira, Morocco, May 2018
OpenSHMEM and Related Technologies: Big Compute and Big Data Convergence: Revised Selected Papers/4th Workshop, OpenSHMEM 2017, Annapolis,MD,USA, August 2017
Parallel Processing and Applied Mathematics, Part I: Revised Selected Papers/10th International Conference, PPAM 2013, Warsaw, Poland, September 2013
Rewriting Logic and Its Applications: Revised Selected Papers/8th International Workshop, WRLA 2010, Helds as Satellite Event of ETAPS 2010, Paphos, Cyprus, March 2010
Search Based Software Engineering: Proc./3rd International Symposium, SSBSE 2011, Szeged, Hungary, September 2011
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
Time for Verification: Essays in Memory of Amir Pnueli
Transactions on Petri Nets and Other Models of Concurrency V
Transactions on Petri Nets and Other Models of Concurrency XI
Алгебраические решетки первичных структур событий
Анализ производительности параллельных систем в алгебре dtsiPBC
Влияние регулярных системных прерываний на производительность параллельных трафаретных вычислений
"Истинно параллельная" семантика непрерывно-временных сетей Петри со слабой временной и устойчиво атомарной пространственной стратегиями
Моделирование иерархических многопроцессорных систем баз данных
Некоторые методы ресурсного анализа сетей Петри
Организация вычислений в параллельных системах и приложения к некоторым задачам численного анализа
Параллельные вычислительные и программные системы. Сборник научных трудов
Параллельные вычислительные системы
Программные средства моделирования динамически изменяющейся структуры параллельных систем
Проецирование систем переходов: преодоление комбинаторного взрыва при верификации параллельных систем
Разработка и исследование методов архитектурного проектирования параллельных многопроцессорных систем для вычисления свёртки
Сетевой подход к описанию семантики параллельных систем и процессов