Search Results - (( concurrent java progress ) OR ( concurrent java process ))

Synthesis of verifiable concurrent Java components from formal models.

Authors: Mariño, Julio Alborodo, Raúl N. N. Fredlund, Lars-Åke et al.

Source: Software & Systems Modeling; Feb2019, Vol. 18 Issue 1, p71-105, 35p

Subject Terms: JAVA programming language, ERROR analysis in mathematics, PROGRAMMING languages, MATHEMATICAL notation, MODEL-driven software architecture

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.

Authors: Windarsih A Indrianingsih AW Suryani R et al.

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

Publication Type: Journal Article

Journal Info: 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

MeSH Terms: 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

A method for verifying concurrent Java components based on an analysis of concurrency failures.

Authors: Long, Brad Strooper, Paul Wildman, Luke

Source: Concurrency & Computation: Practice & Experience; Mar2007, Vol. 19 Issue 3, p281-294, 14p, 1 Diagram, 1 Chart

Subject Terms: JAVA programming language, PROGRAMMING languages, COMPUTER programming, COMPUTERS, COMPUTER software, METHODOLOGY, SIMULATION methods & models, MODELS & modelmaking

Tool Support for Testing Concurrent Java Components.

Authors: Long, Brad Hoffman, Daniel Strooper, Paul

Source: IEEE Transactions on Software Engineering; Jun2003, Vol. 29 Issue 6, p555, 12p, 3 Black and White Photographs, 4 Diagrams, 2 Charts

Subject Terms: JAVA programming language, PROGRAMMING languages

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

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.

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

The use of Java in large scientific applications in HPC environments

Authors: Fries, Aidan

Contributors: University/Department: Universitat de Barcelona. Departament d'Astronomia i Meteorologia

Thesis Advisors: aidan.fries@gmail.com, Portell de Mora, Jordi, Sirvent Pardell, Raül, Luri Carrascoso, Xavier

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Java (Llenguatge de programació), Java (Lenguaje de programación), Java (Computer program language), HPC, MPJ, Gaia (Space astronomy mission), Gaia (Misión astronómica espacial), Gaia (Missió astronòmica espacial), Ciències Experimentals i Matemàtiques

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/98405

Infrared Thermographic Imaging as a Tool to Assess Inflammatory and Ischemic Response With Rubber Ring Tail Docking in Suffolk and Hampshire Lambs (Ovis Aries).

Authors: Moore, Lilian S. Busboom, Jan R. Maquivar, Martin G.

Source: Journal of Applied Animal Welfare Science. Jul-Sep2025, Vol. 28 Issue 3, p435-445. 11p.

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

HAEMOPROTEUS SPECIES INFECTION AND BLISTER DISEASE IN A CAPTIVE ROYAL PYTHON (PYTHON REGIUS): A CASE REPORT.

Authors: BAKRE, Adetolase Azizat JARIKRE, Theophilus Aghogho OLA, Olawale Olawumi et al.

Source: Animal Research International. Dec2024, Vol. 21 Issue 3, p5808-5812. 5p.

Proceedings 36th Symposium ESVN‐ECVN 12th‐14th September 2024.

Source: Journal of Veterinary Internal Medicine. Nov2024, Vol. 38 Issue 6, p3461-3536. 76p.

Investigation of a multicomponent mycotoxin detoxifying agent for aflatoxin B1 and ochratoxin A-induced blood profile in broiler chickens.

Authors: Wardatul Jannah, Mutmainah Handayani, Fitri Sektiari Lukiswanto, Bambang et al.

Source: Veterinary World. May2024, Vol. 17 Issue 5, p1044-1051. 8p.

Subjects: Broiler chickens, Aflatoxins, Metabolites, Fungal metabolites, Mycotoxins, Erythrocytes, Metabolic detoxification

Design of a multi-epitope-based vaccine candidate against Bovine Genital Campylobacteriosis using a reverse vaccinology approach.

Authors: Silva, Marta Filipa Pereira, Gonçalo Mateus, Luísa et al.

Source: BMC Veterinary Research. 4/19/2024, Vol. 20 Issue 1, p1-11. 11p.

Subjects: Campylobacter infections, Sexually transmitted diseases, Cholera toxin, Bos, Protein structure, Fetus, Cattle herding

Concurrent duplicated sub process control in a workflow engine

Predictive Analysis and Comparison of Various Models on Esports Competitions.

Authors: Nair, Adarsh A. Hotagi, Aniketh V. Mateen, Abdul et al.

Source: Journal of Advanced Zoology. 2023 Supplement, Vol. 44, p1050-1055. 6p.

Performance Engineering : Learning Through Applications Using JMT

Authors: Giuseppe Serazzi

Resource Type: eBook.

Subjects: Computer networks--Management, Java (Computer program language)

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

Phylodynamic approaches to studying avian influenza virus.

Authors: Carnegie, L. Raghwani, J. Fournié, G. et al.

Source: Avian Pathology. Oct2023, Vol. 52 Issue 5, p289-308. 20p.

An Analysis Of The Concept Of Law And Its Importance In Society And Education Of Jean-Jacques Rousseau.

Authors: P. P., Yathukrishna Neena, T. S.

Source: Journal of Advanced Zoology. 2024, Vol. 45 Issue 2, p42-44. 3p.

MICROBIAL CONTAMINATION OF POULTRY FEED AND THE EFFECTS ON BIRDS' PERFORMANCE.

Authors: MGBEAHURUIKE, Anthony Christian AGINA, Onyinyechukwu Ada ANYANWU, Madubuike Umunna et al.

Source: Animal Research International. Apr2023, Vol. 20 Issue 1, p4834-4861. 28p.