Search Results - (( concurrent java programs ) OR ( concurrent java (progress OR 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

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

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

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.

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

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++

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

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

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)

Resistance of Boer and Kacang goats and their crosses to Haemonchus contortus infection.

Authors: Elieser, S. Hartati, Hartati Nasrulloh, M. F. et al.

Source: Journal of Animal & Feed Sciences. 2025, Vol. 34 Issue 1, p29-41. 13p.

Subjects: Worm eggs, Haemonchus contortus, Helminthiasis, Goats, Blood proteins, Goat diseases

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.

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

The Updated Dual Burden of Malnutrition Among Vietnamese School-Aged Children: A Nationwide Cross-Sectional Study.

Authors: Nguyen, Nghia Duc Truong, Duong Ngoc Nguyen, Hop Xuan et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 21, p3446. 14p.

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

Veterinary-led interventions and owner perceptions of male cat sterilization: Insights from a community-based initiative in Malang, Indonesia.

Authors: Haryo, Albiruni Untari, Handayu

Source: Veterinary World. Jul2025, Vol. 18 Issue 7, p2113-2126. 14p.

Subjects: Sociocultural factors, Compliant behavior, Social attitudes, Collective action, Pet owners, Urban animals, Animal welfare

Geographic Terms: Indonesia, Malang (Indonesia)

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