Search Results - "Java program execution"

Finite‐state model extraction and visualization from Java program execution by K. P., Jevitha, Jayaraman, Swaminathan, Jayaraman, Bharat, M, Sethumadhavan

“…Finite‐state models are extensively used for discrete systems and they have also been adopted for the analysis and verification of concurrent systems. Programs…”
Get full text

Compact visualization of Java program execution by Jayaraman, S., Jayaraman, B., Lessa, D.

“…Summary The context of this work is a practical, open‐source visualization system, called JIVE, that supports two forms of runtime visualizations of Java…”
Get full text

Runtime verification on abstract finite state models by Jevitha, K.P., Jayaraman, Bharat, Sethumadhavan, M.

“…Finite-state models are ubiquitous in the study of concurrent systems, especially controllers and servers that operate in a repetitive cycle. In this paper, we…”
Get full text

Exploration of Compact Sequence Diagram Using Hyperlink by Aparna, V K

“…The objective of this work is about the activation of a hyperlink, which is in a compacted portion, that is accessed and enters a node by a single click of any…”
Get full text

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems by Shum, Chong, Lau, Wing-Hong, Mao, Tian, Chung, Henry Shu-Hung, Tse, Norman Chung-Fai, Tsang, Kim-Fung, Lai, Loi Lei

“…Simulation and performance evaluation of concurrent Java program execution have been difficult due to the lack of proper model and tools…”
Get full text

Low-cost class caching mechanism for Java SoC by Chien-Feng Hwang, Kuan-Nian Su, Chun-Jen Tsai

“… The design goal of the proposed caching mechanism is to improve the Java program execution performance without the complexity of a multi-way set associative cache…”
Get full text

Behavior models for computer programs by Zhang, Chengliang

“…Nowadays, software systems are becoming more and more complex. In many senses, a software system is very similar to a live organism. This motivates us to study…”
Get full text

Microarchitectural techniques to enable efficient Java execution by Radhakrishnan, Ramesh

“…The Java Virtual Machine (JVM) is the corner stone of Java technology, and its efficiency in executing Java bytecodes is crucial for the success of this…”
Get full text

KL Group JProbe Profiler 1.1.1 Release Provides Key Performance Enhancements by Business Editors & Computer Writers

“… At its core is a standard Java VM, licensed from JavaSoft, and instrumented by KL Group. This unique approach means that JProbe can accurately measure virtually anything to do with Java program execution from within the VM itself…”
Get full text

New Java Tool Identifies Performance Problems; Introducing KL Group's JProbe -- The Easiest Way To Eliminate Java Bottlenecks by Business Editors/Computer Writers

“…"JProbe makes it easy to thoroughly analyze a Java application's architecture and performance and thus pinpoints areas where modifications could save time or…”
Get full text

It's about energy management by Singh, Manish

“… These specialized hardware engines can accelerate dedicated functions such as Java program execution, MPEG-4 video playback, graphics and display management functions…”
Get full text

Near-Omniscient Debugging for Java Using Size-Limited Execution Trace by Shimari, Kazumasa, Ishio, Takashi, Kanda, Tetsuya, Inoue, Katsuro

“… Our tool monitors a Java program's execution and annotates source code with observed values in an HTML format…”
Get full text

Monitoring programs using rewriting by Havelund, K., Rosu, G.

“…We present a rewriting algorithm for efficiently testing future time Linear Temporal Logic (LTL) formulae on finite execution traces. The standard models of…”
Get full text

Consistency of Java run-time behavior with design-time specifications by Jayaraman, Swaminathan, Hari, Dinoop, Jayaraman, Bharat

“…We present a novel framework for formal verification of run-time behaviour of Java programs. We focus on the class of programs with a repetitive behaviour,…”
Get full text

Java: It's a good thing; Why Java isn't slow, ugly, or irrelevant by Vervaet, Erwin

“… But all of this comes at a price: the JVM consumes both processor time and memory while managing a Java program's execution…”
Get full text