Top Research Papers on Java

This work introduces Jada, a coordination toolkit for Java that changes the way multiuser, distributed applications based on the WWW are designed, mostly inspired by the Linda language.

A practical presentation of JaDA is given, highlighting the main connections between the tool and the theory behind it and presenting some of the features for customising the analysis.

While the Java language has taken the world by storm, it has left the scienti c computing community out in the cold. Java lacks the capability for multi-dimensional arrays that can be implemented e ciently, and more importantly, lacks the ability to use data layouts that are compatible with the wide variety of scienti c subroutine packages available, such as the BLAS [3], ESSL [2], LAPACK [1], and so on. The problems stems from the fact that in Java, every non-scalar data item is an object, and every object must have an object header, typically two or three words long. Two-dimensional arrays a...

The paper considers the problems and the solutions that are concerned with the extension of Java with Higher Order mechanisms, including the formalization of a translation semantics which can be converted into a source-to-source translation and implemented as one-pass preprocessor.

This paper shows how implicit parallelism in Java programs can be made explicit by a restructuring compiler using the multi-threading mechanism of the language, and focuses on automatically exploiting implicit parallels in loops and multi-way recursive methods.

By the year-end of 1996, Java had moved ahead in use of both C and C++ and these application development tools-such as Delphi, Power-Builder and Visual Basic-are losing ground to Java as a result.

LAS ASERCIONES SON CLAUSULAS LOGICAS QUE SE INTEGRAN A LOS LENGUAJES DE PROGRAMACION PARA MEJORAR LA ESPECIFICACION Y LA VERIFICACION. EL LENGUAJE JAVA NO TIENE RECURSOS DE ESTE TIPO. EN ESTE ARTICULOS SE PRESENTA UNA PROPUESTA DE INTEGRACION DE ASERCIONES AL LENGUAJE JAVA. SE MEJORAN CON LA INCLUSION DE CUANTIFICADORES, LAS POSIBILIDADES DE ESTAS ASERCIONES PARA EL DISENO Y ESPECIFICACION. SE ANALIZAN LAS PREMISAS QUE DEBE SATISFACER UNA IMPLEMENTACION DE ESTA INTEGRACION Y SE MUESTRA UN ESQUEMA GENERAL DE IMPLEMENTACION ASI COMO QUE SE ANALIZAN LAS LIMITACIONES DEL PROPIO JAVA PARA LA MISMA.

This note provides a specification in the Java Modeling Language (JML) for the Java interfaces Iterator and Iterable that captures the interactions between these two interfaces.

Cet article presente un certain nombre de sites Internet utilisant le langage de programmation Java qui ne cesse de se developper, y compris une presentation des sites concernant directement Java.

This paper discussed the access to the database by using Java API and Java2 Components and two examples discussed are helpful for software designer working at distributed network application system.

The implementation and evaluation of Javia, a Java interface to the VI architecture, are presented and performance evaluations show that Javia can serve as an efficient building block for Java cluster applications.

JavaD, a re-implementation of the AliasJava language and analysis as a set of Java 1.5 annotations, using the Eclipse Java Development Tooling (JDT) infrastructure and the Crystal Data Flow Analysis framework is presented.

ABSTRACT The Suluk Gaṭoloco is a notoriously anti-Islamic satirical narrative poem, composed anonymously sometime in 19th-century Java. This article challenges Pigeaud’s hypothesis that it once belonged to the curriculum of Islamic religious schools in Panaraga. The contents of the so-called Sĕrat Suluk Panaraga, i.e. a two-volume compilation of texts on Islamic mysticism and theology, kept in the Berlin State Library (Ms. or. oct. 3999 and 4000), is discussed in some detail, showing that it contains variegated teachings. The version of the Suluk Gaṭoloco in the Berlin manuscript is close to P...

This special session will include a retrospective look at the motivation behind the change to an object-oriented language, the process undertaken to select a testable language subset, the need to continue the development and classroom implementation of a Case Study, and a look at how the shift from anobject-based approach to programming in C++ to an OO approach in Java leads to curriculum modification.

