Search Results - java resource code check*

Lightweight and modular resource leak checking (extended version) by Shadab, Narges, Gharat, Pritam, Tiwari, Shrey, Ernst, Michael D., Kellogg, Martin, Lahiri, Shuvendu K., Lal, Akash, Sridharan, Manu

“… it. Resource leaks cause resource starvation, slowdowns, and crashes. Previous techniques to prevent resource leaks are either unsound, imprecise, inapplicable to existing code, slow, or a combination…”
Get full text

Statically Checking Web API Requests in JavaScript by Wittern, Erik, Ying, Annie T. T., Yunhui Zheng, Dolby, Julian, Laredo, Jim A.

“… Traditional compile-time error checking, such as calling a non-existent method in Java, are not available for checking whether such requests comply with the requirements of a web API…”
Get full text

Efficient runtime metaprogramming services for Java by Lagartos, Ignacio, Redondo, Jose Manuel, Ortin, Francisco

“…•JMPLib consumes fewer memory resources than the rest of implementations for the JVM. The Java programming language and platform provide many optimizations to execute statically typed code efficiently…”
Get full text

Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android by Bartel, Alexandre, Klein, Jacques, Monperrus, Martin, Le Traon, Yves

“…A common security architecture is based on the protection of certain resources by permission checks (used e.g…”
Get full text

Detecting Vulnerable Java Classes Based on the Analysis of Java Library Call Graph by Park, Hyosung, Park, Chulwoo, Yoo, SangBong, Kim, Kichang

“…Java Virtual Machine relies on the SecurityManager class to prevent illegal system resource access by external Java code (e.g., Java Applet…”
Get full text

Solidity Programming Essentials: A Beginner's Guide to Build Smart Contracts for Ethereum and Blockchain by Modi, Ritesh

“…Solidity is a new contract-oriented programming language popular for creating smart contracts and distributed applications. Writing smart contracts targeting…”
Get full text

Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis by Milewicz, Reed Morgan

“… programmers to take advantage of this abundance of computational resources. However, the need for speed has also given new life to ancient evils, namely concurrency bugs…”
Get full text

Inference of Resource Management Specifications by Shadab, Narges, Gharat, Pritam, Tiwari, Shrey, Ernst, Michael D., Kellogg, Martin, Lahiri, Shuvendu K., Lal, Akash, Sridharan, Manu

“… Such leaks are a significant cause of real-world crashes and performance problems. Recent work proposed an approach to prevent resource leaks based on checking resource management specifications…”
Get full text

Deriving an information flow checker and certifying compiler for Java by Barthe, G., Naumann, D., Rezk, T.

“…Language-based security provides a means to enforce end-to-end confidentiality and integrity policies in mobile code scenarios, and is increasingly being contemplated by the smart-card and mobile…”
Get full text

Tool demonstration: CHET: checking specifications in Java systems by Reiss, S.P.

“… Our system, CHET, lets developers define specifications that describe how a component should be used and checks these specifications statically in real Java systems…”
Get full text

Probabilistic program performance analysis with confidence intervals by Stefanakos, Ioannis, Calinescu, Radu, Gerasimou, Simos

“… The paper introduces a method for the formal analysis of timing, resource use, cost and other quality aspects of computer programs, and a tool that automates the application of the method to Java code…”
Get full text

INCREASING THE WIRELESS SYSTEMS INFORMATION EFFICIENCY USING LDPC CODING by Uryvsky, Leonid, Moshynska, Alina, Osypchuk, Serhii

“…Background. LDPC codes research is performed in the paper. The influence of LDPC codes on channel information efficiency is studied in scope of MCS…”
Get full text

Automated Validation of COBOL to Java Transformation by Kumar, Atul, Saha, Diptikalyan, Yasue, Toshikai, Ono, Kohichi, Krishnan, Saravanan, Hans, Sandeep, Satoh, Fumiko, Mitchell, Gerald, Kumar, Sachin

“…Recent advances in Large Language Model (LLM) based Generative AI techniques have made it feasible to translate enterprise-level code from legacy languages such as COBOL to modern languages such as Java or Python…”
Get full text

Type Checking for Reliable APIs by Kechagia, Maria, Spinellis, Diomidis

“… To achieve this, we design a type system for implementing apluggable checker on the Java's compiler and find at compile timeinsufficient checking bugs that can lead to application crashesdue to malformed inputs…”
Get full text

Automatic security verification of mobile app configurations by Costa, Gabriele, Merlo, Alessio, Verderame, Luca, Armando, Alessandro

“… However, it also increases the security concerns, since a compromised device could disruptively access the resources of the organization…”
Get full text

Blockchain Quick Start Guide: A Beginner's Guide to Developing Enterprise-Grade Decentralized Applications by Wu, Xun (Brian), Sun, Weimin

“…Blockchain technology is giving birth to new business models, inspiring communities to build economies on a decentralized network. This book will be your…”
Get full text

Revisiting the ichthyodiversity of Java and Bali through DNA barcodes: taxonomic coverage, identification accuracy, cryptic diversity and identification of exotic species by Dahruddin, Hadi, Hutama, Aditya, Busson, Frédéric, Sauri, Sopian, Hanner, Robert, Keith, Philippe, Hadiaty, Renny, Hubert, Nicolas

“… This study provides a DNA barcode reference library for the inland fishes of Java and Bali with the aim to streamline the inventory of fishes in this part of Sundaland…”
Get full text

Ethereum Projects for Beginners: Build Blockchain-Based Cryptocurrencies, Smart Contracts, and DApps

“…Ethereum enables the development of efficient, smart contracts that contain code…”
Get full text

Performance Analysis and Comparison of Node.Js and Java Spring Boot in Implementation of Restful Applications by Shyam Mohan, J. S., Goswami, Krishanu

“… Objectives The main objective of this work is to check and compare the performance between Node.js and Java Spring Boot, in the context of implementing RESTful applications. REST…”
Get full text

An approach to analyze software security requirements in ABAC model by Luong, Thanh-Nhan, Vo, Dinh-Hieu, Truong, Ninh-Thuan

“… In this paper, we introduce an approach for checking ABAC rules from the source code of an application software against to its requirement specification…”
Get full text