Results 31 to 40 of about 28,834 (249)
AVANÇOS NO DIAGNÓSTICO E TRATAMENTO DA SÍNDROME DE CROW-FUKASE: UMA REVISÃO DA LITERATURA
Hematology, Transfusion and Cell Therapy, 2023 Introdução/Objetivos: Este trabalho visa estudar os parâmetros atuais de diagnóstico e tratamento para a síndrome de POEMS (Polyneuropathy, Organomegaly, Endocrinopathy, Monoclonal gammopathy, Skin changes), uma doença plasmocítica monoclonal rara ...
JVM Cunha +4 more
doaj +1 more source
Efficient Architectures for Low Latency and High Throughput Trading Systems on the JVM [PDF]
Informatică economică, 2013 The motivation for our research starts from the common belief that the Java platform is not suitable for implementing ultra-high performance applications. Java is one of the most widely used software development platform in the world, and it provides the
Alexandru LIXANDRU
doaj +1 more source
Optimization Techniques for a Distributed In-Memory Computing Platform by Leveraging SSD
Applied Sciences, 2021 In this paper, we present several optimization strategies that can improve the overall performance of the distributed in-memory computing system, “Apache Spark”.
June Choi +3 more
doaj +1 more source
International Journal for Research in Applied Science and Engineering Technology, 2023 Abstract: This research paper explores the Java Virtual Machine's (JVM) security framework and investigates strategies to achieve comparable or enhanced security within the code. Examining core JVM security components such as classloaders, bytecode verification, and the security manager, we assess their limitations and capabilities in providing ...
Dr. K. Bargavi +4 more
openaire +1 more source
Machine learning-driven prediction of optimal control flow graph traversal strategy [PDF]
Serbian Journal of Electrical EngineeringControl flow graphs model possible program execution paths and thus are essential for static program analysis. Compilers use control flow graphs as a basis for their intermediate representations, allowing them to apply optimizations.
Ristović Ivan +5 more
doaj +1 more source
Proving Skipping Refinement with ACL2s [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification ...
Mitesh Jain, Panagiotis Manolios
doaj +1 more source
Lecturas y tertulias de misceláneas químicas
Educare, 2021 El artículo reporta los hallazgos de una experiencia educativa que consistió en realizar lecturas y tertulias de misceláneos como estrategia didáctica para la comprensión y actualización de conceptos químicos en estudiantes cursantes de las asignaturas ...
Lolymar Romero Maza +3 more
doaj +1 more source
JVM Independent Replay in Java
Electronic Notes in Theoretical Computer Science, 2005 AbstractDeterministic replay can help to understand the cause of a failing execution of a multi-threaded program. Stepwise browsing of a counterexample serves the same purpose in the context of static and dynamic checking. In this paper we present a tool for deterministic replay of a multi-threaded execution of a Java program.
Viktor Schuppan +2 more
openaire +2 more sources
SoftwareX, 2021 Assessment of replicate quality is an important process for any shotgun proteomics experiment. One fundamental question in proteomics data analysis is whether any specific replicates in a set of analyses are biasing the downstream comparative ...
David C.L. Handler, Paul A. Haynes
doaj +1 more source
Modelling a JVM for polymorphic bytecode. [PDF]
The Journal of Object Technology, 2007 In standard compilation of Java-like languages, the bytecode generated for a given source depends on both the source itself and the compilation environment. This latter dependency poses some unnecessary restrictions on which execution environments can be used to run the code.
openaire +3 more sources