„Concurrent programs“

Suchergebnisse

118 Treffer

• A Search-Based Test Data Generation Method for Concurrent Programs
  Mirhosseini, Seyed Mohsen ; Haghighi, Hassan
• Automated verification of concurrent go programs via bounded model checking
  Dilley, Nicolas ; Lange, Julien
• Representing and reasoning about concurrent actions with abductive logic programs
  Li, Renwei ; Pereira, Luís Moniz
• Cost-effectiveness of concurrent supercomputers
  Resnikoff, H. L.
• Accommodating interference in the formal design of concurrent object-based programs
  Jones, C. B.
• Efficient Verification of Sequential and Concurrent C Programs
  Chaki, S. ; Clarke, E. ; Groce, A. ; Ouaknine, J. ; Strichman, O. ; Yorav, K.
• Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
  Dwyer, Matthew B. ; Hatcliff, John ; Robby ; Ranganath, Venkatesh Prasad
• Kima: An Automated Error Correction System for Concurrent Logic Programs
  Ajiro, Yasuhiro ; Ueda, Kazunori
• The Evolution of Concurrent Programs
  Ross, Brian J.
• The ‘Hoare logic’ of concurrent programs
  Lamport, Leslie
• Trace based debugging and visualisation of concurrent Java programs with UML
  Mehner-Heindl, Katharina
• Trace based debugging and visualisation of concurrent Java programs with UML
  Mehner-Heindl, Katharina
• Complexity of analyzing the synchronization structure of concurrent programs
  Taylor, Richard N.
• Verification and Enforcement of Safe Schedules for Concurrent Programs
  Metzler, Patrick ; Peters, Kirstin ; Weissenbacher, Georg 2020 Universitäts- und Landesbibliothek
• A common intermediate language and its use in partitioning concurrent declarative programs
  Ariola, Z. M. ; Massey, B. C. ; Sami, M. ; Tick, E.
• Maximally Concurrent Programs
  Joshi, Rajeev ; Misra, Jayadev
• Three Early Formal Approaches to the Verification of Concurrent Programs
  Jones, Cliff B.
• Extending non-termination proof techniques to asynchronously communicating concurrent programs
  Kuntz, Matthias ; Leue, Stefan ; Scheben, Christoph 2011 Bibliothek der Universität Konstanz
• Stratified commutativity in verification algorithms for concurrent programs
  Farzan, Azadeh ; Klumpp, Dominik ; Podelski, Andreas 2023 Universität
• Rely-guarantee bound analysis of parameterized concurrent shared-memory programs – With an application to proving that non-blocking algorithms are bounded lock-free
  Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian