Showing 261 - 280 results of 427 for search '"concurrent program"', query time: 1.01s Refine Results
  1. 261
    by A. V. Podkopaev, O. Lahav, V. Vafeiadis
    Published 2018-10-01
    ...Concurrent programs have behaviors, which cannot be explained by interleaving execution...
    Get full text
    Article
  2. 262
    by Afshin Amighi, Marieke Huisman, Stefan Blom
    Published 2018-06-01
    ...Synchronisation classes are an important building block for shared memory concurrent programs. Thus...
    Get full text
    Article
  3. 263
    ... to algorithms and architectures of forward and inverse nested QIM, the concurrent programs and special...
    Get full text
    Article
  4. 264
    by Handler, Caroline
    Published 1989
    ... transputer network. The concurrent programming language occam has been implemented, replacing the explicit...
    Get full text
    Others
  5. 265
    by Abelson, Harold
    Published 1996
    Get fulltext
    eBook
  6. 266
  7. 267
    by Kusano, Markus Jan Urban
    Published 2018
    ...-interpretation techniques for static analysis of concurrent programs. Specifically, I integrate a lightweight...
    Get full text
    Others
  8. 268
    by Wen Kokke, Fabrizio Montesi, Marco Peressotti
    Published 2019-04-01
    ... concurrent programming. However, in previous work, there is a mismatch between the rules for constructing...
    Get full text
    Article
  9. 269
    by J. Lei, Z. Qiu
    Published 2014-12-01
    ...The difficulties of verifying concurrent programs lie in their inherent non-determinism...
    Get full text
    Article
  10. 270
    by Silveira, Antonio Tobias
    Published 2010
    ... linguagem MACRO-10. === This paper presents a method for the concurrent programming of DEC-system 10 using...
    Get full text
    Others
  11. 271
    by Silveira, Antonio Tobias
    Published 2010
    ... linguagem MACRO-10. === This paper presents a method for the concurrent programming of DEC-system 10 using...
    Get full text
    Others
  12. 272
    by Wallin, Joel
    Published 2017
    ...Actor isolation is an important property in parallel and concurrent programs that utilize the actor...
    Get full text
    Others
  13. 273
    ... of testing concurrent programs. The extensive use of concurrent systems warrants more attention...
    Get full text
    Others
  14. 274
    by Silveira, Antonio Tobias
    Published 2010
    ... linguagem MACRO-10. === This paper presents a method for the concurrent programming of DEC-system 10 using...
    Get full text
    Others
  15. 275
    by Suriyakarn, Sorawit
    Published 2018
    ..., and complete synthesis process from standard SQL-like specifications to executable concurrent programs...
    Get full text
    Others
  16. 276
    by Philipp Haller, Fredrik Sommar
    Published 2017-04-01
    ... "deep-copy" semantics. This deep-copy semantics enables programmers to seamlessly port concurrent...
    Get full text
    Article
  17. 277
    by Nadir, Latif, Deepak, Venugopal
    Published 2008
    ... implemented. We have implemented the main concepts of Morpheus by using a concurrent programming language...
    Get full text
    Others
  18. 278
    by Marshall, Lindsay Forsyth
    Published 1980
    ... of the mechanisms described, and a discussion of existing concurrent programming techniques....
    Get full text
  19. 279
    by Smith, Nolan Michael
    Published 2015
    ... and concurrent programming in applications is becoming commonplace. However, current solutions use abstractions...
    Get full text
    Others
  20. 280
    ..., which are well studied for modelling concurrent programs. In particular, an iterative deadlock...
    Get full text
    Article