„concurrent programs“

Suchergebnisse

118 Treffer

• Leveraging applications of formal methods, verification and validation
  2012 Springer
• Leveraging applications of formal methods, verification and validation
  2012 Springer
• Central European Functional Programming School – 4th summer school ; revised selected papers
  Zsók, Viktória ; Horváth, Zoltán ; Plasmeijer, Rinus 2012 Springer
• Concurrent abstract state machines
  Börger, Egon ; Schewe, Klaus-Dieter
• Synthesis of large dynamic concurrent programs from dynamic specifications
  Attie, Paul C.
• Variable strength combinatorial testing of concurrent programs
  Qi, Xiaofang ; He, Jun ; Wang, Peng ; Zhou, Huayang
• A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
  Areias, Miguel ; Rocha, Ricardo
• Topology in Process Calculus – Approximate Correctness and Infinite Evolution of Concurrent Programs
  Ying, Mingsheng 2001 Springer New York
• Verification and specification of concurrent programs
  Hooman, Jozef J. M. ; Roever, Willem-Paul ˜deœ 1991 Inst. für Informatik und Praktische Mathematik
• Program Dependences, Slicing, and Verification – Accurate and Scalable Approaches for Concurrent Object Oriented Programs
  Ranganath, Venkatesh-Prasad 2010 VDM Verlag Dr. Müller
• A Framework for Testing Concurrent Programs – Concutest
  Ricken, Mathias 2009 VDM Verlag Dr. Müller
• Tools and Algorithms for the Construction and Analysis of Systems – 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  Abdulla, Parosh Aziz ; Leino, K.Rustan M. 2005 Springer Berlin Heidelberg
• College Readiness in Participants in Concurrent Enrollment Programs
  Martin, Todd 2015 LAP LAMBERT Academic Publishing
• Process semantics of communicating concurrent programs
  Broy, Manfred 1986 Dekanat d. Fak. für Mathematik u. Informatik, Univ.
• First steps on modeling and simulation of concurrent PASCAL and MODULA programs
  Ahrens, Klaus ; Fischer, Joachim 1984 Humboldt-Univ., Sekt. Mathematik
• Temporal assertions for sequential and concurrent programs
  Stolz, Volker 2007 RWTH Aachen
• Synthesis of synchronous programs to parallel software architectures
  Baudisch, Daniel
• Deadlock and WCET analysis of barrier-synchronized concurrent programs
  Mittermayr, Robert ; Blieberger, Johann