The design and implementation of J AVA SEAL are presented and the engineering compromises involved in integrating the model of mobility and protection within J AAVA are discussed.

This paper demonstrates and recommends how to perform meaningful experiments with managed languages and contrasts them with methodologies in use for C or C++ and recommends some approaches for encouraging community benchmark and infrastructure development.

This version of a popular book focuses on Java's strengths and object-oriented problem solving, and provides a solid understanding of objects and methods, concentrating on problem decomposition and program design.

The sections in this article are: World Wide Web—The Java Environment, Java Programming and Development Environments, Hot Java and Java-Enabled Browsers, Combining Java with Distributed Objects—Java and Corba.

This paper examines some of the factors governing the choice of first programming language for first year University courses in Computing, the rationale behind the University's choice of Java, and the ramifications of this choice and experience gained from a pilot trial use of Java.

The original and reference implementation Java compilers, virtual machines, and class libraries were originally released by Sun under proprietary licences.

In this paper, the Java/A programming language is introduced andjava/A integrates notions like components and connectors into Java, and provides mechanisms to verify component configurations.

It is essential to build trust in Java safety, and thence to achieve ITSEC level 6 or Common Criteria level 7 certification for Java programs, to build a coherent set of machine-readable formal models of the whole of Java and its implementation.

Objective of this study was to provide spatial information of Javan gibbon habitat suitability and distribution in Gunung (Mt.) Salak area for Management Authority of Mt. Halimun-Salak National Park. Informations on Javan gibbon distribution was collected through a number of survey during December 2005–June 2006 in Kawah Ratu (Parakan Salak, Sukabumi), Pondok Wisata Cangkuang (Cidahu, Sukabumi), and Bobojong Village (Bogor). Twenty two groups were identified using direct count and triangle count method from over 47 identified positions. Habitat suitability was formulated based on10 ecogeograph...

Fernando Morelli introduces some of Java's advanced features including GUIs, graphics and drawing, exceptions, threads, files, and sockets and discusses OO design concepts such as inheritance and information hiding early on.

１ Ｊａｖａの基礎（Ｊａｖａの紹介；はじめてのＪａｖａ２ＳＤＫ；オブジェクトの使用；データ型、修飾子、式；クラスとインタフェースのパッケージ化 ほか） ２ Ｊａｖａライブラリの詳細（標準Ｊａｖａパッケージ；アニメーションとイメージ；２Ｄグラフィックスとイメージ；ＧＵＩレイアウトの管理；Ｓｗｉｎｇ ＧＵＩコンポーネント ほか）

Performance results show that SMT JavaChip can provide an execution speedup of between 1.28 and 2.00 compared with the single threaded Java processors.

Espresso, a Java compiler developed at BU during a directed study in advanced compiler design is introduced, to provide a basis for future work.

The advantages and disadvantages of using Java and Java 3D for games programming, the low-level APIs OpenGL and DirectX are examined.

A prototype implementation of SCJ on top of the Java optimized processor is developed and presented and raises issues in the SCJ specification and provides feedback to the expert group.

A formal definition and a prototype of Java with closures are obtained, consisting of a set of source to source translation rules that state the meaning of the new construct in terms of compositions of well known ordinary Java structures.

This text guides the beginning programmer step-by-step through the process of learning Java, and eliminates extraneous details early on and stresses object concepts that will provide a basis for students to become expert programmers.

Using HLID, Java Preprocessor that improvement JNI-current implementation for integration between object-oriented language Java and procedural language C is designed and implemented.

In molten metal handling using a stopper rod to close a nozzle in the base of a ladle, the end of the rod is covered by a sleeve of 45 - 94% by weight of particulate refractory, 5 - 50% fibrous refractory and 1 - 15% of binder.

