Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 11 - 20
of
10,936
Understanding the Behavior of Java Programs
, 2000
"... To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are especially important for understanding the run-time behavior of objects in a distributed object systems and in systems that r ..."
Abstract
-
Cited by 42 (0 self)
- Add to MetaCart
understanding the behavior of Java programs. A case study in made to validate the usefulness of ...
The Treewidth of Java Programs
- Proceedings ALENEX’02 — 4th Workshop on Algorithm Engineering and Experiments
, 2002
"... Intuitively, the treewidth of a graph G measures how close G is to being a tree. The lower the treewidth, the faster we can solve various optimization problems on G, by dynamic programming along the tree structure. In the paper M.Thorup, All Structured Programs have Small Tree-Width and Good Reg ..."
Abstract
-
Cited by 18 (1 self)
- Add to MetaCart
, in particular for Java programs. We first show that even if Java does not have a goto, the labelled break and continue statements are in a sense equally bad, and can be used to construct Java programs that are arbitrarily hard to understand and optimize. For Java programs lacking these labelled constructs
On the Visualization of Java Programs
, 2002
"... In this paper we present a graph drawing framework that can be used to automatically draw UML class diagrams and a compiler that extracts the needed information from Java source code. Both components can be combined to a visualization tool for Java programs. ..."
Abstract
- Add to MetaCart
In this paper we present a graph drawing framework that can be used to automatically draw UML class diagrams and a compiler that extracts the needed information from Java source code. Both components can be combined to a visualization tool for Java programs.
Profiling java programs for parallelism
- In Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, IWMSE ’09
, 2009
"... One of the biggest challenges imposed by multi-core architectures is how to exploit their potential for legacy systems not built with multiple cores in mind. By analyzing dynamic data dependences of a program run, one can identify independent computation paths that could have been handled by individ ..."
Abstract
-
Cited by 11 (2 self)
- Add to MetaCart
by individual cores. Our prototype computes dynamic dependences for Java programs and recommends locations to the programmer with the highest potential for parallelization. Such measurements can also provide starting points for automatic, speculative parallelization. 1.
Verification of Java Programs with Generics
, 2008
"... Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generics that were introduced in Java 5. Generics are very important and useful when the collection framework (lists, sets, h ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generics that were introduced in Java 5. Generics are very important and useful when the collection framework (lists, sets
Transactional Execution of Java Programs
, 2005
"... Parallel programming is difficult due to the complexity of dealing with conventional lock-based synchronization. To simplify parallel programming, there have been a number of proposals to support transactions directly in hardware and eliminate locks completely. Although hardware support for transact ..."
Abstract
-
Cited by 18 (1 self)
- Add to MetaCart
for transactions has the potential to completely change the way parallel programs are written, initially transactions will be used to execute existing parallel programs. In this paper we investigate the implications of using transactions to execute existing parallel Java programs. Our results show
Modeling Java Programs for Diagnosis
- In Proceedings of the European Conference on Artificial Intelligence (ECAI
, 2000
"... . A key advantage of model-based diagnosis is the ability to use a generic model for the production of system descriptions that can be used to derive diagnoses for differently structured individual systems from a domain. This advantage is nowhere more apparent than in the software error diagnosis (o ..."
Abstract
-
Cited by 20 (11 self)
- Add to MetaCart
(or debugging) area, where given a model, system descriptions can be automatically derived from source code. However, effective models for diagnosing programs have so far been limited to special-purpose languages. We describe a value-based model for Java programs that enables us to explicitly deal
ASSESS JAVA PROGRAMS
"... Abstract: Software quality is crucial to the development of software systems. There are many defined metrics used to assess software quality. CK and LK are well-known metrics used for measuring the design of object oriented programs. In this research, a system has been developed to assess and mark J ..."
Abstract
- Add to MetaCart
Java programs based on CK and LK metrics. New algorithms are introduced and used for assessment. A weight is assigned to each software quality factor to reflect its importance. The assessment is done to each program at the class level. The system has been tested on different Java students programs
Formal Development of Java Programs
, 1997
"... The Java object-oriented programming language has been the subject of an important involvement from programmers and industry. Especially for applications related to the Web. The problem of such rapid penetration of Java programs into commercial product is that software engineers does not have any me ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
The Java object-oriented programming language has been the subject of an important involvement from programmers and industry. Especially for applications related to the Web. The problem of such rapid penetration of Java programs into commercial product is that software engineers does not have any
The Semantics of the Java Programming Language: Preliminary Version
, 1997
"... A mathematical model of the Java programming language is constructed. ..."
Abstract
-
Cited by 13 (0 self)
- Add to MetaCart
A mathematical model of the Java programming language is constructed.
Results 11 - 20
of
10,936
