Вы здесь

Главная

время выполнения

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

Accelerator Programming Using Directives: Proc./4th International Workshop, WACCPD 2017 Held in Conjuction with the SC 2017, Denver,CO,USA, November 2017
Business Process Management: Proc./13th International Conference, BPM 2015, Innsbruck, Austria, August 2015
Business Process Management: Proc./14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 2016
Compiler Construction: Proc./23rd International Conference, CC 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Computer Aided Verification, Part II: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
Computer Construction: Proc./22nd International Conference, CC 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, March 2013
Engineering Trustworthy Software Systems: Tutorial Lectures/4th International School, SETSS 2018, Chongqing, China, April 2018
Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019
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
Formal Methods: Foundations and Applications: Proc./20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 2017
Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010
Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers/2nd International Workshop, FOPARA 2011, Madrid, Spain, May 2011
Grand Timely Topics in Software Engineering: Tutorial Lectures/International Summer School GTTSE 2015, Braga, Portugal, August 2015
High Performance Computing: Proc./31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 2016
Integrated Formal Methods: Proc./9th International Conference, IFM 2012, Pisa, Italy, June 2012
Languages and Compilers for Parallel Computing: Revised Selected Papers/26th International Workshop, LCPC 2013, San Jose,CA,USA, September 2013
Languages and Compilers of Parallel Computing: Revised Selected Papers/24th International Workshop, LCPC 2011, Fort Colins,CO,USA, September 2011
Learning and Intelligent Optimization: Proc./4th International Conference, LION 4, Venice, Italy, January 2010
Lectures on Runtime Verification: Introductory and Advanced Topics
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Foundational Techniques: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016
Logic Programming: Proc./25th International Conference, ICLP 2009, Pasadena, CA,USA, July 2009
Models in Software Engineering: Reports and Revised Selected Papers/ Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 2011
Models@run.time: Foundations, Applications, and Roadmaps
NASA Formal Methods: Proc./7th International Symposium, NFM 2015, Pasadena,CA,USA, April 2015
NASA Formal Methods: Proc./8th International Symposium, NFM 2016, Minneapolis,MN,USA, June 2016
OpenMP: Heterogenous Execution and Data Movements: Proc./11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 2015
Parallel Problem Solving from Nature - PPSN XIV: Proc./14th International Conference, Edinburgh, UK, September 2016
Programming Languages: Proc./16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 2012
Reconfigurable Computing: Architectures, Tools, and Applications: Proc./10th International Symposium, ARC 2014, Vilamoura, Portugal, April 2014
Runtime Verification: Proc./16th International Conference, RV 2016, Madrid, Spain, September 2016
Runtime Verification: Proc./6th International Conference, RV 2015, Vienna, Austria, September 2015
Runtime Verification: Proc./First International Conference, RV 2010, St.Julians, Malta, November 2010
Runtime Verification: Revised Selected Papers/2nd International Conference, RV 2011, San Francisco,CA,USA, September 2011
Testing Software and Systems: Proc./22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 2010
Text Analysis Pipelines: Towards Ad-hoc Large-Scale Text Mining
Tools and Algorithms for the Construction and Analysis of Systems: Proc./21st International Conference, TACAS 2015 Held as Part of the European Joint Conferences ETAPS 2015, London, UK, April 2015
Transactions on Aspect-Oriented Software Development XI
Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016
Аналитическое предсказание времени исполнения программ и основанные на нем методы оптимизации
Доказательство свойств программ. Конечность выполнения и корректность
Методы оценки времени выполнения в системах реального времени