Suchergebnisse - concurrent java progress~

Towards verified Java code generation from concurrent state machines

Autoren: Zhang, D. Bosnacki, D. Brand, van den, M.G.J. et al.

Quelle: Dingel, J., Lara, de, J., Lúcio, L., Vangheluwe, H. (Ed.), Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014)), p.64-69. CEUR-WS.org.

Index Begriffe: Conferentiebijdrage, Conference contribution

URL: https://research.tue.nl/en/publications/98622e25-b6c5-4602-99cd-fffcffeeb2d6
https://pure.tue.nl/ws/files/3856464/583864405853191.pdf
https://pure.tue.nl/ws/files/3856464/583864405853191.pdf

A flexible specification approach for verifying total correctness of fine-grained concurrent modules

Autoren: Fasse, Justus Jacobs, Bart

Index Begriffe: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2312.15379

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.

Autoren: Windarsih A Indrianingsih AW Suryani R et al.

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

Publikationsart: Journal Article

Info zur Zeitschrift: 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-Schlagworte: 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

Progress of Concurrent Objects

Autoren: Hongjin Liang Xinyu Feng

Resource Type: eBook.

Categories: COMPUTERS / Languages / General

Synthesis of verifiable concurrent Java components from formal models.

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

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

Schlagwörter: JAVA programming language, ERROR analysis in mathematics, PROGRAMMING languages, MATHEMATICAL notation, MODEL-driven software architecture

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

Autoren: Long, Brad Strooper, Paul Wildman, Luke

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

Schlagwörter: JAVA programming language, PROGRAMMING languages, COMPUTER programming, COMPUTERS, COMPUTER software, METHODOLOGY, SIMULATION methods & models, MODELS & modelmaking

Start Concurrent : An Introduction to Problem Solving in Java with a Focus on Concurrency, 2014

Autoren: Barry Wittman Aditya Mathur Tim Korb

Resource Type: eBook.

Schlagworte: Parallel programming (Computer science), Multiprocessors--Programming, Java (Computer program language), Computer multitasking

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

Tool Support for Testing Concurrent Java Components.

Autoren: Long, Brad Hoffman, Daniel Strooper, Paul

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

Schlagwörter: JAVA programming language, PROGRAMMING languages

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

Autoren: M., Roudaki M., Nikzad

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

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

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

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

Block-Free Concurrent GC : Stack Scanning and Copying

Autoren: Österlund, Erik Löwe, Welf

Index Begriffe: non-blocking, block-free, compaction, stack scanning, garbage collection, Computer Systems, Datorsystem, Article in journal, info:eu-repo/semantics/article, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-94748
SIGPLAN notices, 0362-1340, 2016, 51:11, s. 1-12

Towards Taming Java Wildcards and Extending Java with Interval Types

Autoren: AbdelGawad, Moez A.

Index Begriffe: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1805.10931

Factors associated with repeat breeding in Holstein Friesian cows at the Tani Wilis Village Cooperative Unit, Sendang District, Tulungagung Regency, Indonesia.

Autoren: Satrio, Dimas Kunto Sultoni, M' Izi Kumala Lazuardi Putri, Tasya Apritalia et al.

Quelle: Ovozoa: Journal of Animal Reproduction. Aug2025, Vol. 14 Issue 2, p67-75. 9p.

Isolation and molecular characterization of fowl aviadenovirus associated with inclusion body hepatitis from poultry in Banten and West Java, Indonesia.

Autoren: Silaen, Otto Sahat Martua Murtini, Sri Pamungkas, Joko et al.

Quelle: Veterinary World. Sep2020, Vol. 13 Issue 9, p1940-1946. 7p.

Schlagworte: Cellular inclusions, Poultry, Fish eggs, Polymerase chain reaction, Hepatitis, Eggs

Geografische Kategorien: Jawa Barat (Indonesia), Indonesia

Increasing the Performance and Predictability of the Code Execution on an Embedded Java Platform

Autoren: Spallek, Rainer Koch, Andreas Technische Universität Dresden et al.

Index Begriffe: info:eu-repo/classification/ddc/004, ddc:004, Java 2 Micro Edition; Eingebettetes System, Eingebettete Systeme, Java, Embedded Systems, Java, doc-type:doctoralThesis, info:eu-repo/semantics/doctoralThesis, doc-type:Text

Recent progresses and remaining challenges for the detection of Zika virus.

Autoren: Zhang X Li G Chen G et al.

Quelle: Medicinal research reviews [Med Res Rev] 2021 Jul; Vol. 41 (4), pp. 2039-2108. Date of Electronic Publication: 2021 Feb 09.

Publikationsart: Journal Article; Research Support, Non-U.S. Gov't; Review

Info zur Zeitschrift: Publisher: Wiley Country of Publication: United States NLM ID: 8103150 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1098-1128 (Electronic) Linking ISSN: 01986325 NLM ISO Abbreviation: Med Res Rev Subsets: MEDLINE

MeSH-Schlagworte: Zika Virus*/genetics , Zika Virus Infection*/diagnosis, Adult ; Animals ; Female ; Humans ; Molecular Diagnostic Techniques ; Nucleic Acid Amplification Techniques ; Pregnancy

SCR Protocol: LAMP assay

Functional and Concurrent Programming : Core Concepts and Features

Autoren: Michel Charpentier

Resource Type: eBook.

Schlagworte: Computer multitasking, Object-oriented programming (Computer science)

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

Kotlin Design Patterns and Best Practices : Elevate Your Kotlin Skills with Classical and Modern Design Patterns, Coroutines, and Microservices

Autoren: Alexey Soshin

Resource Type: eBook.

Schlagworte: Java (Computer program language), Functional programming (Computer science), Application software--Development, Mobile apps

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Languages / Java, COMPUTERS / Programming / Mobile Devices

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

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

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

Java : The Comprehensive Guide

Autoren: Rheinwerk Publishing, Inc Christian Ullenboom

Resource Type: eBook.

Categories: COMPUTERS / Languages / JavaScript, COMPUTERS / Languages / General, COMPUTERS / Programming / Algorithms