Search Results - "Concurrent Java program"

Refine Results
  1. 1

    Runtime checking method for critical section in Concurrent Java Program based on Design by Contract / 契約デザインに基づくJava並行プログラムのクリティカルセクションの実行時検査法

    Authors: Kiyoshi Agusa Satoshi Matsushita Syoji Yuen et al.

    Source: Conference Proceedings of Japan Society for Software Science and Technology. 2003, :93

    View Record from J-STAGE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Study of concurrent JAVA program testing method

    並行Java程式測試方法之研究

    Authors: YuChuan Chen 陳宥全

    Thesis Advisors: YuChuan Chen 陳宥全

    Availability: http://ndltd.ncl.edu.tw/handle/89079863067048450288

    View record from Networked Digital Library of Theses & Dissertations Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    A Study of Concurrent Path Selection Problem in Concurrent Java Program

    並行Java程式測試環境中並行路徑選取方法之研究

    Authors: Wei-Shiau Suen 孫維孝

    Thesis Advisors: Wei-Shiau Suen 孫維孝

    File Description: 73

    Availability: http://ndltd.ncl.edu.tw/handle/07989078574054252123

    View record from Networked Digital Library of Theses & Dissertations Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    A Method to Test the Non-deterministic Execution Behavior of Concurrent Java Program

    並行Java程式不確定執行行為之測試方法

    Authors: Jia-Hao Chen 陳家豪

    Thesis Advisors: Jia-Hao Chen 陳家豪

    File Description: 73

    Availability: http://ndltd.ncl.edu.tw/handle/82920210896644224272

    View record from Networked Digital Library of Theses & Dissertations Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    Design of a Toolset for Dynamic Analysis of Concurrent Java Programs

    Authors: BECHINI, ALESSIO KUO CHUNG TAI Bechini, Alessio et al.

    Contributors: BECHINI, ALESSIO KUO CHUNG TAI Bechini, Alessio et al.

    Subject Terms: Program testing, Concurrent Java program, Dynamic program analysis

    Relation: info:eu-repo/semantics/altIdentifier/isbn/0818685603; info:eu-repo/semantics/altIdentifier/wos/WOS:000074750200022; ispartofbook:Proc. of 6th Int'l Workshop on Program Comprehension; 6th International Workshop on Program Comprehension; firstpage:190; lastpage:197; numberofpages:8; https://hdl.handle.net/11568/47414; http://dx.doi.org/10.1109/WPC.1998.693354

    Availability: https://hdl.handle.net/11568/47414
    https://doi.org/10.1109/WPC.1998.693354

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  6. 6

    Instrumentation of Concurrent Java Applications for Program Behavior Investigation

    Authors: BECHINI, ALESSIO PRETE, COSIMO ANTONIO Bechini, Alessio et al.

    Contributors: BECHINI, ALESSIO PRETE, COSIMO ANTONIO Bechini, Alessio et al.

    Subject Terms: Concurrent Java program, Tracing and replay, Program instrumentation

    Relation: ispartofbook:Proc. of ACM Int'l Conference on Supercomputing - Workshop Java for High-Performance Computing; ACM Int'l Conference on Supercomputing - Workshop Java for High-Performance Computing; firstpage:21; lastpage:29; numberofpages:9; https://hdl.handle.net/11568/166893

    Availability: https://hdl.handle.net/11568/166893

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    Multithreaded dependence graphs for concurrent Java programs.

    Authors: Zhao

    Source: 1999 Proceedings International Symposium on Software Engineering for Parallel & Distributed Systems; 1999, p13-23, 11p

    Full Text Finder
    Save to List
  8. 8

    Java implementation platform for the integrated state- and event-based specification in PROB.

    Authors: Yang, L. Poppleton, M. R.

    Source: Concurrency & Computation: Practice & Experience; Jun2010, Vol. 22 Issue 8, p1007-1022, 16p, 1 Diagram, 1 Chart

    Subject Terms: JAVA programming language, COMPUTER programming, SEMANTICS, COMPUTER software, SIMULATION methods & models, COMPUTER simulation

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  9. 9

    A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks

    Authors: Nicholas Kidd Peter Lammich Tayssir Touili et al.

    Source: Lecture Notes in Computer Science ISBN: 9783642026515

    Subject Terms: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

    Access URL: https://minds.wisconsin.edu/bitstream/1793/60662/1/TR1649.pdf

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  10. 10

    A run-time deadlock detector for concurrent Java programs.

    Authors: Nonaka, Y. Ushijima, K.

    Source: Proceedings Eighth Asia-Pacific Software Engineering Conference; 2001, p45-52, 8p

    Full Text Finder
    Save to List
  11. 11

    The automated translation of integrated formal specifications into concurrent programs

    Authors: Yang, Letu

    Index Terms: Thesis, NonPeerReviewed

    URL: https://eprints.soton.ac.uk/63157/
    https://eprints.soton.ac.uk/63157

    View this record from OAIster Nájsť tento článok vo Web of Science
    Save to List
  12. 12

    The automated translation of integrated formal specifications into concurrent programs

    Authors: Yang, Letu.

    Index Terms: Thesis, NonPeerReviewed

    URL: https://eprints.soton.ac.uk/63157/1/Thesis.letu.yang.pdf
    https://eprints.soton.ac.uk/63157/
    https://eprints.soton.ac.uk/63157

    View this record from OAIster Nájsť tento článok vo Web of Science
    Save to List
  13. 13

    DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems

    Authors: Chong Shum Wing-Hong Lau Tian Mao et al.

    Source: IEEE Access, Vol 6, Pp 21991-22010 (2018)

    Subject Terms: Direct execution simulation, modeling and simulation of concurrent execution, memory models, cyber-physical systems, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

    File Description: electronic resource

    Relation: https://ieeexplore.ieee.org/document/8334524/; https://doaj.org/toc/2169-3536

    Access URL: https://doaj.org/article/2ef4011fb7474db5aa56e4ce4fe99948

    View record in DOAJ Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    A Study of Optimal Test Case Selection Problem

    最佳測試個案選取問題之研究

    Authors: Jen-Gaw Lee 李正國

    Thesis Advisors: Jen-Gaw Lee 李正國

    File Description: 102

    Availability: http://ndltd.ncl.edu.tw/handle/92995149359331324785

    View record from Networked Digital Library of Theses & Dissertations Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    Runtime Visualization and Verification in JIVE.

    Authors: Ziarek, Lukasz Jayaraman, Bharat Lessa, Demian et al.

    Source: Runtime Verification (9783319469812); 2016, p493-497, 5p

    Save to List
  16. 16

    Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks?

    Authors: Nicholas Kidd Peter Lammich Tayssir Touili et al.

    Contributors: Nicholas Kidd Peter Lammich Tayssir Touili et al.

    Source: http://cs.uni-muenster.de/sev/staff/lammich/pub/STTT10_atomicity.pdf.

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.474.3947

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.474.3947
    http://cs.uni-muenster.de/sev/staff/lammich/pub/STTT10_atomicity.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  17. 17

    A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks

    Authors: Nicholas Kidd Peter Lammich Tayssir Touili et al.

    Contributors: Nicholas Kidd Peter Lammich Tayssir Touili et al.

    Source: http://www.cs.wisc.edu/wpis/papers/STTT-sub-AS-serializability.pdf.

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.9637

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.9637
    http://www.cs.wisc.edu/wpis/papers/STTT-sub-AS-serializability.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  18. 18

    A systematic review of approaches for testing concurrent programs.

    Authors: Arora, Vinay Bhatia, Rajesh Singh, Maninder

    Source: Concurrency & Computation: Practice & Experience; Apr2016, Vol. 28 Issue 5, p1572-1611, 40p

    Subject Terms: COMPUTER multitasking, COMPUTER software, MULTICORE processors, COMPUTER architecture, COMPUTER surveys

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  19. 19

    Debug Concurrent Programs with Visualization and Inference of Event Structure.

    Authors: Wu, Xiaoquan Wei, Jun Wang, Xu

    Source: 2012 19th Asia-Pacific Software Engineering Conference; 1/ 1/2012, p683-692, 10p

    Full Text Finder
    Save to List
  20. 20

    Language Strength Reduction.

    Authors: Kidd, Nicholas Lal, Akash Reps, Thomas

    Source: Static Analysis (9783540691631); 2008, p283-298, 16p

    Save to List

Search Tools: