„Concurrent Programming“

Suchergebnisse

241 Treffer

• Compositional verification of concurrent systems by combining bisimulations
  Lang, Frédéric ; Mateescu, Radu ; Mazzanti, Franco
• Automatic verification of concurrent stochastic systems
  Kwiatkowska, Marta Z. ; Norman, Gethin ; Parker, David ; Santos, Gabriel
• Specification and automated verification of atomic concurrent real-time transactions
  Cai, Simin ; Gallina, Barbara ; Nyström, Dag ; Seceleanu, Cristina
• Program equivalences for concurrency abstractions in a concurrent lambda calculus with buffers, cells and futures
  Willig, Martina ; Schmidt-Schauß, Manfred ; Sabel, David 2009 Universitätsbibliothek Johann Christian Senckenberg
• Optimal Guaranteed Cost Tracking of Uncertain Nonlinear Systems Using Adaptive Dynamic Programming with Concurrent Learning
  Xu, Dengguo ; Wang, Qinglin ; Li, Yuan
• A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
  Corrodi, Claudio ; Heußner, Alexander ; Poskitt, Christopher M.
• Reverse engineering concurrent UML state machines using black box testing and genetic programming
  Drusinsky, Doron
• 31st International Symposium on Distributed Computing (DISC 2017)
  Richa, Andrea W. 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Self-adaptive concurrent components
  Österlund, Erik ; Löwe, Welf
• 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
• Concurrent Treaps and Impact of Locking Objects
  Alapati, Praveen ; Mutyam, Madhu ; Saranam, Swamy
• A methodology for constructing communication protocols with multiple concurrent functions
  Lin, Huai-An
• Performance and power consumption evaluation of concurrent queue implementations in embedded systems
  Papadopoulos, Lazaros ; Walulya, Ivan ; Renaud-Goud, Paul ; Tsigas, Philippas ; Soudris, Dimitrios ; Barry, Brendan
• 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
• Specification and validation of a concurrent system: an educational project
  Berthelot, Gérard ; Petrucci, Laure
• Performance Tradeoffs in Software Transactional Memory
  Asif, Naveed 2019 LAP LAMBERT Academic Publishing
• Compact and efficiently verifiable models for concurrent systems
  Ponce de León, Hernán ; Mokhov, Andrey
• Pinpointing and repairing performance bottlenecks in concurrent programs
  Yu, Tingting ; Pradel, Michael