Search Results - (( concurrent java programs ) OR ( concurrent java process ))~

Type-based protocol conformance and aliasing control in concurrent java programs

Authors: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo et al.

Contributors: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo et al.

Subject Terms: Java, Verification, Type systems, Concurrency, Spatial-behavioral types

File Description: application/pdf

Availability: http://hdl.handle.net/10362/8476

Instrumentation of Concurrent Java Applications for Program Behavior Investigation

Authors: BECHINI, ALESSIO PRETE, COSIMO ANTONIO

Subject Terms: Concurrent Java programs, Tracing and replay, Program instrumentation, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://hdl.handle.net/11568/166893

The ThreadRadar visualization for debugging concurrent Java programs.

Authors: Moseler, Oliver Kreber, Lucas Diehl, Stephan

Source: Journal of Visualization; Dec2022, Vol. 25 Issue 6, p1267-1289, 23p

Concurrent Java Test Generation as a Search Problem

Authors: Yaniv Eytani

Source: Electronic Notes in Theoretical Computer Science. 144:57-72

Subject Terms: concurrent Java, 0202 electrical engineering, electronic engineering, information engineering, Random test generator, geneticFinder, 02 engineering and technology, Theoretical Computer Science, Computer Science(all)

Access URL: https://www.sciencedirect.com/science/article/pii/S1571066106003033
https://core.ac.uk/display/82617306
https://dblp.uni-trier.de/db/journals/entcs/entcs144.html#Eytani06
http://www.sciencedirect.com/science/article/pii/S1571066106003033

Automatic Translation from Combined B and CSP Specification to Java Programs.

Authors: Yang, Letu Poppleton, Michael R.

Source: B 2007: Formal Specification & Development in B; 2006, p64-78, 15p

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

Slicing concurrent Java programs using Indus and Kaveri.

Authors: Ranganath, Venkatesh Hatcliff, John

Source: International Journal on Software Tools for Technology Transfer; Oct2007, Vol. 9 Issue 5/6, p489-504, 16p, 5 Black and White Photographs, 4 Diagrams, 2 Charts

Subject Terms: COMPUTER programming, COMPUTER systems, SOFTWARE engineering, JAVA programming language, C++

The automated translation of integrated formal specifications into concurrent programs

Authors: Yang, Letu Poppleton, Michael

Contributors: Yang, Letu Poppleton, Michael

Subject Terms: 005.3, QA76 Computer software

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.494663

Design of a toolset for dynamic analysis of concurrent Java programs.

Authors: Bechini, A. Tai, K.-C.

Source: Proceedings 6th International Workshop on Program Comprehension IWPC'98 (Cat No98TB100242); 1998, p190-197, 8p

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

Concurrent Java Test Generation as a Search Problem

Authors: Eytani, Yaniv¹ http://cs.haifa.ac.il/~ieytani/

Source: ENTCS: Electronic Notes in Theoretical Computer Science. May2006, Vol. 144 Issue 4, p57-72. 16p.

Subject Terms: Java programming language, Concurrent engineering, Genetic algorithms, Genetic programming

Mastering Concurrency Programming with Java 9, Second Edition : Fast, Reactive and Parallel Application Development

Authors: Javier Fernández González

Resource Type: eBook.

Subjects: Java (Computer program language), Parallel programming (Computer science)

Categories: COMPUTERS / Languages / Java, COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel

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

Advanced chopping of sequential and concurrent programs.

Authors: Giffhorn, Dennis

Source: Software Quality Journal; Jun2011, Vol. 19 Issue 2, p239-294, 56p

Subject Terms: COMPUTER software, ALGORITHMS, PRECISION (Information retrieval), JAVA programming language, COMPUTER software quality control

Concurrent Java test generation as a search problem

Authors: Yaniv Eytani The Pennsylvania State University CiteSeerX Archives

Contributors: Yaniv Eytani The Pennsylvania State University CiteSeerX Archives

Source: http://react.cs.uni-sb.de/rv2005/proceedings/4.pdf.

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.4673
http://react.cs.uni-sb.de/rv2005/proceedings/4.pdf

Evaluation of Dairy Cows Farm Management and Health in Several Regencies in East Java Province.

Alternate Title: (EVALUASI MANAJEMEN BUDIDAYA DAN KESEHATAN SAPI PERAH DI BEBERAPA KABUPATEN DI PROVINSI JAWA TIMUR).

Authors: Khasanah, Himmatul Widianingrum, Desy Cahya Yulianto, Roni et al.

Source: Jurnal Veteriner. Dec2023, Vol. 24 Issue 4, p431-441. 11p.

One Health surveillance of multidrug-resistant Escherichia coli in broilers and market environments in Aceh, Indonesia: A triangulated sampling approach.

Authors: Ferasyi, Teuku Reza Abrar, Mahdi Ismail, Ismail et al.

Source: Veterinary World. Oct2025, Vol. 18 Issue 10, p3149-3161. 13p.

Subjects: Escherichia coli, Multidrug resistance, Public health surveillance, Public health, Poultry industry, Broiler chickens, Drug resistance in microorganisms, Food safety

Geographic Terms: Indonesia, Aceh (Indonesia), Banda Aceh (Indonesia)

Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java.

Authors: Motika, Christian Hanxleden, Reinhard

Source: Computing; Mar2015, Vol. 97 Issue 3, p281-307, 27p

Subject Terms: JAVA programming language, COMPUTER programming, COMPUTER reliability, EMBEDDED computer systems, COMPUTER research

Precise slicing of interprocedural concurrent programs.

Authors: Qi, Xiaofang Jiang, Zhenliang

Source: Frontiers of Computer Science; Dec2017, Vol. 11 Issue 6, p971-986, 16p

Integrated advances and emerging strategies for the control of avian coccidiosis: A comprehensive review.

Authors: M., Roudaki M., Nikzad

Source: International Journal of Veterinary Research. 2026, Vol. 6 Issue 1, p65-93. 29p.