Results 271 to 280 of about 546,393 (311)

ANSWER: Annotation Software for Electronic Reporting

JCO Clinical Cancer Informatics, 2022
PURPOSE To better use genetic testing, which is used by clinicians to explain the molecular mechanism of disease and to suggest clinical actionability and new treatment options, clinical next-generation sequencing (NGS) laboratories must send the results
Chelsea K Raulerson, Guillaume Jimenez, B. Wakeland, Erika Villa, Jeffrey Sorelle, James Malter, J. Gagan, B. Cantarel   +7 more
semanticscholar   +1 more source

MammoApplet: An interactive Java applet tool for manual annotation in medical imaging

International Conferences on Biological Information and Biomedical Engineering, 2012
Web-based applications in computational medicine have become increasingly important during the last years. The rapid growth of the World Wide Web supposes a new paradigm in the telemedicine and eHealth areas in order to assist and enhance the prevention,
Christian Mata, Arnau Oliver, Albert Torrent   +2 more
exaly   +2 more sources

Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function

IEEE International Symposium on High-Assurance Systems Engineering, 2014
V. Winter, Carl Reinke, Jonathan Guerrero   +2 more
exaly   +2 more sources

Verifiable annotations for embedded java environments

Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems, 2005
Many implementations of Java Virtual Machine (JVM) use optimizing dynamic compilation for improving performance of Java applications. However, optimizing compilation is expensive in terms of both time and memory space complexity. Annotations are frequently used to reduce the dynamic compilation overhead in embedded Java environments where the memory ...
Guangyu Chen, Mahmut T. Kandemir
openaire   +1 more source

Idioms for code annotations in the Java language

Proceedings of the 8th Latin American Conference on Pattern Languages of Programs, 2010
Code annotations are a new feature introduced in Java 5.0 and ever since have begun to be widely adopted in the development of frameworks and applications. In order to provide better code structure and reduce the number of necessary configurations, the frameworks developed with code annotations used common practices in the annotation definitions.
Eduardo M. Guerra 0001, Menanes Cardoso, Jefferson O. Silva, Clovis T. Fernandes   +3 more
openaire   +1 more source

PAL: Exploiting Java Annotations for Parallelism

2007
We discuss how Java annotations can be used to provide the meta information needed to automatically transform plain Java programs into suitable parallel code that can be run on workstation clusters, networks and grids. Programmers are only required to decorate the methods that will eventually be executed in parallel with standard Java 1.5 annotations ...
DANELUTTO, MARCO, MARCELO PASIN, VANNESCHI, MARCO, DAZZI, PATRIZIO, LUIGI PRESTI, DOMENICO LAFORENZA   +5 more
openaire   +4 more sources

A novel implementation of observer pattern by aspect based on Java annotation

International Conference on Computer Science and Information Technologies, 2010
L. Jicheng, Yin Hui, W. Yabo
exaly   +2 more sources

Automated translation of VDM to JML-annotated Java

International Journal on Software Tools for Technology Transfer, 2017
When a system specified using the Vienna Development Method (VDM) is realised using code-generation, no guarantees are currently made about the correctness of the generated code. In this technical report, we improve code-generation of  VDM models by taking contract-based elements such as invariants and pre- and postconditions into account during the ...
Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens   +2 more
openaire   +3 more sources

Next Steps in LLM-Supported Java Verification

2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)
Recent work has shown that Large Language Models (LLMs) are not only a suitable tool for code generation but also capable of generating annotation-based code specifications.
Samuel Teuber, Bernhard Beckert
semanticscholar   +1 more source

Java Annotated Concurrency Based on the Concurrent Package

2006 Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06), 2006
JAC is an extended Java that introduces a higher level of concurrency, hiding threads and separating thread synchronization from application logic in a declarative fashion. java.util.concurrent package provides some excellent and powerful concurrent components.
Hong Zhu, Zhaolin Yin, Ying Ding
openaire   +1 more source