Results 41 to 50 of about 13,975 (278)
Permission-Based Separation Logic for Multithreaded Java Programs [PDF]
Logical Methods in Computer Science, Volume 11, Issue 1 (February
27, 2015) lmcs:998, 2014 This paper presents a program logic for reasoning about multithreaded Java-like programs with dynamic thread creation, thread joining and reentrant object monitors. The logic is based on concurrent separation logic. It is the first detailed adaptation of concurrent separation logic to a multithreaded Java-like language.
arxiv +1 more source
A formalization of Java’s concurrent access modes [PDF]
Proceedings of the ACM on Programming Languages, 2019 Java's memory model was recently updated and expanded with new access modes. The accompanying documentation for these access modes is intended to make strong guarantees about program behavior that the Java compiler must enforce, yet the documentation is frequently unclear.
John Bender, Jens Palsberg
openaire +2 more sources
Frame of reference of software architecture for web applications and mobile
Journal of Science and Research, 2016 Given the need to have a guide for the implementation of informatics applications, and thus achieve automate tasks improving response times of users, designed the framework of reference the architecture software for web and mobile applications with ...
Carlos Alberto Maliza Martinez +2 more
doaj +1 more source
ThreadSafe : static analysis for Java concurrency [PDF]
, 2015 ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defects. ThreadSafe’s bug-finding capabilities and its look and feel are presented through examples of bugs found in the codebases of two widely-used open source projects.
Atkey, Robert, Sannella, Donald
openaire +4 more sources
Design and Development of a Java Parallel I/O Library [PDF]
arXiv, 2023 Parallel I/O refers to the ability of scientific programs to concurrently read/write from/to a single file from multiple processes executing on distributed memory platforms like compute clusters. In the HPC world, I/O becomes a significant bottleneck for many real-world scientific applications.
arxiv
Safety-Critical Java: Level 2 in Practice [PDF]
Concurrency and Computation: Practice and Experience 29 6 2017, 2018 Safety Critical Java (SCJ) is a profile of the Real-Time Specification for Java that brings to the safety-critical industry the possibility of using Java. SCJ defines three compliance levels: Level 0, Level 1 and Level 2. The SCJ specification is clear on what constitutes a Level 2 application in terms of its use of the defined API, but not the ...
arxiv +1 more source
Advanced Materials, EarlyView.The development of hydrogel‐impregnated robust interlocking nano connector (HiRINC) aims to address stent migration by improving tissue adhesion and reducing mechanical mismatch in self‐expandable metallic stents (SEMSs). The network‐like porous layer of HiRINC enhances adhesion and energy dissipation, demonstrates through ex vivo and in vivo tests ...
Eunyoung Jeon +8 more
wiley +1 more source
Artesunate Inhibits Neointimal Hyperplasia by Promoting IRF4 Associated Macrophage Polarization
Advanced Science, EarlyView.This study shows that macrophage interferon regulatory factor 4 (IRF4) improved arterial injury‐induced neointimal hyperplasia by promoting of M2 polarization via up‐regulating krüppel‐like factor 4 (KLF4) in rodent and nonhuman primate models. Notably, artesunate is identified as a potent inducer of IRF4 in macrophages, and proposed as a promising ...
Jinlin Miao +15 more
wiley +1 more source
Advanced Science, EarlyView.Salt stress endangers coastal cereal crops, requiring resilient crop solutions. This study employs machine learning (KANMB) to analyze multi‐omics data from halophyte Spartina alterniflora, revealing 226 salt‐stress biomarkers and linking them to tolerance pathways. The MYB gene SaMYB35 regulates flavonoid biosynthesis under salinity.
Shoukun Chen +7 more
wiley +1 more source
A Formal Model of the Safety-Critical Java Level 2 Paradigm [PDF]
International Conference on Integrated Formal Methods 9681 226-241
2016, 2018 Safety-Critical Java (SCJ) introduces a new programming paradigm for applications that must be certified. The SCJ specification (JSR 302) is an Open Group Standard, but it does not include verification techniques. Previous work has addressed verification for SCJ Level~1 programs.
arxiv +1 more source