Results 11 - 20 of 1,614

An Introduction to the Java

by unknown authors
"... Programming Language The primary aim of the notes are to provide an introduction to the Java programing language. ..."
Abstract - Add to MetaCart
Programming Language The primary aim of the notes are to provide an introduction to the Java programing language.

Deterministic Replay of Java Multithreaded Applications

by Jong-deok Choi, Harini Srinivasan - In Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools , 1998
"... Threads and concurrency constructs in Java introduce nondeterminism to a program's execution, which makes it hard to understand and analyze the execution behavior. Nondeterminism in execution behavior also makes it impossible to use execution replay for debugging, performance monitoring, or vis ..."
Abstract - Cited by 157 (6 self) - Add to MetaCart
also discusses how to handle the various Java synchronization operations for record and replay. DejaVu has been implemented by modifying the Sun Microsystems' Java Virtual Machine. 1 Introduction The ubiquity of the Java programming language in current software systems has made development

Introduction to Java

by unknown authors
"... This five-day, instructor-led course introduces the student to writing object-oriented programs in Java. ..."
Abstract - Add to MetaCart
This five-day, instructor-led course introduces the student to writing object-oriented programs in Java.

Jazz: An Extensible Zoomable User Interface Graphics Toolkit in Java

by Benjamin Bederson, Jon Meyer, Lance Good , 2000
"... In this paper we investigate the use of scene graphs as a general approach for implementing two-dimensional (2D) graphical applications, and in particular Zoomable User Interfaces (ZUIs). Scene graphs are typically found in three-dimensional (3D) graphics packages such as Sun's Java3D and SGI&a ..."
Abstract - Cited by 183 (39 self) - Add to MetaCart
In this paper we investigate the use of scene graphs as a general approach for implementing two-dimensional (2D) graphical applications, and in particular Zoomable User Interfaces (ZUIs). Scene graphs are typically found in three-dimensional (3D) graphics packages such as Sun's Java3D and SGI

Java and the Java Virtual Machine - Definition, Verification, Validation

by Robert Stärk, Joachim Schmid, Egon Börger , 2001
"... State Machines which one may view as code written in an abstract programming language, can be applied to other virtual machines and to other programming languages as well. The target readers are practitioners---programmers, implementors, standardizers, lecturers, students---who need for their work ..."
Abstract - Cited by 112 (14 self) - Add to MetaCart
we use for decomposing Java and the JVM, and the literature we used. For additional information on the book and updates made after its publication, see the Home Page of Jbook at http://www.inf.ethz.ch/~jbook. 1.1 The goals of the book Our main goal is not to write an introduction to progr...

Thin Locks: Featherweight Synchronization for Java

by David Bacon, Ravi Konuru, Chet Murthy, Mauricio Serrano , 1998
"... Language-supported synchronization is a source of serious performance problems in many Java programs. Even singlethreaded applications may spend up to half their time performing useless synchronization due to the thread-safe nature of the Java libraries. We solve this performance problem with a new ..."
Abstract - Cited by 135 (5 self) - Add to MetaCart
Language-supported synchronization is a source of serious performance problems in many Java programs. Even singlethreaded applications may spend up to half their time performing useless synchronization due to the thread-safe nature of the Java libraries. We solve this performance problem with a new

An Orthogonally Persistent Java

by M.P. Atkinson, L. Daynès, M.J. Jordan, T. Printezis, S. Spence , 1996
"... The language Java is enjoying a rapid rise in popularity as an application programming language. For many applications an effective provision of database facilities is required. Here we report on a particular approach to providing such facilities, called "orthogonal persistence". Persisten ..."
Abstract - Cited by 115 (8 self) - Add to MetaCart
orthogonal persistence a valuable augmentation of Java. 1 Introduction The programming language Javaä [Gosling et al. 96] is achieving considerable prominence [Arnold & Gosling 96, van der Linden 96, Flanagan 96] 3 . Its libraries and architectural neutrality encourage the use of Java for distributed

JavaML: A Markup Language for Java Source Code

by Greg J. Badros , 2000
"... The classical plain-text representation of source code is convenient for programmers but requires parsing to uncover the deep structure of the program. While sophisticated software tools parse source code to gain access to the program's structure, many lightweight programming aids such as grep ..."
Abstract - Cited by 118 (4 self) - Add to MetaCart
rely instead on only the lexical structure of source code. I describe a new XML application that provides an alternative representation of Java source code. This XML-based representation, called JavaML, is more natural for tools and permits easy specification of numerous software-engineering analyses

A Java Fork/Join Framework

by Doug Lea , 2000
"... This paper describes the design, implementation, and performance of a Java framework for supporting a style of parallel programming in which problems are solved by (recursively) splitting them into subtasks that are solved in parallel, waiting for them to complete, and then composing results. The ge ..."
Abstract - Cited by 117 (0 self) - Add to MetaCart
This paper describes the design, implementation, and performance of a Java framework for supporting a style of parallel programming in which problems are solved by (recursively) splitting them into subtasks that are solved in parallel, waiting for them to complete, and then composing results

A Programming Logic for Sequential Java

by Arnd Poetzsch-Heffter, Peter Müller - Programming Languages and Systems (ESOP ’99), volume 1576 of LNCS , 1999
"... . A Hoare-style programming logic for the sequential kernel of Java is presented. It handles recursive methods, class and interface types, subtyping, inheritance, dynamic and static binding, aliasing via object references, and encapsulation. The logic is proved sound w.r.t. an SOS semantics by e ..."
Abstract - Cited by 61 (8 self) - Add to MetaCart
by embedding both into higher-order logic. 1 Introduction Java is a practically important object-oriented programming language. This paper presents a logic to verify sequential Java programs. The motivations for investigating the logical foundations of Java are as follows: 1. Java plays an important role
Results 11 - 20 of 1,614