Showing 141 - 160 results of 427 for search '"concurrent program"', query time: 1.63s Refine Results
  1. 141
    by Yan-You Li, 李彥佑
    Published 2009
    ...碩士 === 國立臺灣師範大學 === 資訊工程研究所 === 97 === Concurrent programs exhibit nondeterministic behavior...
    Get full text
    Others
  2. 142
    by Hsu Chi-yang, 徐啟洋
    Published 2009
    ...-memory access and shared semaphore based concurrent program, Java monitor based concurrent programs...
    Get full text
    Others
  3. 143
    by Hendi, Yacoub
    Published 2021
    ...In this paper, we study the problem of parameterized verification of a concurrent program running...
    Get full text
    Others
  4. 144
    by Bo Hung Chou, 周柏宏
    Published 2011
    ... be predicted, but in the concurrent testing results are always unpredicted. The concurrent program...
    Get full text
    Others
  5. 145
    by Yu-lin Chung, 鍾易霖
    Published 2011
    ... Scheduler, each virtual CPU is asynchronously assigned to a physical CPU, but in the concurrent program...
    Get full text
    Others
  6. 146
    by Zaccone, Luigi
    Published 2021
    ... We propose an approach for reducing the PSO reachability analysis of concurrent programs...
    Get full text
    Others
  7. 147
    by Teng-Shuo Lee, 李登碩
    Published 2010
    ...碩士 === 國立臺灣師範大學 === 資訊工程研究所 === 98 === Concurrent program is becoming commonplace in modern...
    Get full text
    Others
  8. 148
    by Lili Bo, Shujuan Jiang
    Published 2018-01-01
    ... about concurrency bugs in them. However, frequent context switches in concurrent program execution...
    Get full text
    Article
  9. 149
    by Wang, Ying-Hong, 王英宏
    Published 1996
    ... is presented. Futhermore, since one of the major characteristic of concurrent programs...
    Get full text
    Others
  10. 150
    by Gidzinski, Justyna Jay
    Published 2007
    ...A concurrent program, unlike a sequential program, has multiple threads of execution, resulting...
    Get full text
  11. 151
    by Gidzinski, Justyna Jay
    Published 2007
    ...A concurrent program, unlike a sequential program, has multiple threads of execution, resulting...
    Get full text
  12. 152
    by Wei-Shiau Suen, 孫維孝
    Published 2005
    ... systematic measure to solve this problem. If we want to test all execution behaviors of a concurrent program...
    Get full text
    Others
  13. 153
    by Aronis, Stavros
    Published 2018
    ...Stateless model checking is a technique for testing and verifying concurrent programs, based...
    Get full text
    Get full text
    Doctoral Thesis
  14. 154
    by Blanchard, Allan
    Published 2016
    ... en fonction du modèle mémoire cible. === Formal verification of concurrent programs is a hard task...
    Get full text
  15. 155
    by Ozdemir, Kadir.
    Published 2009
    ... safety properties of finite-state concurrent programs. In this method, a concurrent program is specified...
    Get full text
    Get full text
    Others
  16. 156
    by Kuo-lung Li, 李國隆
    Published 2005
    ..., concurrent programming primitives are implemented according to the specification of POSIX threads. The second...
    Get full text
    Others
  17. 157
    by Sewry, David Andrew
    Published 1985
    ...A concurrent program is one in which a number of processes are considered to be active...
    Get full text
    Others
  18. 158
    by Morse, Jeremy
    Published 2015
    ... single threaded and concurrent programs, based on the model checker ESBMC. A technique for evaluating LTL...
    Get full text
  19. 159
    by Hendrik Maarand, Tarmo Uustalu
    Published 2017-04-01
    ...Analyzing the behaviour of a concurrent program is made difficult by the number of possible...
    Get full text
    Article
  20. 160
    by Wei-Tao Wang, 王維道
    Published 2004
    ...碩士 === 國立成功大學 === 會計學系碩博士班 === 92 ===   Reasoning about the correctness of concurrent programs...
    Get full text
    Others