A new Java extension, named “Contract-Java”, fully compatible with existing Java code, in which DbC is fully implemented and integrated in Java, and the language has a disciplined exception mechanism, simplifying and enhancing error handling (and enabling possible fine-tuned fault tolerance), which coexists peacefully with Java’s normal exception mechanisms.

This newest edition of Cay Horstmann's bestselling guide, Java Concepts, Fifth Edition introduces you to fundamental programming techniques and design skills that are crucial to learning how to program.

With its depth and scope this book is both a carefully structured teaching text an (I a valuable reference in Java Programming.

This article continues the theme of interoperability, but with a different perspective: the Java Native Interface (JNI), which is also a very important part of the Java development infrastructure.

Vor einigen Jahren erfuhr Java in Verbindung mit OSGi einen regelrechten Hype als die Loesung fuer alle Probleme mit Komplexitaet und dynamischer Nachladbarkeit von Software. Nachdem mittlerweile die erste Begeisterung verraucht ist, ist die Zeit reif fuer eine nuechterne Betrachtung der gesammelten Erfahrungen und Fakten. Ein Ueberblick ueber die Eckdaten von Java und OSGi in Verbindung mit einigen Benchmarks und einem groben Klassifizierungsschema vermittelt einen Eindruck davon, wie Java-Infotainmentsysteme aufgebaut werden koennen und was von ihnen zu erwarten ist. (A) ABSTRACT IN ENGLISH:...

Java Applet和Java Application是Java语言编写的两种类型的程序，本文主要从案例入手说明这两种程序的异同以及怎样把Jave Applet嵌入到HTML文件中。

The library presented here is the first one that has become an official implementation of the nanopublication community and contains unofficial and experimental extensions: for publishing to a decentralized server network, for defining sets of nanopublications with indexes, for informal assertions, and for digitally signing nanopublicATIONS.

This work proposes an intermediate solution through Core- Java, an expression-oriented core calculus of Java and a comprehensive set of translation rules from Java to Core-Java, which can be guided by the specific requirements of each program analysis.

This paper summarizes Java's compiler technology, and sorts all kinds of Java compilers into five categories:Compilers with interpreter technology, compilers with JIT compilertechnology, compiler with adaptive optimization technology, native compilers and translators, and their architectures and working principles.

This work presents a new algorithm to verify a subset of the Java bytecode language, suitable to be executed in low-memory environments, such as Java smart cards, based on abstract interpretation of the language operational semantics.

This book introduces programmers to objects at a gradual pace with typical code examples rather than abstract notation and Java 7 features are included to provide programmers with the most up-to-date information.

This book was written for the first course in Computer Science and contains over 20,000 lines of Java code that are unique to this book.

Issues related to the drawing model, drawing shapes, the graphics context, drawing text, measuring text images, and loading them both synchronously are focused on.

This paper presents a quantitative analysis of the use of non-Java memory for a wide range of Java applications, including the DaCapo benchmarks and Apache DayTrader, based on the IBM J9 Java Virtual Machine for Linux.

Although raw performance lags behind an equivalent C-based system, the potential power of the Dataflow Java approach to use all machines that might be available on a network when Java JIT compiler technology matures is illustrated.

This work proposes column cache, which unifies and re-structures the buffers and caches of multiple software layers from columnar storage to operating systems and observed that the prototype reduced redundant resource utilization in Apache Spark.

Setelah ditinjau peneliti Menemukan beberapa masalah yaitu Pendataan pelanggan masih secara manual dengan adanya pembukuan, Terjadi kesulitan mengelola data barang antar jemput laundry Memugkinkan terjadinya kehilangan data karena banyak penumpukan data dan kurang efektif dalam pencarian data dikarenakan membuat waktu yang lama. Tujuan penelitian adalah Dengan dikembangkannya sistem ini dapat membantu mengatur dalam  mengolah data. Sehingga dapat mempermudah dan cepat dalam pendataan. Dalam penelitian ini peneliti menggunakan Metode Kualitatif dengan pendekatan deskriptif yaitu berupa lisan at...