„concurrent programs“

Suchergebnisse

118 Treffer

• Using a concurrent challenge with porcine circovirus 2 and porcine reproductive and respiratory syndrome virus to compare swine vaccination programs
  Madapong, Adthakorn ; Saeng-chuto, Kepalee ; Tantituvanont, Angkana ; Nilubol, Dachrit
• The ThreadRadar visualization for debugging concurrent Java programs
  Moseler, Oliver ; Kreber, Lucas ; Diehl, Stephan
• Recursive automata on infinite words and the verification of concurrent programs
  Staiger, Ludwig 1991 Univ.-GH, Fachbereich Elektrotechnik und Informatik
• Nonsequential and distributed programming with Go – synchronization of concurrent processes: communication - cooperation - competition
  Maurer, Christian 2021 Springer
• Decidability of model checking for infinite-state concurrent systems
  Esparza, Javier
• M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages
  Best, Eike ; Frączak, Wojciech ; Hopkins, Richard P. ; Klaudel, Hanna ; Pelz, Elisabeth
• Specification and Verification of Concurrent Programs Through Refinements
  Ray, Sandip ; Sumners, Rob
• LTL model checking for communicating concurrent programs
  Pommellet, Adrien ; Touili, Tayssir
• Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure
  Liu, Wei ; Wang, Lu ; Du, Yuyue ; Li, Maozhen
• Realizability of concurrent recursive programs
  Bollig, Benedikt ; Grindei, Manuela-Lidia ; Habermehl, Peter
• Computing Dynamic Slices of Concurrent Feature-Oriented Programs
  Sahu, Madhusmita ; Mohapatra, Durga Prasad
• Symbolic predictive analysis for concurrent programs
  Wang, Chao ; Kundu, Sudipta ; Limaye, Rhishikesh ; Ganai, Malay ; Gupta, Aarti
• Compositional verification of asynchronous concurrent systems using CADP
  Garavel, Hubert ; Lang, Frédéric ; Mateescu, Radu
• Static analysis for concurrent programs with applications to data race detection
  Kahlon, Vineet ; Sankaranarayanan, Sriram ; Gupta, Aarti
• Precise slicing of interprocedural concurrent programs
  Qi, Xiaofang ; Jiang, Zhenliang
• Pinpointing and repairing performance bottlenecks in concurrent programs
  Yu, Tingting ; Pradel, Michael
• Effects of Concurrent Training on Explosive Strength and VO2max in Prepubescent Children
  Marta, C. ; Marinho, D. A. ; Barbosa, T. M. ; Izquierdo, M. ; Marques, M. C.
• Abstract semantic diffing of evolving concurrent programs
  Bouajjani, Ahmed ; Enea, Constantin ; Lahiri, Shuvendu K.
• Verifying concurrent programs under weak memory models
  Travkin, Oleg 2017 Universitätsbibliothek
• Programming languages and systems – proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer