Výsledky vyhľadávania - (( concurrent java (programs OR progress) ) OR ( concurrent java process ))

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

Autori: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo a ďalší

Prispievatelia: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo a ďalší

Predmety: Java, Verification, Type systems, Concurrency, Spatial-behavioral types

Popis súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10362/8476

Instrumentation of Concurrent Java Applications for Program Behavior Investigation

Autori: BECHINI, ALESSIO PRETE, COSIMO ANTONIO

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

Prístupová URL adresa: https://hdl.handle.net/11568/166893

The ThreadRadar visualization for debugging concurrent Java programs.

Autori: Moseler, Oliver Kreber, Lucas Diehl, Stephan

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

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

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

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

Concurrent Java Test Generation as a Search Problem

Autori: Yaniv Eytani

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

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

Prístupová URL adresa: 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.

Autori: M., Roudaki M., Nikzad

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

The automated translation of integrated formal specifications into concurrent programs

Autori: Yang, Letu Poppleton, Michael

Prispievatelia: Yang, Letu Poppleton, Michael

Predmety: 005.3, QA76 Computer software

Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.494663

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

Autori: Yang, Letu Poppleton, Michael R.

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

Multithreaded dependence graphs for concurrent Java programs.

Autori: Zhao

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

Evaluation of the Antioxidant, Antidiabetic, and Antibacterial Activity of Curcuma domestica, Zingiber officinale, Alpinia galanga, Curcuma xanthorrhiza, and Kaempferia galanga Concurrent With Its Metabolite's Constituent Analysis.

Autori: Windarsih A Indrianingsih AW Suryani R a ďalší

Zdroj: Chemistry & biodiversity [Chem Biodivers] 2025 Oct; Vol. 22 (10), pp. e00645. Date of Electronic Publication: 2025 May 21.

Spôsob vydávania: Journal Article

Informácie o časopise: Publisher: Verlag Helvetica Chimica Acta Country of Publication: Switzerland NLM ID: 101197449 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1612-1880 (Electronic) Linking ISSN: 16121872 NLM ISO Abbreviation: Chem Biodivers Subsets: MEDLINE

Výrazy zo slovníka MeSH: Anti-Bacterial Agents*/pharmacology , Anti-Bacterial Agents*/chemistry , Anti-Bacterial Agents*/isolation & purification , Anti-Bacterial Agents*/metabolism , Hypoglycemic Agents*/pharmacology , Hypoglycemic Agents*/chemistry , Hypoglycemic Agents*/metabolism , Hypoglycemic Agents*/isolation & purification , Antioxidants*/pharmacology , Antioxidants*/chemistry , Antioxidants*/metabolism , Antioxidants*/isolation & purification , Curcuma*/chemistry , Curcuma*/metabolism , Plant Extracts*/chemistry , Plant Extracts*/pharmacology , Plant Extracts*/metabolism , Zingiberaceae*/chemistry , Zingiberaceae*/metabolism , Alpinia*/chemistry , Alpinia*/metabolism, Microbial Sensitivity Tests ; Zingiber officinale/chemistry ; Zingiber officinale/metabolism ; Biphenyl Compounds/antagonists & inhibitors ; Picrates/antagonists & inhibitors ; Rhizome/chemistry ; Phenols/pharmacology ; Phenols/chemistry

Slicing concurrent Java programs using Indus and Kaveri.

Autori: Ranganath, Venkatesh Hatcliff, John

Zdroj: 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

Predmety: COMPUTER programming, COMPUTER systems, SOFTWARE engineering, JAVA programming language, C++

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

Autori: Javier Fernández González

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Languages / Java, COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel

A run-time deadlock detector for concurrent Java programs.

Autori: Nonaka, Y. Ushijima, K.

Zdroj: 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.

Autori: Ferasyi, Teuku Reza Abrar, Mahdi Ismail, Ismail a ďalší

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

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

Geografický termín: Indonesia, Aceh (Indonesia), Banda Aceh (Indonesia)

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

Autori: Elieser, S. Hartati, Hartati Nasrulloh, M. F. a ďalší

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

Predmet: 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).

Autori: Khasanah, Himmatul Widianingrum, Desy Cahya Yulianto, Roni a ďalší

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

Concurrent Java Test Generation as a Search Problem

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

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

Predmety: 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.

Autori: Nguyen, Nghia Duc Truong, Duong Ngoc Nguyen, Hop Xuan a ďalší

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

Advanced chopping of sequential and concurrent programs.

Autori: Giffhorn, Dennis

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

Predmety: 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.

Autori: Haryo, Albiruni Untari, Handayu

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

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

Geografický termín: Indonesia, Malang (Indonesia)