Study on Java Programming Education

OpenAIRE

太田, 信宏

2009-01-01

The purpose of this study is to consider the content and key points for inclusion in a Java programming course for beginners. The Java programming language has a variety of functions and has the largest application field of all such languages, containing many themes that are appropriate for any such programming course. The multifunctional and wide-ranging functions of Java, however, may actually act as a barrier to study for beginners. The core content of a programming class for beginners sho...

Visualization program development using Java

International Nuclear Information System (INIS)

Sasaki, Akira; Suto, Keiko

2002-03-01

Method of visualization programs using Java for the PC with the graphical user interface (GUI) is discussed, and applied to the visualization and analysis of 1D and 2D data from experiments and numerical simulations. Based on an investigation of programming techniques such as drawing graphics and event driven program, example codes are provided in which GUI is implemented using the Abstract Window Toolkit (AWT). The marked advantage of Java comes from the inclusion of library routines for graphics and networking as its language specification, which enables ordinary scientific programmers to make interactive visualization a part of their simulation codes. Moreover, the Java programs are machine independent at the source level. Object oriented programming (OOP) methods used in Java programming will be useful for developing large scientific codes which includes number of modules with better maintenance ability. (author)

Designing Abstractions for JavaScript Program Analysis

DEFF Research Database (Denmark)

Andreasen, Esben Sparre

JavaScript is a widely used dynamic programming language. What started out as a client-side scripting language for browsers, is now used for large applications in many different settings. As for other dynamic languages, JavaScript makes it easy to write programs quickly without being constrained...... by the language, and programmers exploit that power to write highly dynamic programs. Automated tools for helping programmers and optimizing programs are used successfully for many programming languages. Unfortunately, the automated tools for JavaScript are not as good as for other programming languages....... The program analyses, that the automated tools are built upon, are poorly suited to deal with the highly dynamic nature of JavaScript programs. The lack of language restrictions on the programmer are detrimental to the quality of program analyses for JavaScript. The aim of this dissertation is to address...

Checking Java Programs

CERN Document Server

Darwin, Ian

2007-01-01

This Short Cut tells you about tools that will improve the quality of your Java code, using checking above and beyond what the standard tools do, including: Using javac options, JUnit and assertions Making your IDE work harder Checking your source code with PMD Checking your compiled code (.class files) with FindBugs Checking your program's run-time behavior with Java PathFinder

Declarative Programming in Java

Directory of Open Access Journals (Sweden)

Razvan DINA

2014-03-01

Full Text Available Despite the code is rarely self-explanatory, the imperative programming languages are the most commonly used in our days by the programmers all over the world and Java is definitely the lead language in popularity. This paper tries to conclude if there are any chances to use the most popular programming language of the moment in a declarative manner, even if Java itself is an intrinsic imperative language.

A Simple Application Program Interface for Saving Java Program Data on a Wiki

OpenAIRE

Yamanoue, Takashi; Oda, Kentaro; Shimozono, Koichi

2012-01-01

A simple application program interface (API) for Java programs running on a wiki is implemented experimentally. A Java program with the API can be running on a wiki, and the Java program can save its data on the wiki. The Java program consists of PukiWiki, which is a popular wiki in Japan, and a plug-in, which starts up Java programs and classes of Java. A Java applet with default access privilege cannot save its data at a local host. We have constructed an API of applets for easy and unified...

A Type Graph Model for Java Programs

NARCIS (Netherlands)

Rensink, Arend; Zambon, Eduardo

2009-01-01

In this report we present a type graph that models all executable constructs of the Java programming language. Such a model is useful for any graph-based technique that relies on a representation of Java programs as graphs. The model can be regarded as a common representation to which all Java

Writing Kurdish Alphabetics in Java Programming Language

OpenAIRE

Rebwar Mala Nabi; Sardasht M-Raouf Mahmood; Mohammed Qadir Kheder; Shadman Mahmood

2016-01-01

Nowadays, Kurdish programmers usually suffer when they need to write Kurdish letter while they program in java. More to say, all the versions of Java Development Kits have not supported Kurdish letters. Therefore, the aim of this study is to develop Java Kurdish Language Package (JKLP) for solving writing Kurdish alphabetic in Java programming language. So that Kurdish programmer and/or students they can converts the English-alphabetic to Kurdish-alphabetic. Furthermore, adding Kurdish langua...

A Type Graph Model for Java Programs

NARCIS (Netherlands)

Rensink, Arend; Zambon, Eduardo; Lee, D.; Lopes, A.; Poetzsch-Heffter, A.

2009-01-01

In this work we present a type graph that models all executable constructs of the Java programming language. Such a model is useful for any graph-based technique that relies on a representation of Java programs as graphs. The model can be regarded as a common representation to which all Java syntax

Automatic Construction of Java Programs from Functional Program Specifications

OpenAIRE

Md. Humayun Kabir

2015-01-01

This paper presents a novel approach to construct Java programs automatically from the input functional program specifications on natural numbers from the constructive proofs of the input specifications using an inductive theorem prover called Poiti'n. The construction of a Java program from the input functional program specification involves two phases. The theorem prover is used to construct a higher order functional (HOF) program from the input specification expressed as an existential the...

Pointer Analysis for JavaScript Programming Tools

DEFF Research Database (Denmark)

Feldthaus, Asger

Tools that can assist the programmer with tasks, such as, refactoring or code navigation, have proven popular for Java, C#, and other programming languages. JavaScript is a widely used programming language, and its users could likewise benefit from such tools, but the dynamic nature of the language...... is an obstacle for the development of these. Because of this, tools for JavaScript have long remained ineffective compared to those for many other programming languages. Static pointer analysis can provide a foundation for more powerful tools, although the design of this analysis is itself a complicated endeavor....... In this work, we explore techniques for performing pointer analysis of JavaScript programs, and we find novel applications of these techniques. In particular, we demonstrate how these can be used for code navigation, automatic refactoring, semi-automatic refactoring of incomplete programs, and checking of type...

HTML5 programming with JavaScript for dummies

CERN Document Server

Mueller, John Paul

2013-01-01

Web designers and programmers, add JavaScript to your HTML5 development toolkit without fear Modern websites are complex, and some of the most exciting features - things like geolocation, canvas, portability to mobile and more - require JavaScript to leverage what HTML5 can create. Don't know JavaScript? That's where HTML5 Programming with JavaScript For Dummies comes in. Rather than walking you through JavaScript as a programming language, it approaches JavaScript as a tool to help you enhance web pages. Helps web designers and programmers tap the full power of HT

Practical database programming with Java

CERN Document Server

Bai, Ying

2011-01-01

"This important resource offers a detailed description about the practical considerations and applications in database programming using Java NetBeans 6.8 with authentic examples and detailed explanations. This book provides readers with a clear picture as to how to handle the database programming issues in the Java NetBeans environment. The book is ideal for classroom and professional training material. It includes a wealth of supplemental material that is available for download including Powerpoint slides, solution manuals, and sample databases"--

Efficient Incremental Checkpointing of Java Programs

DEFF Research Database (Denmark)

Lawall, Julia Laetitia; Muller, Gilles

2000-01-01

This paper investigates the optimization of language-level checkpointing of Java programs. First, we describe how to systematically associate incremental checkpoints with Java classes. While being safe, the genericness of this solution induces substantial execution overhead. Second, to solve...

Molecule-oriented programming in Java

NARCIS (Netherlands)

Bergstra, J.A.

2002-01-01

Molecule-oriented programming is introduced as a programming style carrying some perspective for Java. A sequence of examples is provided. Supporting the development of the molecule-oriented programming style several matters are introduced and developed: profile classes allowing the representation

Object-oriented Programming Laws for Annotated Java Programs

Directory of Open Access Journals (Sweden)

Gabriel Falconieri Freitas

2010-03-01

Full Text Available Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL. The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML. The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings.

Parallel programming with Easy Java Simulations

Science.gov (United States)

Esquembre, F.; Christian, W.; Belloni, M.

2018-01-01

Nearly all of today's processors are multicore, and ideally programming and algorithm development utilizing the entire processor should be introduced early in the computational physics curriculum. Parallel programming is often not introduced because it requires a new programming environment and uses constructs that are unfamiliar to many teachers. We describe how we decrease the barrier to parallel programming by using a java-based programming environment to treat problems in the usual undergraduate curriculum. We use the easy java simulations programming and authoring tool to create the program's graphical user interface together with objects based on those developed by Kaminsky [Building Parallel Programs (Course Technology, Boston, 2010)] to handle common parallel programming tasks. Shared-memory parallel implementations of physics problems, such as time evolution of the Schrödinger equation, are available as source code and as ready-to-run programs from the AAPT-ComPADRE digital library.

Dynamic Learning Objects to Teach Java Programming Language

Science.gov (United States)

Narasimhamurthy, Uma; Al Shawkani, Khuloud

2010-01-01

This article describes a model for teaching Java Programming Language through Dynamic Learning Objects. The design of the learning objects was based on effective learning design principles to help students learn the complex topic of Java Programming. Visualization was also used to facilitate the learning of the concepts. (Contains 1 figure and 2…

Beginning Java programming the object-oriented approach

CERN Document Server

Baesens, Bart; vanden Broucke, Seppe

2015-01-01

A comprehensive Java guide, with samples, exercises, case studies, and step-by-step instruction Beginning Java Programming: The Object Oriented Approach is a straightforward resource for getting started with one of the world's most enduringly popular programming languages. Based on classes taught by the authors, the book starts with the basics and gradually builds into more advanced concepts. The approach utilizes an integrated development environment that allows readers to immediately apply what they learn, and includes step-by-step instruction with plenty of sample programs. Each chapter c

Infrastructure for Rapid Development of Java GUI Programs

Science.gov (United States)

Jones, Jeremy; Hostetter, Carl F.; Wheeler, Philip

2006-01-01

The Java Application Shell (JAS) is a software framework that accelerates the development of Java graphical-user-interface (GUI) application programs by enabling the reuse of common, proven GUI elements, as distinguished from writing custom code for GUI elements. JAS is a software infrastructure upon which Java interactive application programs and graphical user interfaces (GUIs) for those programs can be built as sets of plug-ins. JAS provides an application- programming interface that is extensible by application-specific plugins that describe and encapsulate both specifications of a GUI and application-specific functionality tied to the specified GUI elements. The desired GUI elements are specified in Extensible Markup Language (XML) descriptions instead of in compiled code. JAS reads and interprets these descriptions, then creates and configures a corresponding GUI from a standard set of generic, reusable GUI elements. These elements are then attached (again, according to the XML descriptions) to application-specific compiled code and scripts. An application program constructed by use of JAS as its core can be extended by writing new plug-ins and replacing existing plug-ins. Thus, JAS solves many problems that Java programmers generally solve anew for each project, thereby reducing development and testing time.

JavaD: Bringing Ownership Domains to Mainstream Java

National Research Council Canada - National Science Library

Abi-Antoun, Marwan; Aldrich, Jonathan

2006-01-01

.... As a result, none of the tool support for Java programs is available for AliasJava programs, making it harder to justify the case that Java programs are easier to evolve with Alias-Java annotations than without...

Java programming fundamentals problem solving through object oriented analysis and design

CERN Document Server

Nair, Premchand S

2008-01-01

While Java texts are plentiful, it's difficult to find one that takes a real-world approach, and encourages novice programmers to build on their Java skills through practical exercise. Written by an expert with 19 experience teaching computer programming, Java Programming Fundamentals presents object-oriented programming by employing examples taken from everyday life. Provides a foundation in object-oriented design principles and UML notation Describes common pitfalls and good programming practicesFurnishes supplemental links, documents, and programs on its companion website, www.premnair.netU

Visualization of object-oriented (Java) programs

NARCIS (Netherlands)

Huizing, C.; Kuiper, R.; Luijten, C.A.A.M.; Vandalon, V.; Helfert, M.; Martins, M.J.; Cordeiro, J.

2012-01-01

We provide an explicit, consistent, execution model for OO programs, specifically Java, together with a tool that visualizes the model This equips the student with a model to think and communicate about OO programs. Especially for an e-learning situation this is significant. Firstly, such a model

Context-Based Synchronization of Concurrent Process Using Aspect ...

African Journals Online (AJOL)

... will not cause any race condition if all other threads are accessing from the same context. The result of our experiment shows that context-based synchronization performs better than Java given the same number of threads. Keywords: Aspect-oriented programming, synchronization, resource, and concurrent process.

Scientific Programming Using Java: A Remote Sensing Example

Science.gov (United States)

Prados, Don; Mohamed, Mohamed A.; Johnson, Michael; Cao, Changyong; Gasser, Jerry

1999-01-01

This paper presents results of a project to port remote sensing code from the C programming language to Java. The advantages and disadvantages of using Java versus C as a scientific programming language in remote sensing applications are discussed. Remote sensing applications deal with voluminous data that require effective memory management, such as buffering operations, when processed. Some of these applications also implement complex computational algorithms, such as Fast Fourier Transformation analysis, that are very performance intensive. Factors considered include performance, precision, complexity, rapidity of development, ease of code reuse, ease of maintenance, memory management, and platform independence. Performance of radiometric calibration code written in Java for the graphical user interface and of using C for the domain model are also presented.

The CERN PS/SL Controls Java Application Programming Interface

International Nuclear Information System (INIS)

I. Deloose; J. Cuperus; P. Charrue; F. DiMaio; K. Kostro; M. Vanden Eynden; W. Watson

1999-01-01

The PS/SL Convergence Project was launched in March 1998. Its objective is to deliver a common control as infrastructure for the CERN accelerators by year 2001. In the framework of this convergence activity, a project was launched to develop a Java Application Programming Interface (API) between programs written in the Java language and the PS and SL accelerator equipment. This Java API was specified and developed in collaboration with TJNAF. It is based on the Java CDEV [1] package that has been extended in order to end up with a CERN/TJNAF common product. It implements a detailed model composed of devices organized in named classes that provide a property-based interface. It supports data subscription and introspection facilities. The device model is presented and the capabilities of the API are described with syntax examples. The software architecture is also described

A programming and a modelling perspective on the evaluation of Java Card implementations

OpenAIRE

Hartel, Pieter H.; de Jong, E.; de Jong, Eduard; Attali, Isabelle; Jensen, Thomas

2000-01-01

Java Card Technology has provided a huge step forward in programming smart cards: from assembler to using a high level Object Oriented language. However, the authors have found some differences between the current Java Card version (2.1) and main stream Java that may restrict the benefits of using Java achievable in smartcard programming. In particular, efforts towards evaluating Java Card implementations at a high level of assurance may be hampered by the presence of these differences as wel...

Temporal Concurrent Constraint Programming

DEFF Research Database (Denmark)

Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank Dan

2002-01-01

The ntcc calculus is a model of non-deterministic temporal concurrent constraint programming. In this paper we study behavioral notions for this calculus. In the underlying computational model, concurrent constraint processes are executed in discrete time intervals. The behavioral notions studied...

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

Directory of Open Access Journals (Sweden)

Alvaro Miyazawa

2016-06-01

Full Text Available Safety-Critical Java (SCJ is a version of Java whose goal is to support the development of real-time, embedded, safety-critical software. In particular, SCJ supports certification of such software by introducing abstractions that enforce a simpler architecture, and simpler concurrency and memory models. In this paper, we present SCJ-Circus, a refinement-oriented formal notation that supports the specification and verification of low-level programming models that include the new abstractions introduced by SCJ. SCJ-Circus is part of the family of state-rich process algebra Circus, as such, SCJ-Circus includes the Circus constructs for modelling sequential and concurrent behaviour, real-time and object orientation. We present here the syntax and semantics of SCJ-Circus, which is defined by mapping SCJ-Circus constructs to those of standard Circus. This is based on an existing approach for modelling SCJ programs. We also extend an existing Circus-based refinement strategy that targets SCJ programs to account for the generation of SCJ-Circus models close to implementations in SCJ.

Worst-Case Execution Time Based Optimization of Real-Time Java Programs

DEFF Research Database (Denmark)

Hepp, Stefan; Schoeberl, Martin

2012-01-01

optimization is method in lining. It is especially important for languages, like Java, where small setter and getter methods are considered good programming style. In this paper we present and explore WCET driven in lining of Java methods. We use the WCET analysis tool for the Java processor JOP to guide...

A Java Bytecode Metamodel for Composable Program Analyses

NARCIS (Netherlands)

Yildiz, Bugra Mehmet; Bockisch, Christoph; Rensink, Arend; Aksit, Mehmet; Seidl, Martina; Zschaler, Steffen

Program analyses are an important tool to check if a system fulfills its specification. A typical implementation strategy for program analyses is to use an imperative, general-purpose language like Java; and access the program to be analyzed through libraries for manipulating intermediate code, such

Multi-Language Programming Environments for High Performance Java Computing

Directory of Open Access Journals (Sweden)

Vladimir Getov

1999-01-01

Full Text Available Recent developments in processor capabilities, software tools, programming languages and programming paradigms have brought about new approaches to high performance computing. A steadfast component of this dynamic evolution has been the scientific community’s reliance on established scientific packages. As a consequence, programmers of high‐performance applications are reluctant to embrace evolving languages such as Java. This paper describes the Java‐to‐C Interface (JCI tool which provides application programmers wishing to use Java with immediate accessibility to existing scientific packages. The JCI tool also facilitates rapid development and reuse of existing code. These benefits are provided at minimal cost to the programmer. While beneficial to the programmer, the additional advantages of mixed‐language programming in terms of application performance and portability are addressed in detail within the context of this paper. In addition, we discuss how the JCI tool is complementing other ongoing projects such as IBM’s High‐Performance Compiler for Java (HPCJ and IceT’s metacomputing environment.

Temporal Concurrent Constraint Programming

DEFF Research Database (Denmark)

Nielsen, Mogens; Valencia Posso, Frank Dan

2002-01-01

The ntcc calculus is a model of non-deterministic temporal concurrent constraint programming. In this paper we study behavioral notions for this calculus. In the underlying computational model, concurrent constraint processes are executed in discrete time intervals. The behavioral notions studied...... reflect the reactive interactions between concurrent constraint processes and their environment, as well as internal interactions between individual processes. Relationships between the suggested notions are studied, and they are all proved to be decidable for a substantial fragment of the calculus...

Study on Design and Implementation of JAVA Programming Procedural Assessment Standard

Science.gov (United States)

Tingting, Xu; Hua, Ma; Xiujuan, Wang; Jing, Wang

2015-01-01

The traditional JAVA course examination is just a list of questions from which we cannot know students' skills of programming. According to the eight abilities in curriculum objectives, we designed an assessment standard of JAVA programming course that is based on employment orientation and apply it to practical teaching to check the teaching…

Remodularizing Java programs for comprehension of features

DEFF Research Database (Denmark)

Olszak, Andrzej; Jørgensen, Bo Nørregaard

2009-01-01

. In absence of these mechanisms, feature implementations tend to be scattered and tangled in terms of object-oriented abstractions, making the code implementing features difficult to locate and comprehend. In this paper we present a semi-automatic method for feature-oriented remodularization of Java programs....... Our method uses execution traces to locate implementations of features, and Java packages to establish explicit feature modules. To evaluate usefulness of the approach, we present a case study where we apply our method to two real-world software systems. The obtained results indicate a significant...

From Safety Critical Java Programs to Timed Process Models

DEFF Research Database (Denmark)

Thomsen, Bent; Luckow, Kasper Søe; Thomsen, Lone Leth

2015-01-01

frameworks, we have in recent years pursued an agenda of translating hard-real-time embedded safety critical programs written in the Safety Critical Java Profile [33] into networks of timed automata [4] and subjecting those to automated analysis using the UPPAAL model checker [10]. Several tools have been...... built and the tools have been used to analyse a number of systems for properties such as worst case execution time, schedulability and energy optimization [12–14,19,34,36,38]. In this paper we will elaborate on the theoretical underpinning of the translation from Java programs to timed automata models...... and briefly summarize some of the results based on this translation. Furthermore, we discuss future work, especially relations to the work in [16,24] as Java recently has adopted first class higher order functions in the form of lambda abstractions....

A Temporal Concurrent Constraint Programming Calculus

DEFF Research Database (Denmark)

Palamidessi, Catuscia; Valencia Posso, Frank Darwin

2001-01-01

The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to tcc the capability of modeling asynchronous and non-deterministic timed behavior. We call this tcc extension the ntcc calculus...

Safety Critical Java for Robotics Programming

DEFF Research Database (Denmark)

Thomsen, Bent; Luckow, Kasper Søe; Bøgholm, Thomas

2015-01-01

This paper introduces Safety Critical Java (SCJ) and argues its readiness for robotics programming. We give an overview of the work done at Aalborg University and elsewhere on SCJl, some of its implementations in the form of the JOP, FijiVM and HVM and some of the tools, especially WCA, Teta...

Adding Wildcards to the Java Programming Language

DEFF Research Database (Denmark)

Torgersen, Mads; Hansen, Christian Plesner; Ernst, Erik

2004-01-01

, by using ‘?’ to denote unspecified type arguments. Thus they essentially unify the distinct families of classes that parametric polymorphism introduces. Wildcards are implemented as part of the addition of generics to the JavaTM programming language, and is thus deployed world-wide as part...... of the reference implementation of the Java compiler javac available from Sun Microsystems, Inc. By providing a richer type system, wildcards allow for an improved type inference scheme for polymorphic method calls. Moreover, by means of a novel notion of wildcard capture, polymorphic methods can be used to give...... symbolic names to unspecified types, in a manner similar to the “open� construct known from existential types. Wildcards show up in numerous places in the Java Platform APIs of the newest release, and some of the examples in this paper are taken from these APIs....

How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations

Science.gov (United States)

Aananthakrishnan, Sriram; Delisi, Michael; Vakkalanka, Sarvani; Vo, Anh; Gopalakrishnan, Ganesh; Kirby, Robert M.; Thakur, Rajeev

With the exploding scale of concurrency, presenting valuable pieces of information collected by formal verification tools intuitively and graphically can greatly enhance concurrent system debugging. Traditional MPI program debuggers present trace views of MPI program executions. Such views are redundant, often containing equivalent traces that permute independent MPI calls. In our ISP formal dynamic verifier for MPI programs, we present a collection of alternate views made possible by the use of formal dynamic verification. Some of ISP’s views help pinpoint errors, some facilitate discerning errors by eliminating redundancy, while others help understand the program better by displaying concurrent even orderings that must be respected by all MPI implementations, in the form of completes-before graphs. In this paper, we describe ISP’s graphical user interface (GUI) capabilities in all these areas which are currently supported by a portable Java based GUI, a Microsoft Visual Studio GUI, and an Eclipse based GUI whose development is in progress.

Reasoning about Java programs in higher order logic using PVS and Isabelle

NARCIS (Netherlands)

Huisman, Marieke

2001-01-01

This thesis describes the first steps of a project aimed at formal verification of Java programs. The work presented here is part of a larger project called LOOP, for Logic of Object Oriented Programming. A semantics for Java is described in type theory and it is shown how this semantics forms the

Some measurements of Java-to-bytecode compiler performance in the Java Virtual Machine

OpenAIRE

Daly, Charles; Horgan, Jane; Power, James; Waldron, John

2001-01-01

In this paper we present a platform independent analysis of the dynamic profiles of Java programs when executing on the Java Virtual Machine. The Java programs selected are taken from the Java Grande Forum benchmark suite, and five different Java-to-bytecode compilers are analysed. The results presented describe the dynamic instruction usage frequencies.

Erlang Programming A Concurrent Approach to Software Development

CERN Document Server

Cesarini, Francesco

2009-01-01

This book offers you an in-depth explanation of Erlang, a programming language ideal for any situation where concurrency, fault-tolerance, and fast response is essential. You'll learn how to write complex concurrent programs in this language, regardless of your programming background or experience. Erlang Programming focuses on the language's syntax and semantics, and explains pattern matching, proper lists, recursion, debugging, networking, and concurrency, with exercises at the end of each chapter.

A programming and a modelling perspective on the evaluation of Java Card implementations

NARCIS (Netherlands)

Hartel, Pieter H.; de Jong, E.; de Jong, Eduard; Attali, Isabelle; Jensen, Thomas

Java Card Technology has provided a huge step forward in programming smart cards: from assembler to using a high level Object Oriented language. However, the authors have found some differences between the current Java Card version (2.1) and main stream Java that may restrict the benefits of using

An investigation of factors related to self-efficacy for Java programming among computer science education students

Directory of Open Access Journals (Sweden)

Desmond Wesley Govender

2015-11-01

Full Text Available Students usually perceived computer programming courses as one of the most difficult courses since learning to program is perceived as a difficult task. Quite often students’ negative perceptions on computer programming results in poor results and high drop-out rates. The purpose of this study is to examine the impact of factors that affect computer science education students’ Java programming self-efficacy and the relationship between Java programming self-efficacy and students’ age and gender. A questionnaire was used to gather data. A scale with thirty-two items assessing Java programming self-efficacy was adapted from Askar and Davenport’s (2009 computer programming self-efficacy scale. A total of twenty students from a Computer Science Education Discipline participated in this study. Collected data were analysed using SPSS version 22.0. Descriptive statistics, reliability test, mean, standard deviation, and rotated component matrix were utilized to analyze the resulting data. Results indicated that there is not much difference between males (45% and females (55% Java programming self-efficacy. Furthermore, the results also indicated that programming skills and Java constructs have higher influence on the self-efficacy for Java programming among computer science education students followed by non-complexity, time consciousness, ability to recode for better understanding and self-motivation.

Java for dummies

CERN Document Server

Burd

2014-01-01

The top-selling beginning Java book is now fully updated! As an unstoppably platform-independent, object-oriented programming language, Java is used for developing web and mobile applications. In this up-to-date bestselling book, veteran author Barry Burd shows you how to create basic Java objects and clearly explains when you should simply reuse existing code. Explores how the new version of Java offers more robust functionality and new features such as closures to keep Java competitive with more syntax-friendly languages like Python and Ruby Covers object-oriented programming basics with Ja

Learning Java

CERN Document Server

Niemeyer, Patrick

2005-01-01

Version 5.0 of the Java 2 Standard Edition SDK is the most important upgrade since Java first appeared a decade ago. With Java 5.0, you'll not only find substantial changes in the platform, but to the language itself-something that developers of Java took five years to complete. The main goal of Java 5.0 is to make it easier for you to develop safe, powerful code, but none of these improvements makes Java any easier to learn, even if you've programmed with Java for years. And that means our bestselling hands-on tutorial takes on even greater significance. Learning Java is the most widely sou

The Caltech Concurrent Computation Program - Project description

Science.gov (United States)

Fox, G.; Otto, S.; Lyzenga, G.; Rogstad, D.

1985-01-01

The Caltech Concurrent Computation Program wwhich studies basic issues in computational science is described. The research builds on initial work where novel concurrent hardware, the necessary systems software to use it and twenty significant scientific implementations running on the initial 32, 64, and 128 node hypercube machines have been constructed. A major goal of the program will be to extend this work into new disciplines and more complex algorithms including general packages that decompose arbitrary problems in major application areas. New high-performance concurrent processors with up to 1024-nodes, over a gigabyte of memory and multigigaflop performance are being constructed. The implementations cover a wide range of problems in areas such as high energy and astrophysics, condensed matter, chemical reactions, plasma physics, applied mathematics, geophysics, simulation, CAD for VLSI, graphics and image processing. The products of the research program include the concurrent algorithms, hardware, systems software, and complete program implementations.

An Investigation of Factors Related to Self-Efficacy for Java Programming among Engineering Students

Science.gov (United States)

Askar, Petek; Davenport, David

2009-01-01

The purpose of this study was to examine the factors related to self-efficacy for Java programming among first year engineering students. An instrument assessing Java programming self-efficacy was developed from the computer programming self-efficacy scale of Ramalingam & Wiedenbeck. The instrument was administered at the beginning of the…

RAY TRACING IMPLEMENTATION IN JAVA PROGRAMMING LANGUAGE

OpenAIRE

Aybars UĞUR; Mustafa TÜRKSEVER

2002-01-01

In this paper realism in computer graphics and components providing realism are discussed at first. It is mentioned about illumination models, surface rendering methods and light sources for this aim. After that, ray tracing which is a technique for creating two dimensional image of a three-dimensional virtual environment is explained briefly. A simple ray tracing algorithm was given. "SahneIzle" which is a ray tracing program implemented in Java programming language which ...

JavaScript programming pushing the limits

CERN Document Server

Raasch, Jon

2013-01-01

Take your JavaScript knowledge as far as it can go JavaScript has grown up, and it's a hot topic. Newer and faster JavaScript VMs and frameworks built upon them have increased the popularity of JavaScript for server-side web applications, and rich JS applications are being developed for mobile devices. This book delivers a compelling tutorial, showing you how to build a real-world app from the ground up. Experienced developers who want to master the latest techniques and redefine their skills will find this deep dive into JavaScript's hidden functionalities gives them the tools to

Functional-light JavaScript balanced, pragmatic FP in JavaScript

CERN Document Server

Simpson, Kyle

2017-01-01

Functional-Light JavaScript is a balanced, pragmatic exploration of Functional Programming in JavaScript. Functional Programming (FP) is an incredibly powerful paradigm for structuring code that yields more robust, verifiable, and readable programs. If you've ever tried to learn FP but struggled with terms like "monad", mathematical concepts like category theory, or symbols like (lambda), you're not alone. Functional-Light programming distills the most vital aspects of FP—function purity, value immutability, composition, and more!—down to approachable JavaScript patterns. Rather than the all-or-nothing dogmatism often encountered in FP, this book teaches you how to improve your programs line by line.

Programming Scala Scalability = Functional Programming + Objects

CERN Document Server

Wampler, Dean

2009-01-01

Learn how to be more productive with Scala, a new multi-paradigm language for the Java Virtual Machine (JVM) that integrates features of both object-oriented and functional programming. With this book, you'll discover why Scala is ideal for highly scalable, component-based applications that support concurrency and distribution. Programming Scala clearly explains the advantages of Scala as a JVM language. You'll learn how to leverage the wealth of Java class libraries to meet the practical needs of enterprise and Internet projects more easily. Packed with code examples, this book provides us

An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs

OpenAIRE

Xin Rui; Qi Zhengwei; Huang Shiqiu; Xiang Chengcheng; Zheng Yudi; Wang Yin; Guan Haibing

2013-01-01

Nowadays concurrent programs are becoming more and more important with the development of hardware and network technologies. However it is not easy for programmers to write reliable concurrent programs. Concurrency characteristics such as thread interleaving make it difficult to debug or maintain concurrent programs. Although there are lots of research work on concurrency such as multi thread testing tools concurrent program verification and data race detection all of them leave open problems...

An Assertional Proof System for Multithreaded Java - Theory and Tool Support

NARCIS (Netherlands)

Abraham, E.

2005-01-01

Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread classes, allowing for a multithreaded flow of control. The concurrency model includes shared-variable concurrency via instance variables, coordination via reentrant synchronization monitors,

The Delft-Java Engine

NARCIS (Netherlands)

Glossner III, C.J.

2001-01-01

In this dissertation, we describe the DELFT-JAVA engine - a 32-bit RISC-based architecture that provides high performance JAVA program execution. More specifically we describe a microarchitecture that accelerates JAVA execution and provide details of the DELFT-JAVA architecture for executing JAVA

Java 8 recipes

CERN Document Server

Dea, Carl; Guime, Freddy; OConner, John; Juneau, Josh

2014-01-01

Java 8 Recipes offers solutions to common programming problems encountered while developing Java-based applications. Fully updated with the newest features and techniques available, Java 8 Recipes provides code examples involving Lambdas, embedded scripting with Nashorn, the new date-time API, stream support, functional interfaces, and much more. Especial emphasis is given to features such as lambdas that are newly introduced in Java 8. Content is presented in the popular problem-solution format: Look up the programming problem that you want to solve. Read the solution. Apply the solution dir

Java Series: Java Essentials I. what is Java. Basic Language Constructs

CERN Multimedia

CERN. Geneva

2000-01-01

The tutorial will firstly give a very first general introduction of what is the JAVA programming language and an overview of what the Java Development environment consists of. It will briefly explain its relation to the Internet, Web browsers and Operating Systems and show how to access Java at CERN. Then, the tutorial will be centred on explaining the basic language constructs to create classes, instances, and implement inheritance, destroy objects, etc. It will show the usage of interfaces. The tutorial is open to everyone. Attendants are required to have a basic intuition on what Object Orientation is, or to have followed the previous tutorial on the Java Serires. Organiser(s): M.Marquina and R.Ramos /IT-User Support

Measuring the Effects of Virtual Pair Programming in an Introductory Programming Java Course

Science.gov (United States)

Zacharis, N. Z.

2011-01-01

This study investigated the effectiveness of virtual pair programming (VPP) on student performance and satisfaction in an introductory Java course. Students used online tools that integrated desktop sharing and real-time communication, and the metrics examined showed that VPP is an acceptable alternative to individual programming experience.…

An Implementation of the Object-Oriented Concurrent Programming Language SINA

NARCIS (Netherlands)

Triphathi, Anand; Berge, Eric; Aksit, Mehmet

SINA is an object-oriented language for distributed and concurrent programming. The primary focus of this paper is on the object-oriented concurrent programming mechanisms of SINA and their implementation. This paper presents the SINA constructs for concurrent programming and inter-object

Improving the interactivity and functionality of Web-based radiology teaching files with the Java programming language.

Science.gov (United States)

Eng, J

1997-01-01

Java is a programming language that runs on a "virtual machine" built into World Wide Web (WWW)-browsing programs on multiple hardware platforms. Web pages were developed with Java to enable Web-browsing programs to overlay transparent graphics and text on displayed images so that the user could control the display of labels and annotations on the images, a key feature not available with standard Web pages. This feature was extended to include the presentation of normal radiologic anatomy. Java programming was also used to make Web browsers compatible with the Digital Imaging and Communications in Medicine (DICOM) file format. By enhancing the functionality of Web pages, Java technology should provide greater incentive for using a Web-based approach in the development of radiology teaching material.

Teaching Introductory Programming to IS Students: Java Problems and Pitfalls

Science.gov (United States)

Pendergast, Mark O.

2006-01-01

This paper examines the impact the use of the Java programming language has had on the way our students learn to program and the success they achieve. The importance of a properly constructed first course in programming cannot be overstated. A course well experienced will leave students with good programming habits, the ability to learn on their…

Java for dummies

CERN Document Server

Burd, Barry

2011-01-01

The top-selling beginning Java book is now fully updated for Java 7! Java is the platform-independent, object-oriented programming language used for developing web and mobile applications. The revised version offers new functionality and features that have programmers excited, and this popular guide covers them all. This book helps programmers create basic Java objects and learn when they can reuse existing code. It's just what inexperienced Java developers need to get going quickly with Java 2 Standard Edition 7.0 (J2SE 7.0) and Java Development Kit 7.0 (JDK 7). Explores how the new version o

Adding Wildcards to the Java Programming Language

DEFF Research Database (Denmark)

Torgersen, Mads; Hansen, Christian Plesner; Ernst, Erik

2004-01-01

, by using '?' to denote unspecified type arguments. Thus they essentially unify the distinct families of classes often introduced by parametric polymorphism. Wildcards are implemented as part of the upcoming addition of generics to the Java™ programming language, and will thus be deployed world-wide as part...... of the reference implementation of the Java compiler javac available from Sun Microsystems, Inc. By providing a richer type system, wildcards allow for an improved type inference scheme for polymorphic method calls. Moreover, by means of a novel notion of wildcard capture, polymorphic methods can be used to give...... symbolic names to unspecified types, in a manner similar to the "open" construct known from existential types. Wildcards show up in numerous places in the Java Platform APIs of the upcoming release, and some of the examples in this paper are taken from these APIs....

Notes on Timed Concurrent Constraint Programming

DEFF Research Database (Denmark)

Nielsen, Mogens; Valencia, Frank D.

2004-01-01

and program reactive systems. This note provides a comprehensive introduction to the background for and central notions from the theory of tccp. Furthermore, it surveys recent results on a particular tccp calculus, ntcc, and it provides a classification of the expressive power of various tccp languages.......A constraint is a piece of (partial) information on the values of the variables of a system. Concurrent constraint programming (ccp) is a model of concurrency in which agents (also called processes) interact by telling and asking information (constraints) to and from a shared store (a constraint...

BPEL and Java cookbook

CERN Document Server

Laznik, Jurij

2013-01-01

The book is written in a Cookbook format with practical recipes aimed at helping you extend BPEL capabilities with Java.This book is aimed at Java developers who use BPEL programming to develop web services in SOA development. It is assumed that the readers are experienced with Java programming and SOA, but knowledge of BPEL is not necessarily required.

Programming Language Pragmatics

CERN Document Server

Scott, Michael L

2005-01-01

Thoroughly updated to reflect the most current developments in language design and implementation, the second edition*Addresses key developments in programming language design:+ Finalized C99 standard+ Java 5+ C# 2.0+ Java concurrency package (JSR 166) and comparable mechanisms in C#+ Java and C# generics*Introduces and discusses scripting languages throughout the book and in an entire new chapter that covers:+ Application domains: shell languages, text processing and report generation, mathematics and statistics, "glue" languages and general purpose scripting, extension languages, scripting t

A Directory Service for the CERN PS/SL Java Programming Interface

International Nuclear Information System (INIS)

Cuperus, J.; Charrue, P.; DiMaio, F.; Kostro, K.; Watson, W.

1999-01-01

The CERN PS and SL accelerator control groups developed a common application programming interface (API) in Java [1]. Part of this API is a directory service that provide information about the underlying hardware and software. With this information, it is possible to write generic programs that do general actions on lists of devices without hard coding of device names. And, starting from a device name, full details about related devices, the device itself and its class and properties, can be obtained, including the meaning of bits and bit-patterns in status words. The interface definition is independent of any implementation but a reference implementation is provided using Java Database Connectivity (JDBC) against a set of tables in a relational database. Data from very different systems can be brought together and presented in a uniform way to the user. The full potential of the directory service is reached when it is used in software components (Java Beans)

Big Java late objects

CERN Document Server

Horstmann, Cay S

2012-01-01

Big Java: Late Objects is a comprehensive introduction to Java and computer programming, which focuses on the principles of programming, software engineering, and effective learning. It is designed for a two-semester first course in programming for computer science students.

How Do Developers Use APIs? A Case Study in Concurrency

DEFF Research Database (Denmark)

Blom, Stefan; Kiniry, Joseph; Huisman, Marieke

2013-01-01

and functionalities of the Java concurrency library java. util. concurrent. It discusses the Histogram tool that we developed for this purpose, i.e., to efficiently analyse a large collection of bytecode classes. The Histogram tool is used on a representative benchmark set, the Qualitas Corpus. The paper discusses...... the results of the analysis of this benchmark set in detail. This covers both an analysis of the important classes and methods used by the current releases of the benchmark collection, as well as an analysis of the time it took for the Java concurrency library to start being used in released software....... of static analysis and verification tools this information is highly important, because it indicates where and how to put the most efficient effort in annotating APIs, to make them usable for the static analysis and verification tools. This paper presents an analysis of the usage of the routines...

Remodularizing Java Programs for Improved Locality of Feature Implementations in Source Code

DEFF Research Database (Denmark)

Olszak, Andrzej; Jørgensen, Bo Nørregaard

2011-01-01

Explicit traceability between features and source code is known to help programmers to understand and modify programs during maintenance tasks. However, the complex relations between features and their implementations are not evident from the source code of object-oriented Java programs....... Consequently, the implementations of individual features are difficult to locate, comprehend, and modify in isolation. In this paper, we present a novel remodularization approach that improves the representation of features in the source code of Java programs. Both forward- and reverse restructurings...... are supported through on-demand bidirectional restructuring between feature-oriented and object-oriented decompositions. The approach includes a feature location phase based of tracing program execution, a feature representation phase that reallocates classes into a new package structure based on single...

RAY TRACING IMPLEMENTATION IN JAVA PROGRAMMING LANGUAGE

Directory of Open Access Journals (Sweden)

Aybars UĞUR

2002-01-01

Full Text Available In this paper realism in computer graphics and components providing realism are discussed at first. It is mentioned about illumination models, surface rendering methods and light sources for this aim. After that, ray tracing which is a technique for creating two dimensional image of a three-dimensional virtual environment is explained briefly. A simple ray tracing algorithm was given. "SahneIzle" which is a ray tracing program implemented in Java programming language which can be used on the internet is introduced. As a result, importance of network-centric ray tracing software is discussed.

Effects of a Case-Based Reasoning System on Student Performance in a Java Programming Course

Science.gov (United States)

Schmidt, Cecil

2007-01-01

The purpose of this study was to determine if a case-based reasoning tool would improve a student's understanding of the complex concepts in a Java programming course. Subjects for the study were randomly assigned from two sections of an introductory Java programming course. Posttests were used to measure the effects of the case-based reasoning…

Using Runtime Analysis to Guide Model Checking of Java Programs

Science.gov (United States)

Havelund, Klaus; Norvig, Peter (Technical Monitor)

2001-01-01

This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java programs. Runtime analysis is based on the idea of executing the program once. and observing the generated run to extract various kinds of information. This information can then be used to predict whether other different runs may violate some properties of interest, in addition of course to demonstrate whether the generated run itself violates such properties. These runtime analyses can be performed stand-alone to generate a set of warnings. It is furthermore demonstrated how these warnings can be used to guide a model checker, thereby reducing the search space. The described techniques have been implemented in the b e grown Java model checker called PathFinder.

Schedulability Analysis for Java Finalizers

DEFF Research Database (Denmark)

Bøgholm, Thomas; Hansen, Rene Rydhof; Søndergaard, Hans

2010-01-01

Java finalizers perform clean-up and finalisation of objects at garbage collection time. In real-time Java profiles the use of finalizers is either discouraged (RTSJ, Ravenscar Java) or even disallowed (JSR-302), mainly because of the unpredictability of finalizers and in particular their impact...... on the schedulability analysis. In this paper we show that a controlled scoped memory model results in a structured and predictable execution of finalizers, more reminiscent of C++ destructors than Java finalizers. Furthermore, we incorporate finalizers into a (conservative) schedulability analysis for Predictable Java...... programs. Finally, we extend the SARTS tool for automated schedulability analysis of Java bytecode programs to handle finalizers in a fully automated way....

Multi-Language Programming Environments for High Performance Java Computing

OpenAIRE

Vladimir Getov; Paul Gray; Sava Mintchev; Vaidy Sunderam

1999-01-01

Recent developments in processor capabilities, software tools, programming languages and programming paradigms have brought about new approaches to high performance computing. A steadfast component of this dynamic evolution has been the scientific community’s reliance on established scientific packages. As a consequence, programmers of high‐performance applications are reluctant to embrace evolving languages such as Java. This paper describes the Java‐to‐C Interface (JCI) tool which provides ...

Java vs. Python Coverage of Introductory Programming Concepts: A Textbook Analysis

Science.gov (United States)

McMaster, Kirby; Sambasivam, Samuel; Rague, Brian; Wolthuis, Stuart

2017-01-01

In this research, we compare two languages, Java and Python, by performing a content analysis of words in textbooks that describe important programming concepts. Our goal is to determine which language has better textbook support for teaching introductory programming courses. We used the TextSTAT program to count how often our list of concept…

Arch-pattern based design and aspect-oriented implementation of Readers-Writers concurrent problem

Directory of Open Access Journals (Sweden)

Dumitru Ciorbă

2007-11-01

Full Text Available The classical problems of concurrent programming start from the design problems of operating systems in the 80-s. But today there are still proposed new solutions for these problems with the help of various design and programming approaches. The present article describes a solution which was designed according to some new object-oriented principles, based on design patterns and proposes two program solutions: firstly - an object-oriented implementation in Java language, the secondly – an aspect-oriented one in AspectJ language.

Java and Mac OS X

CERN Document Server

Davis, T Gene

2010-01-01

Learn the guidelines of integrating Java with native Mac OS X applications with this Devloper Reference book. Java is used to create nearly every type of application that exists and is one of the most required skills of employers seeking computer programmers. Java code and its libraries can be integrated with Mac OS X features, and this book shows you how to do just that. You'll learn to write Java programs on OS X and you'll even discover how to integrate them with the Cocoa APIs.: Shows how Java programs can be integrated with any Mac OS X feature, such as NSView widgets or screen savers; Re

Concurrent object-oriented programming: The MP-Eiffel approach

OpenAIRE

Silva, Miguel Augusto Mendes Oliveira e

2004-01-01

This article evaluates several possible approaches for integrating concurrency into object-oriented programming languages, presenting afterwards, a new language named MP-Eiffel. MP-Eiffel was designed attempting to include all the essential properties of both concurrent and object-oriented programming with simplicity and safety. A special care was taken to achieve the orthogonality of all the language mechanisms, allowing their joint use without unsafe side-effects (such as inh...

Temporal Concurrent Constraint Programming

DEFF Research Database (Denmark)

Valencia, Frank Dan

Concurrent constraint programming (ccp) is a formalism for concurrency in which agents interact with one another by telling (adding) and asking (reading) information in a shared medium. Temporal ccp extends ccp by allowing agents to be constrained by time conditions. This dissertation studies...... temporal ccp by developing a process calculus called ntcc. The ntcc calculus generalizes the tcc model, the latter being a temporal ccp model for deterministic and synchronouss timed reactive systems. The calculus is built upon few basic ideas but it captures several aspects of timed systems. As tcc, ntcc...... structures, robotic devises, multi-agent systems and music applications. The calculus is provided with a denotational semantics that captures the reactive computations of processes in the presence of arbitrary environments. The denotation is proven to be fully-abstract for a substantial fragment...

Ivor Horton's Beginning Java

CERN Document Server

Horton, Ivor

2011-01-01

Find out why thousands have turned to Ivor Horton for learning Java Ivor Horton's approach is teaching Java is so effective and popular that he is one of the leading authors of introductory programming tutorials, with over 160,000 copies of his Java books sold. In this latest edition, whether you're a beginner or an experienced programmer switching to Java, you'll learn how to build real-world Java applications using Java SE 7. The author thoroughly covers the basics as well as new features such as extensions and classes; extended coverage of the Swing Application Framework; and he does it all

Essential Java for Scientists and Engineers

CERN Document Server

Hahn, Brian D; Malan, Katherine M

2003-01-01

Essential Java serves as an introduction to the programming language, Java, for scientists and engineers, and can also be used by experienced programmers wishing to learn Java as an additional language. The book focuses on how Java, and object-oriented programming, can be used to solve science and engineering problems. Many examples are included from a number of different scientific and engineering areas, as well as from business and everyday life. Pre-written packages of code are provided to help in such areas as input/output, matrix manipulation and scientific graphing. Java source code and

Verification of Java Programs using Symbolic Execution and Invariant Generation

Science.gov (United States)

Pasareanu, Corina; Visser, Willem

2004-01-01

Software verification is recognized as an important and difficult problem. We present a norel framework, based on symbolic execution, for the automated verification of software. The framework uses annotations in the form of method specifications an3 loop invariants. We present a novel iterative technique that uses invariant strengthening and approximation for discovering these loop invariants automatically. The technique handles different types of data (e.g. boolean and numeric constraints, dynamically allocated structures and arrays) and it allows for checking universally quantified formulas. Our framework is built on top of the Java PathFinder model checking toolset and it was used for the verification of several non-trivial Java programs.

Benchmarking JavaScript Frameworks

OpenAIRE

Mariano, Carl Lawrence

2017-01-01

JavaScript programming language has been in existence for many years already and is one of the most widely known, if not, the most used front-end programming language in web development. However, JavaScript is still evolving and with the emergence of JavaScript Frameworks (JSF), there has been a major change in how developers develop software nowadays. Developers these days often use more than one framework in order to fulfil their job which has given rise to the problem for developers when i...

A pedagogic JavaScript program for point location strategies

KAUST Repository

de Castro, Pedro; Devillers, Olivier

2011-01-01

Point location in triangulations is a classical problem in computational geometry. And walking in a triangulation is often used as the starting point for several nice point location strategies. We present a pedagogic JavaScript program demonstrating some of these strategies, which is available at: www-sop.inria.fr/geometrica/demo/point location strategies/.

Java RMI

CERN Document Server

Grosso, William

2002-01-01

Java RMI contains a wealth of experience in designing and implementing Java's Remote Method Invocation. If you're a novice reader, you will quickly be brought up to speed on why RMI is such a powerful yet easy to use tool for distributed programming, while experts can gain valuable experience for constructing their own enterprise and distributed systems. With Java RMI, you'll learn tips and tricks for making your RMI code excel. The book also provides strategies for working with serialization, threading, the RMI registry, sockets and socket factories, activation, dynamic class downloading,

Introduction to Graphics Programming in Java

DEFF Research Database (Denmark)

Rosendahl, Mads

Writing graphics applications in Java using Swing can be quite a daunting experience which requires understanding of some large libraries, and fairly advanced aspects of Java. In these notes we will show that by using a small subset of the Swing package we can write a write range of graphics...

Hardware Support for Embedded Java

DEFF Research Database (Denmark)

Schoeberl, Martin

2012-01-01

The general Java runtime environment is resource hungry and unfriendly for real-time systems. To reduce the resource consumption of Java in embedded systems, direct hardware support of the language is a valuable option. Furthermore, an implementation of the Java virtual machine in hardware enables...... worst-case execution time analysis of Java programs. This chapter gives an overview of current approaches to hardware support for embedded and real-time Java....

Assessing Students' Structured Programming Skills with Java: The "Blue, Berry, and Blueberry" Assignment

Science.gov (United States)

Zhang, Xihui

2010-01-01

Java is an object-oriented programming language. From a software engineering perspective, object-oriented design and programming is used at the architectural design, and structured design and programming is used at the detailed design within methods. As such, structured programming skills are fundamental to more advanced object-oriented…

AVal: an Extensible Attribute-Oriented Programming Validator for Java

OpenAIRE

Noguera , Carlos; Pawlak , Renaud

2007-01-01

International audience; Attribute Oriented Programming (@OP ) permits programmers to extend the semantics of a base program by annotating it with attributes that are related to a set of concerns. Examples of this are applications that rely on XDoclet (such as Hibernate) or, with the release of Java5's annotations, EJB3. The set of attributes that implements a concern defines a Domain Specific Language, and as such, imposes syntactic and semantic rules on the way that attributes are included i...

Java 7 A Beginner's Tutorial

CERN Document Server

Kurniawan, Budi

2011-01-01

A Books24x7's TOP 10 title for 4 consecutive years! Java is an easy language to learn. However, you need to master more than the language syntax to be a professional Java programmer. For one, object-oriented programming (OOP) skill is key to developing robust and effective Java applications. In addition, knowing how to use the vast collection of libraries makes development more rapid. This book introduces you to important programming concepts and teaches how to use the Java core libraries. It is a guide to building real-world applications, both desktop and Web-based. The coverage is the

Sound Control-Flow Graph Extraction for Java Programs with Exceptions

NARCIS (Netherlands)

Amighi, A.; de Carvalho Gomes, Pedro; Gurov, Dilian; Huisman, Marieke; Eleftherakis, George; Hinchey, Mike; Holcombe, Mike

2012-01-01

We present an algorithm to extract control-flow graphs from Java bytecode, considering exceptional flows. We then establish its correctness: the behavior of the extracted graphs is shown to be a sound over-approximation of the behavior of the original programs. Thus, any temporal safety property

Provably Correct Control-Flow Graphs from Java Programs with Exceptions

NARCIS (Netherlands)

Amighi, A.; de Carvalho Gomes, Pedro; Huisman, Marieke

2011-01-01

We present an algorithm to extract flow graphs from Java bytecode, focusing on exceptional control flows. We prove its correctness, meaning that the behaviour of the extracted control-flow graph is an over-approximation of the behaviour of the original program. Thus any safety property that holds

Java The Good Parts

CERN Document Server

Waldo, Jim

2010-01-01

What if you could condense Java down to its very best features and build better applications with that simpler version? In this book, veteran Sun Labs engineer Jim Waldo reveals which parts of Java are most useful, and why those features make Java among the best programming languages available. Every language eventually builds up crud, Java included. The core language has become increasingly large and complex, and the libraries associated with it have grown even more. Learn how to take advantage of Java's best features by working with an example application throughout the book. You may not l

Programming spiders, bots, and aggregators in Java

CERN Document Server

Heaton, Jeff

2006-01-01

The content and services available on the web continue to be accessed mostly through direct human control. But this is changing. Increasingly, users rely on automated agents that save them time and effort by programmatically retrieving content, performing complex interactions, and aggregating data from diverse sources. Programming Spiders, Bots, and Aggregators in Java teaches you how to build and deploy a wide variety of these agents-from single-purpose bots to exploratory spiders to aggregators that present a unified view of information from multiple user accounts. You will quickly build on

Scala for Java developers

CERN Document Server

Alexandre, Thomas

2014-01-01

This step-by-step guide is full of easy-to-follow code taken from real-world examples explaining the migration and integration of Scala in a Java project. If you are a Java developer or a Java architect, working in Java EE-based solutions and want to start using Scala in your daily programming, this book is ideal for you. This book will get you up and running quickly by adopting a pragmatic approach with real-world code samples. No prior knowledge of Scala is required.

JavaScript for Absolute Beginners

CERN Document Server

McNavage, T

2010-01-01

If you are new to both JavaScript and programming, this hands-on book is for you. Rather than staring blankly at gobbledygook, you'll explore JavaScript by entering and running hundreds of code samples in Firebug, a free JavaScript debugger. Then in the last two chapters, you'll leave the safety of Firebug and hand-code an uber cool JavaScript application in your preferred text editor. Written in a friendly, engaging narrative style, this innovative JavaScript tutorial covers the following essentials: * Core JavaScript syntax, such as value types, operators, expressions, and statements provide

JavaScript programmer's reference

CERN Document Server

Valentine, Thomas

2013-01-01

JavaScript Programmer's Reference is an invaluable resource that won't stray far from your desktop (or your tablet!). It contains detailed information on every JavaScript object and command, and combines that reference with practical examples showcasing how you can use those commands in the real world. Whether you're just checking the syntax of a method or you're starting out on the road to JavaScript mastery, the JavaScript Programmer's Reference will be an essential aid.  With a detailed and informative tutorial section giving you the ins and outs of programming with JavaScript and the DOM f

Tool-supported Refactoring for JavaScript

DEFF Research Database (Denmark)

Feldthaus, Asger; Millstein, Todd; Møller, Anders

2011-01-01

Script because of its dynamic nature. We propose a framework for specifying and implementing JavaScript refactorings based on pointer analysis. We describe novel refactorings motivated by best practice recommendations for JavaScript programming, and demonstrate how they can be described concisely in terms...... of queries provided by our framework. Experiments performed with a prototype implementation on a suite of existing applications show that our approach is well-suited for developing practical refactoring tools for JavaScript.......Refactoring is a popular technique for improving the structure of existing programs while maintaining their behavior. For statically typed programming languages such as Java, a wide variety of refactorings have been described, and tool support for performing refactorings and ensuring...

Bringing Interactivity to the Web: The JAVA Solution.

Science.gov (United States)

Knee, Richard H.; Cafolla, Ralph

Java is an object-oriented programming language of the Internet. It's popularity lies in its ability to create interactive Web sites across platforms. The most common Java programs are applications and applets, which adhere to a set of conventions that lets them run within a Java-compatible browser. Java is becoming an essential subject matter and…

Memory Management for Safety-Critical Java

DEFF Research Database (Denmark)

Schoeberl, Martin

2011-01-01

Safety-Critical Java (SCJ) is based on the Real-Time Specification for Java. To simplify the certification of Java programs, SCJ supports only a restricted scoped memory model. Individual threads share only immortal memory and the newly introduced mission memory. All other scoped memories...... implementation is evaluated on an embedded Java processor....

Reusable libraries for safety-critical Java

DEFF Research Database (Denmark)

Rios Rivas, Juan Ricardo; Schoeberl, Martin

2014-01-01

The large collection of Java class libraries is a main factor of the success of Java. However, these libraries assume that a garbage-collected heap is used. Safety-critical Java uses scope-based memory areas instead of a garbage-collected heap. Therefore, the Java class libraries are problematic...... to use in safety-critical Java. We have identified common programming patterns in the Java class libraries that make them unsuitable for safety-critical Java. We propose ways to improve the libraries to avoid the impact of the identified problematic patterns. We illustrate these changes by implementing...

Transforming process models : executable rewrite rules versus a formalized Java program

NARCIS (Netherlands)

Van Gorp, P.M.E.; Eshuis, H.; Petriu, D.C.; Rouquette, N.

2010-01-01

In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping rules tend to be documented using informal visual rules whereas they tend to be formalized using mathematical set constructs. In

Java Processor Optimized for RTSJ

Directory of Open Access Journals (Sweden)

Tu Shiliang

2007-01-01

Full Text Available Due to the preeminent work of the real-time specification for Java (RTSJ, Java is increasingly expected to become the leading programming language in real-time systems. To provide a Java platform suitable for real-time applications, a Java processor which can execute Java bytecode is directly proposed in this paper. It provides efficient support in hardware for some mechanisms specified in the RTSJ and offers a simpler programming model through ameliorating the scoped memory of the RTSJ. The worst case execution time (WCET of the bytecodes implemented in this processor is predictable by employing the optimization method proposed in our previous work, in which all the processing interfering predictability is handled before bytecode execution. Further advantage of this method is to make the implementation of the processor simpler and suited to a low-cost FPGA chip.

Static Analysis for JavaScript

DEFF Research Database (Denmark)

Jensen, Simon Holm

. This dissertation describes the design and implementation of a static analysis for JavaScript that can assist programmers in finding bugs in code during development. We describe the design of a static analysis tool for JavaScript, built using the monotone framework. This analysis infers detailed type information......Web applications present unique challenges to designers of static analysis tools. One of these challenges is the language JavaScript used for client side scripting in the browser. JavaScript is a complex language with many pitfalls and poor tool support compared to other languages...... about programs. This information can be used to detect bugs such as null pointer dereferences and unintended type coercions. The analysis is sound, enabling it to prove the absence of certain program errors. JavaScript is usually run within the context of the browser and the DOM API. The major...

THE NATURE, THE BEAUTY AND THE DIFFICULTY IN JAVA PROGRAMMING

Directory of Open Access Journals (Sweden)

Dror BENAMI

2016-12-01

Full Text Available JAVA language in recent years is widely used for the reason that integrates multiple information technologies. JAVA benefits are not fully exploited. The article discusses some aspects of the design of Data Mining algorithms in Java.JAVA: NATURA, FRUMUSEŢEA ŞI DIFICULTĂTILE PROGRAMĂRIILimbajul JAVA în ultimii ani se utilizează pe scară largă dat fiind că integrează mai multe tehnologii informaţionale. Avantajele JAVA nu sunt pe deplin exploatate. În articol sunt discutate unele aspecte de proiectare a algoritmilor de Data Mining în limbajul JAVA.

Object oriented JavaScript

CERN Document Server

Stefanov, Stoyan

2013-01-01

You will first be introduced to object-oriented programming, then to the basics of objects in JavaScript. This book takes a do-it-yourself approach when it comes to writing code, because the best way to really learn a programming language is by writing code. You are encouraged to type code into Firebug's console, see how it works and then tweak it and play around with it. There are practice questions at the end of each chapter to help you review what you have learned.For new to intermediate JavaScript developer who wants to prepare themselves for web development problems solved by smart JavaSc

Safety-Critical Java for Embedded Systems

DEFF Research Database (Denmark)

Rios Rivas, Juan Ricardo

for Java aims at providing a reduced set of the Java programming language that can be used for systems that need to be certified at the highest levels of criticality. Safety-critical Java (SCJ) restricts how a developer can structure an application by providing a specific programming model...... and by restricting the set of methods and libraries that can be used. Furthermore, its memory model do not use a garbage-collected heap but scoped memories. In this thesis we examine the use of the SCJ specification through an implementation in a time-predictable, FPGA-based Java processor. The specification is now...

Development of Remote Inspection Systems with the Java Applet

International Nuclear Information System (INIS)

Choi, Yoo Rark; Lee, Jae Cheol; Kim, Jae Hee

2005-01-01

The world wide web and java are powerful networking technologies on the internet. An applet is a program written in the java programming language that can be included in an HTML page, much in the same way as an image is included. When we use a Java technology-enabled browser to view a page that contains an applet, the applet code is transferred to a client's system and executed by the browser's Java Virtual Machine (JVM). We have developed two remote inspection systems for a reactor wall inspection and guide tube spilt pin inspection based on the java and traditional programming language. The java is used on a GUI(graphic user interface) and the traditional visual C++ programming language is used to control the inspection equipments

Representational State Transfer a its support in programming language Java

OpenAIRE

Tran, Dac Ngoc Lam

2010-01-01

This bachelor thesis focuses on explaining the term Representational State Transfer (REST) and its usage in the programming language Java. The first chapter introduces readers with the theoretical basis of REST, its presence in HTTP protocol and its pros and cons in general. The second chapter is dedicated to the application of principles mentioned in the first chapter. On two different programs, a client and a server, I go through the analysis and programming the REST layer. After this chapt...

JavaScript The Definitive Guide

CERN Document Server

Flanagan, David

2011-01-01

Since 1996, JavaScript: The Definitive Guide has been the bible for JavaScript programmers-a programmer's guide and comprehensive reference to the core language and to the client-side JavaScript APIs defined by web browsers. The 6th edition covers HTML5 and ECMAScript 5. Many chapters have been completely rewritten to bring them in line with today's best web development practices. New chapters in this edition document jQuery and server side JavaScript. It's recommended for experienced programmers who want to learn the programming language of the Web, and for current JavaScript programmers wh

Development of Remote Inspection Systems with the Java Applet

Energy Technology Data Exchange (ETDEWEB)

Choi, Yoo Rark; Lee, Jae Cheol; Kim, Jae Hee [Korea Atomic Energy Research Institute, Daejeon (Korea, Republic of)

2005-07-01

The world wide web and java are powerful networking technologies on the internet. An applet is a program written in the java programming language that can be included in an HTML page, much in the same way as an image is included. When we use a Java technology-enabled browser to view a page that contains an applet, the applet code is transferred to a client's system and executed by the browser's Java Virtual Machine (JVM). We have developed two remote inspection systems for a reactor wall inspection and guide tube spilt pin inspection based on the java and traditional programming language. The java is used on a GUI(graphic user interface) and the traditional visual C++ programming language is used to control the inspection equipments.

CLEAN RIVER PROGRAM AT KALIGARANG CENTRAL JAVA PROVINCE

Directory of Open Access Journals (Sweden)

Harihanto Harihanto

2006-11-01

Full Text Available Kaligarang River that located n Central Java Province represents one of the rivers in Indonesia which water quality was proved very bad. Since 1989 Clean River Program has been executed in this river. Nevertheless, untul 1998 there have not yet independent evaluation towards this program. To Know wether of this program successful a survey has been conducted from November 1998 to November 1999. The success of this program investigated by: (1 reducing of pollutant loads, (2 target of pollution loads that reached, and (3 improving of river water quality. It was foujd that this program has been successfully reducing pollutant loads of waste of all factories as target froups. Nevertheless, the quality of water of Kaligarang River was still relatively bad. This condition porbably was cause by domestic waste partivularly from hospital, hotel, restaurant dan small factories that was not included as tartet group in this program. Thus it was conclude at the implementation of the Clean River Program in Kaligarang has not been succesful to im[rove water quality of this river.

Graph Transforming Java Data

NARCIS (Netherlands)

de Mol, M.J.; Rensink, Arend; Hunt, James J.

This paper introduces an approach for adding graph transformation-based functionality to existing JAVA programs. The approach relies on a set of annotations to identify the intended graph structure, as well as on user methods to manipulate that structure, within the user’s own JAVA class

Java Decaffeinated: experiences building a programming language from components

OpenAIRE

Farragher, Linda; Dobson, Simon

2000-01-01

non-peer-reviewed Most modern programming languages are complex and feature rich. Whilst this is (sometimes) an advantage for industrial-strength applications, it complicates both language teaching and language research. We describe our experiences in the design of a reduced sub-set of the Java language and its implementation using the Vanilla language development framework. We argue that Vanilla???s component-based approach allows the language???s feature set to be varied quickly and simp...

Java for dummies quick reference

CERN Document Server

Lowe, Doug

2012-01-01

A reference that answers your questions as you move through your coding The demand for Android programming and web apps continues to grow at an unprecedented pace and Java is the preferred language for both. Java For Dummies Quick Reference keeps you moving through your coding while you solve a problem, look up a command or syntax, or search for a programming tip. Whether you're a Java newbie or a seasoned user, this fast reference offers you quick access to solutions without requiring that you wade through pages of tutorial material. Leverages the true reference format that is organized with

A Model of Computation for Bit-Level Concurrent Computing and Programming: APEC

Science.gov (United States)

Ajiro, Takashi; Tsuchida, Kensei

A concurrent model of computation and a language based on the model for bit-level operation are useful for developing asynchronous and concurrent programs compositionally, which frequently use bit-level operations. Some examples are programs for video games, hardware emulation (including virtual machines), and signal processing. However, few models and languages are optimized and oriented to bit-level concurrent computation. We previously developed a visual programming language called A-BITS for bit-level concurrent programming. The language is based on a dataflow-like model that computes using processes that provide serial bit-level operations and FIFO buffers connected to them. It can express bit-level computation naturally and develop compositionally. We then devised a concurrent computation model called APEC (Asynchronous Program Elements Connection) for bit-level concurrent computation. This model enables precise and formal expression of the process of computation, and a notion of primitive program elements for controlling and operating can be expressed synthetically. Specifically, the model is based on a notion of uniform primitive processes, called primitives, that have three terminals and four ordered rules at most, as well as on bidirectional communication using vehicles called carriers. A new notion is that a carrier moving between two terminals can briefly express some kinds of computation such as synchronization and bidirectional communication. The model's properties make it most applicable to bit-level computation compositionally, since the uniform computation elements are enough to develop components that have practical functionality. Through future application of the model, our research may enable further research on a base model of fine-grain parallel computer architecture, since the model is suitable for expressing massive concurrency by a network of primitives.

Model Checking Real Time Java Using Java PathFinder

Science.gov (United States)

Lindstrom, Gary; Mehlitz, Peter C.; Visser, Willem

2005-01-01

The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real time threads; user defined schedulers; asynchronous events, handlers, and control transfers; a priority inheritance based default scheduler; non-heap memory areas such as immortal and scoped, and non-heap real time threads whose execution is not impeded by garbage collection. The Robust Software Systems group at NASA Ames Research Center has JAVA PATHFINDER (JPF) under development, a Java model checker. JPF at its core is a state exploring JVM which can examine alternative paths in a Java program (e.g., via backtracking) by trying all nondeterministic choices, including thread scheduling order. This paper describes our implementation of an RTSJ profile (subset) in JPF, including requirements, design decisions, and current implementation status. Two examples are analyzed: jobs on a multiprogramming operating system, and a complex resource contention example involving autonomous vehicles crossing an intersection. The utility of JPF in finding logic and timing errors is illustrated, and the remaining challenges in supporting all of RTSJ are assessed.

Tatool: a Java-based open-source programming framework for psychological studies.

Science.gov (United States)

von Bastian, Claudia C; Locher, André; Ruflin, Michael

2013-03-01

Tatool (Training and Testing Tool) was developed to assist researchers with programming training software, experiments, and questionnaires. Tatool is Java-based, and thus is a platform-independent and object-oriented framework. The architecture was designed to meet the requirements of experimental designs and provides a large number of predefined functions that are useful in psychological studies. Tatool comprises features crucial for training studies (e.g., configurable training schedules, adaptive training algorithms, and individual training statistics) and allows for running studies online via Java Web Start. The accompanying "Tatool Online" platform provides the possibility to manage studies and participants' data easily with a Web-based interface. Tatool is published open source under the GNU Lesser General Public License, and is available at www.tatool.ch.

An Ada-based preprocessor language for concurrent object oriented programming

International Nuclear Information System (INIS)

Almulla, M.; Al-Haddad, M.; Loeper, H.

2001-01-01

In this paper, implementation issues of concurrent-objected programming using Ada 95 are addressed. Ada is not a pure object-oriented language; in order to make it so, a uniform template for structuring object classes is proposed. The template constitutes a basis for an Ada-based preprocessor language that handles concurrent object-oriented programming. The preprocessor accepts Ada-like object-oriented programs (object classes, subclasses and main program) as input and produces Ada 95 concurrent object-oriented program units as output. The preprocessor language has the advantage of adding a new component to the class specification called the protocol, which specifies the order for requesting methods f an object. The preprocessor also touches on the extensibility of object classes issue. It supports defining class hierarchies by inheritance and aggregation. In addition, the preprocessor language supports the re-use of Ada packages, which are not necessarily written according to the object-oriented approach. The paper also investigates the definition of circular dependent object classes and proposes a solution for introducing a collection of classes. (author)

Isolating and Restricting Client-Side JavaScript:Isoleren en beperken van JavaScript aan de cliëntzijde

OpenAIRE

Van Acker, Steven

2015-01-01

In today’s web applications, no one disputes the important role of JavaScript asa client-side programming language. JavaScript can turn the Web into a lively,dynamic and interactive end-user experience. Unfortunately, JavaScript canalso be used to steal sensitive information and abuse powerful functionality. Sloppy input validation can make a web application vulnerable, allowingmalicious JavaScript code to leak into a web application’s JavaScript executionenvironment, where it leads to un...

A Ravenscar-Java profile implementation

DEFF Research Database (Denmark)

Thomsen, Bent; Ravn, Anders Peter; Søndergaard, Hans

2006-01-01

This paper presents an implementation of the Ravenscar-Java profile. While most implementations of the profile are reference-implementations showing that it is possible to implement the profile, our implementation is aimed at industrial applications. It uses a dedicated real-time Java processor......, since we want to investigate if the Ravenscar-Java profile, implemented on a Java processor, is efficient for real applications. During the implementation some ambiguities and weaknesses of the profile were uncovered. However, test examples indicate that the profile is suitable for development...... of realistic real-time programs....

Professional Java EE design patterns

CERN Document Server

Yener, Murat

2014-01-01

Master Java EE design pattern implementation to improve your design skills and your application's architecture Professional Java EE Design Patterns is the perfect companion for anyone who wants to work more effectively with Java EE, and the only resource that covers both the theory and application of design patterns in solving real-world problems. The authors guide readers through both the fundamental and advanced features of Java EE 7, presenting patterns throughout, and demonstrating how they are used in day-to-day problem solving. As the most popular programming language in community-dri

Programmed Instruction for Teaching Java: Consideration of Learn Unit Frequency and Rule-Test Performance

Science.gov (United States)

Emurian, Henry H.

2007-01-01

At the beginning of a Java computer programming course, nine students in an undergraduate class and nine students in a graduate class completed a web-based programmed instruction tutoring system that taught a simple computer program. All students exited the tutor with an identical level of skill, at least as determined by the tutor's required…

Non-Blocking Concurrent Imperative Programming with Session Types

Directory of Open Access Journals (Sweden)

Miguel Silva

2017-01-01

Full Text Available Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency. The previously proposed semantics implements asynchronous (non-blocking output; we extend it here with non-blocking input. A key idea is to postpone message reception as much as possible by interpreting receive commands as a request for a message. We implemented our ideas as a translation from a blocking intermediate language to a non-blocking language. Finally, we evaluated our techniques with several benchmark programs and show the results obtained. While the abstract measure of span always decreases (or remains unchanged, only a few of the examples reap a practical benefit.

JavaScript & jQuery The Missing Manual

CERN Document Server

McFarland, David

2011-01-01

JavaScript lets you supercharge your HTML with animation, interactivity, and visual effects-but many web designers find the language hard to learn. This jargon-free guide covers JavaScript basics and shows you how to save time and effort with the jQuery library of prewritten JavaScript code. You'll soon be building web pages that feel and act like desktop programs, without having to do much programming. The important stuff you need to know: Make your pages interactive. Create JavaScript events that react to visitor actions.Use animations and effects. Build drop-down navigation menus, pop-ups

Interactive Web Services with Java

DEFF Research Database (Denmark)

Møller, Anders; Schwartzbach, Michael Ignatieff

This slide collection about Java Web service programming, JSP, Servlets and JWIG is created by: Anders Møller and Michael I. Schwartzbach at the BRICS research center at University of Aarhus, Denmark.......This slide collection about Java Web service programming, JSP, Servlets and JWIG is created by: Anders Møller and Michael I. Schwartzbach at the BRICS research center at University of Aarhus, Denmark....

Java Card for PayTv Application

OpenAIRE

Dutta, Pallab

2013-01-01

Smart cards are widely used along with PayTV receivers to store secret user keys and to perform security functions to prevent any unauthorized viewing of PayTV channels. Java Card technology enables programs written in the Java programming language to run on smart cards. Smart cards represent one of the smallest computing platforms in use today. The memory configuration of a smart card are of the order of 4K of RAM, 72K of EEPROM, and 24K of ROM. Using Java card provides advantages to the ind...

Runtime Support for Type-Safe Dynamic Java Classes

National Research Council Canada - National Science Library

Malabarba, Scott; Pandey, Raju; Gragg, Jeff; Barr, Earl; Barnes, J. F

2000-01-01

.... In this paper we present an approach for supporting dynamic evolution of Java programs. In this approach, Java programs can evolve by changing their components, namely classes, during their execution...

Java simulations of embedded control systems.

Science.gov (United States)

Farias, Gonzalo; Cervin, Anton; Arzén, Karl-Erik; Dormido, Sebastián; Esquembre, Francisco

2010-01-01

This paper introduces a new Open Source Java library suited for the simulation of embedded control systems. The library is based on the ideas and architecture of TrueTime, a toolbox of Matlab devoted to this topic, and allows Java programmers to simulate the performance of control processes which run in a real time environment. Such simulations can improve considerably the learning and design of multitasking real-time systems. The choice of Java increases considerably the usability of our library, because many educators program already in this language. But also because the library can be easily used by Easy Java Simulations (EJS), a popular modeling and authoring tool that is increasingly used in the field of Control Education. EJS allows instructors, students, and researchers with less programming capabilities to create advanced interactive simulations in Java. The paper describes the ideas, implementation, and sample use of the new library both for pure Java programmers and for EJS users. The JTT library and some examples are online available on http://lab.dia.uned.es/jtt.

Some researches on converting a C++ software to java

International Nuclear Information System (INIS)

Ding Yuzheng; Wang Taijie; Dai Guiliang

1997-01-01

Because of Java's flexibility, portability, and relative simplicity, Java programming language has sparked considerable interest among software developers. The author presents the experience on converting a C++ off-line software prototype to Java. Some benefits of Java while converting the C++ prototype to Java and also some limitations of Java are described. Some of these limitations arise from the differences between Java and C++, Others are due to weakness of Java itself. The article also introduces some methods to work around Java's limitations

The Concert system - Compiler and runtime technology for efficient concurrent object-oriented programming

Science.gov (United States)

Chien, Andrew A.; Karamcheti, Vijay; Plevyak, John; Sahrawat, Deepak

1993-01-01

Concurrent object-oriented languages, particularly fine-grained approaches, reduce the difficulty of large scale concurrent programming by providing modularity through encapsulation while exposing large degrees of concurrency. Despite these programmability advantages, such languages have historically suffered from poor efficiency. This paper describes the Concert project whose goal is to develop portable, efficient implementations of fine-grained concurrent object-oriented languages. Our approach incorporates aggressive program analysis and program transformation with careful information management at every stage from the compiler to the runtime system. The paper discusses the basic elements of the Concert approach along with a description of the potential payoffs. Initial performance results and specific plans for system development are also detailed.

Java problem-based learning

Directory of Open Access Journals (Sweden)

Goran P, Šimić

2012-01-01

Full Text Available The paper describes the self-directed problem-based learning system (PBL named Java PBL. The expert module is the kernel of Java PBL. It involves a specific domain model, a problem generator and a solution generator. The overall system architecture is represented in the paper. Java PBL can act as the stand-alone system, but it is also designed to provide support to learning management systems (LMSs. This is provided by a modular design of the system. An LMS can offer the declarative knowledge only. Java PBL offers the procedural knowledge and the progress of the learner programming skills. The free navigation, unlimited numbers of problems and recommendations represent the main pedagogical strategies and tactics implemented into the system.

Practical Analysis of the Dynamic Characteristics of JavaScript

OpenAIRE

Wei, Shiyi

2015-01-01

JavaScript is a dynamic object-oriented programming language, which is designed with flexible programming mechanisms. JavaScript is widely used in developing sophisticated software systems, especially web applications. Despite of its popularity, there is a lack of software tools that support JavaScript for software engineering clients. Dataflow analysis approximates software behavior by analyzing the program code; it is the foundation for many software tools. However, several unique features...

Specifying and Verifying Concurrent Programs.

Science.gov (United States)

1985-02-01

for Verification and Specification of Concurrent Systems, held in La - Colle - Sur - Loup , France in October, 1984. Work Supported in part by the National...Proc. ACM Symposium on Princi- 0 ples of Programming Languages, Las Vegas, (January 1980), 251-261. [7] J. V. Guttag and J. J. Horning. An Introduction...names in ’V(S). However, the two formulas behave differently under a renaming mapping p. In particu- lar. p(Vv :A( LA )) equals Vv :p(A(v)), so the

Java to C: A Primer

DEFF Research Database (Denmark)

McDowell, Charlie; Villadsen, Jørgen

This book is designed to be used as a quick introduction to C for programmers already familiar with Java. It is not a replacement for a reference book on C but is instead a supplement. For the programmer already familiar with Java, the typical book on C requires the reader to wade through many...... details of already-familiar material. In this book, we quickly present the main concepts needed to begin writing serious programs in C, highlighting the differences between C and Java....

Towards an Existential Types Model for Java with Wildcards

DEFF Research Database (Denmark)

Cameron, Nicholas; Drossopoulou, Sophia; Ernst, Erik

2007-01-01

Wildcards extend Java generics by softening the mismatch between subtype and parametric polymorphism. Although they are a key part of the Java 5.0 programming language, a type system including wildcards has never been proven type sound. Wildcards have previously been formalised as existential types....... In this paper we extend FGJ, a featherweight formalisation of Java with generics, with existential types. We prove that this calculus, ExistsJ, is type sound, and illustrate how it models wildcards in the Java Programming Language. ExistsJ is not a full model for Java wildcards, because it does not support...... lower bounds for wildcards. We discuss why ExistsJ can not be easily extended with lower bounds, and how full Java wildcards could be modelled in a type sound way....

Rain: A New Concurrent Process-Oriented Programming Language

OpenAIRE

Brown, Neil C.C.

2006-01-01

This paper details the design of a new concurrent process-oriented programming language, Rain. The language borrows heavily from occam-p and C++ to create a new language based on process-oriented programming, marrying channel-based communication, a clear division between statement and expression, and elements of functional programming. An expressive yet simple type system, coupled with templates, underpins the language. Modern features such as Unicode support and 64-bit integers are included ...

A Hardware Abstraction Layer in Java

DEFF Research Database (Denmark)

Schoeberl, Martin; Korsholm, Stephan; Kalibera, Tomas

2011-01-01

Embedded systems use specialized hardware devices to interact with their environment, and since they have to be dependable, it is attractive to use a modern, type-safe programming language like Java to develop programs for them. Standard Java, as a platform-independent language, delegates access...... to devices, direct memory access, and interrupt handling to some underlying operating system or kernel, but in the embedded systems domain resources are scarce and a Java Virtual Machine (JVM) without an underlying middleware is an attractive architecture. The contribution of this article is a proposal...... for Java packages with hardware objects and interrupt handlers that interface to such a JVM. We provide implementations of the proposal directly in hardware, as extensions of standard interpreters, and finally with an operating system middleware. The latter solution is mainly seen as a migration path...

Sawja: Static Analysis Workshop for Java

Science.gov (United States)

Hubert, Laurent; Barré, Nicolas; Besson, Frédéric; Demange, Delphine; Jensen, Thomas; Monfort, Vincent; Pichardie, David; Turpin, Tiphaine

Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. Efficiency and precision of such a tool rely partly on low level components which only depend on the syntactic structure of the language and therefore should not be redesigned for each implementation of a new static analysis. This paper describes the Sawja library: a static analysis workshop fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including i) efficient functional data-structures for representing a program with implicit sharing and lazy parsing, ii) an intermediate stack-less representation, and iii) fast computation and manipulation of complete programs. We provide experimental evaluations of the different features with respect to time, memory and precision.

JPP: A Java Pre-Processor

OpenAIRE

Kiniry, Joseph R.; Cheong, Elaine

1998-01-01

The Java Pre-Processor, or JPP for short, is a parsing pre-processor for the Java programming language. Unlike its namesake (the C/C++ Pre-Processor, cpp), JPP provides functionality above and beyond simple textual substitution. JPP's capabilities include code beautification, code standard conformance checking, class and interface specification and testing, and documentation generation.

Model checking a cache coherence protocol for a Java DSM implementation

NARCIS (Netherlands)

J. Pang; W.J. Fokkink (Wan); R. Hofman (Rutger); R. Veldema

2007-01-01

textabstractJackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java's memory model and allows multithreaded Java programs to run unmodified on a distributed memory system. It employs a multiple-writer cache coherence

A Profile for Safety Critical Java

DEFF Research Database (Denmark)

Schoeberl, Martin; Søndergaard, Hans; Thomsen, Bent

2007-01-01

We propose a new, minimal specification for real-time Java for safety critical applications. The intention is to provide a profile that supports programming of applications that can be validated against safety critical standards such as DO-178B [15]. The proposed profile is in line with the Java...... specification request JSR-302: Safety Critical Java Technology, which is still under discussion. In contrast to the current direction of the expert group for the JSR-302 we do not subset the rather complex Real-Time Specification for Java (RTSJ). Nevertheless, our profile can be implemented on top of an RTSJ...

Certifiable Java for Embedded Systems

DEFF Research Database (Denmark)

Schoeberl, Martin; Dalsgaard, Andreas Engelbredt; Hansen, Rene Rydhof

2014-01-01

The Certifiable Java for Embedded Systems (CJ4ES) project aimed to develop a prototype development environment and platform for safety-critical software for embedded applications. There are three core constituents: A profile of the Java programming language that is tailored for safety......-critical applications, a predictable Java processor built with FPGA technology, and an Eclipse based application development environment that binds the profile and the platform together and provides analyses that help to provide evidence that can be used as part of a safety case. This paper summarizes key contributions...

Model checking a cache coherence protocol of a Java DSM implementation

NARCIS (Netherlands)

Pang, J.; Fokkink, W.J.; Hofman, R.; Veldema, R.S.

2007-01-01

Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java's memory model and allows multithreaded Java programs to run unmodified on a distributed memory system. It employs a multiple-writer cache coherence protocol. In this paper,

Embedding Java Types in CPN Tools

DEFF Research Database (Denmark)

Lassen, Kristian Bisgaard; Westergaard, Michael

the modeller to call methods on Java ob jects. This paper is about how the stub code is generated, i.e., representing Java classes to Standard ML to be able to call Java code in the CPN models, and how the BRITNeY Suite framework handles the invocations of the stub code. The contribution of this paper is give......CPN Tools is a well known editor for Colored Petri nets (CPNs) that is capable of doing state space and performance analysis. The BRITNeY Suite has added yet another feature to CPN Tools for integrating CPN models with Java programs, by providing stubs accessible from the models, to allow...

Learning Java by building Android games

CERN Document Server

Horton, John

2015-01-01

If you are completely new to either Java, Android, or game programming and are aiming to publish Android games, then this book is for you. This book also acts as a refresher for those who already have experience in Java on another platforms or other object-oriented languages.

A modification of Java virtual machine for counting bytecode commands

OpenAIRE

Nikolaj, Janko

2014-01-01

The objective of the thesis was to implement or modify an existing Java virtual machine (JVM) in a way that it will allow insight into statistics of the executed Java instructions of an executed user program. The functionality will allow analysis of the algorithms in Java environment. After studying the theory of Java and Java virtual machine, we decided to modify an existing Java virtual machine. We chose JamVM which is a lightweight, open-source Java virtual machine under GNU license. The i...

jFuzz: A Concolic Whitebox Fuzzer for Java

Science.gov (United States)

Jayaraman, Karthick; Harvison, David; Ganesh, Vijay; Kiezun, Adam

2009-01-01

We present jFuzz, a automatic testing tool for Java programs. jFuzz is a concolic whitebox fuzzer, built on the NASA Java PathFinder, an explicit-state Java model checker, and a framework for developing reliability and analysis tools for Java. Starting from a seed input, jFuzz automatically and systematically generates inputs that exercise new program paths. jFuzz uses a combination of concrete and symbolic execution, and constraint solving. Time spent on solving constraints can be significant. We implemented several well-known optimizations and name-independent caching, which aggressively normalizes the constraints to reduce the number of calls to the constraint solver. We present preliminary results due to the optimizations, and demonstrate the effectiveness of jFuzz in creating good test inputs. The source code of jFuzz is available as part of the NASA Java PathFinder. jFuzz is intended to be a research testbed for investigating new testing and analysis techniques based on concrete and symbolic execution. The source code of jFuzz is available as part of the NASA Java PathFinder.

Development of a Java Package for Matrix Programming

OpenAIRE

Lim, Ngee-Peng; Ling, Maurice HT; Lim, Shawn YC; Choi, Ji-Hee; Teo, Henry BK

2003-01-01

We had assembled a Java package, known as MatrixPak, of four classes for the purpose of numerical matrix computation. The classes are matrix, matrix_operations, StrToMatrix, and MatrixToStr; all of which are inherited from java.lang.Object class. Class matrix defines a matrix as a two-dimensional array of float types, and contains the following mathematical methods: transpose, adjoint, determinant, inverse, minor and cofactor. Class matrix_operations contains the following mathematical method...

Java Test Driver Generation from Object-Oriented Interaction Traces

NARCIS (Netherlands)

M.M. Bonsangue (Marcello); F.S. de Boer (Frank); A. Gruener; M. Steffen

2009-01-01

htmlabstractIn the context of test-driven development for object-oriented programs, mock objects are increasingly used for unit testing. Several Java mock object frameworks exist, which all have in common that mock objects, realizing the test environment, are directly specied at the Java program

Java EE 7 recipes a problem-solution approach

CERN Document Server

Juneau, Josh

2013-01-01

Java EE 7 Recipes takes an example-based approach in showing how to program Enterprise Java applications in many different scenarios. Be it a small-business web application, or an enterprise database application, Java EE 7 Recipes provides effective and proven solutions to accomplish just about any task that you may encounter. You can feel confident using the reliable solutions that are demonstrated in this book in your personal or corporate environment. The solutions in Java EE 7 Recipes are built using the most current Java Enterprise specifications, including EJB 3.2, JSF 2.2, Expression La

APINetworks Java. A Java approach to the efficient treatment of large-scale complex networks

Science.gov (United States)

Muñoz-Caro, Camelia; Niño, Alfonso; Reyes, Sebastián; Castillo, Miriam

2016-10-01

We present a new version of the core structural package of our Application Programming Interface, APINetworks, for the treatment of complex networks in arbitrary computational environments. The new version is written in Java and presents several advantages over the previous C++ version: the portability of the Java code, the easiness of object-oriented design implementations, and the simplicity of memory management. In addition, some additional data structures are introduced for storing the sets of nodes and edges. Also, by resorting to the different garbage collectors currently available in the JVM the Java version is much more efficient than the C++ one with respect to memory management. In particular, the G1 collector is the most efficient one because of the parallel execution of G1 and the Java application. Using G1, APINetworks Java outperforms the C++ version and the well-known NetworkX and JGraphT packages in the building and BFS traversal of linear and complete networks. The better memory management of the present version allows for the modeling of much larger networks.

Interprocess Communication with Java in a Microsoft Windows Environment

Directory of Open Access Journals (Sweden)

Dylan Gregory Smith

2017-12-01

Full Text Available The Java programming language provides a comprehensive set of multithreading programming techniques but currently lacks interprocess communication (IPC facilities, other than slow socket-based communication mechanisms (which are intended primarily for distributed systems, not interprocess communication on a multicore or multiprocessor system. This is problematic due to the ubiquity of modern multicore processors, and the widespread use of Java as a programming language throughout the software development industry. This work aimed to address this problem by utilising Microsoft Windows’ native IPC mechanisms through a framework known as the Java Native Interface. This enabled the use of native C code that invoked the IPC mechanisms provided by Windows, which allowed successful synchronous communication between separate Java processes. The results obtained illustrate the performance dichotomy between socket-based communication and native IPC facilities, with Windows’ facilities providing significantly faster communication. Ultimately, these results show that there are far more effective communication structures available. In addition, this work presents generic considerations that may aid in the eventual design of a generic, platform-independent IPC system for the Java programming language. The fundamental considerations include shared memory with semaphore synchronisation, named pipes and a socket communication model.

Interrupt Handlers in Java

DEFF Research Database (Denmark)

Korsholm, Stephan; Schoeberl, Martin; Ravn, Anders Peter

2008-01-01

An important part of implementing device drivers is to control the interrupt facilities of the hardware platform and to program interrupt handlers. Current methods for handling interrupts in Java use a server thread waiting for the VM to signal an interrupt occurrence. It means that the interrupt...... is handled at a later time, which has some disadvantages. We present constructs that allow interrupts to be handled directly and not at a later point decided by a scheduler. A desirable feature of our approach is that we do not require a native middleware layer but can handle interrupts entirely with Java...... code. We have implemented our approach using an interpreter and a Java processor, and give an example demonstrating its use....

Type Analysis for JavaScript

DEFF Research Database (Denmark)

Jensen, Simon Holm; Møller, Anders; Thiemann, Peter

2009-01-01

common programming errors – or rather, prove their absence, and for producing type information for program comprehension. Preliminary experiments conducted on real-life JavaScript code indicate that the approach is promising regarding analysis precision on small and medium size programs, which constitute...

JAVA PathFinder

Science.gov (United States)

Mehhtz, Peter

2005-01-01

JPF is an explicit state software model checker for Java bytecode. Today, JPF is a swiss army knife for all sort of runtime based verification purposes. This basically means JPF is a Java virtual machine that executes your program not just once (like a normal VM), but theoretically in all possible ways, checking for property violations like deadlocks or unhandled exceptions along all potential execution paths. If it finds an error, JPF reports the whole execution that leads to it. Unlike a normal debugger, JPF keeps track of every step how it got to the defect.

Fixing the Sorting Algorithm for Android, Java and Python

NARCIS (Netherlands)

C.P.T. de Gouw (Stijn); F.S. de Boer (Frank)

2015-01-01

htmlabstractTim Peters developed the Timsort hybrid sorting algorithm in 2002. TimSort was first developed for Python, a popular programming language, but later ported to Java (where it appears as java.util.Collections.sort and java.util.Arrays.sort). TimSort is today used as the default sorting

Flash memory in embedded Java programs

DEFF Research Database (Denmark)

Korsholm, Stephan Erbs

This paper introduces a Java execution environment with the capability for storing constant heap data in Flash, thus saving valuable RAM. The extension is motivated by the structure of three industrial applications which demonstrate the need for storing constant data in Flash on small embedded...

Towards harnessing theories through tool support for hard real-time Java programming

DEFF Research Database (Denmark)

Bøgholm, Thomas; Frost, Christian; Hansen, Rene Rydhof

2013-01-01

We present a rationale for a selection of tools that assist developers of hard real-time applications to verify that programs conform to a Java real-time profile and that platform-specific resource constraints are satisfied. These tools are specialised instances of more generic static analysis...... and model checking frameworks. The concepts are illustrated by two case studies, and the strengths and the limitations of the tools are discussed....

Towards harnessing theories through tool support for hard real-time Java programming

DEFF Research Database (Denmark)

Søndergaard, Hans; Bøgholm, Thomas; Frost, Christian

2012-01-01

We present a rationale for a selection of tools that assist developers of hard real-time applications to verify that programs conform to a Java real-time profile and that platform-specific resource constraints are satisfied. These tools are specialised instances of more generic static analysis...... and model checking frameworks. The concepts are illustrated by two case studies, and the strengths and the limitations of the tools are discussed....

A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs

Science.gov (United States)

2005-05-24

source code are routinely executed. The source code is written in languages ranging from C/C++/Java to ML/ Ocaml . These languages differ not only in...from the difficulty to model computer programs—due to the complexity of programming languages as compared to hardware description languages —to...intermediate specification language lying between high-level Statechart- like formalisms and transition systems. Actions are encoded as changes in

Learning JavaScript data structures and algorithms

CERN Document Server

Groner, Loiane

2014-01-01

If you are a JavaScript developer or someone who has basic knowledge of JavaScript, and want to explore its optimum ability, this fast-paced book is definitely for you. Programming logic is the only thing you need to know to start having fun with algorithms.

WCET Analysis of Java Bytecode Featuring Common Execution Environments

DEFF Research Database (Denmark)

Luckow, Kasper Søe; Thomsen, Bent; Frost, Christian

2011-01-01

We present a novel tool for statically determining the Worst Case Execution Time (WCET) of Java Bytecode-based programs called Tool for Execution Time Analysis of Java bytecode (TetaJ). This tool differentiates itself from existing tools by separating the individual constituents of the execution...... environment into independent components. The prime benefit is that it can be used for execution environments featuring common embedded processors and software implementations of the JVM. TetaJ employs a model checking approach for statically determining WCET where the Java program, the JVM, and the hardware...

JavaScript Cookbook

CERN Document Server

Powers, Shelley

2010-01-01

Why reinvent the wheel every time you run into a problem with JavaScript? This cookbook is chock-full of code recipes that address common programming tasks, as well as techniques for building web apps that work in any browser. Just copy and paste the code samples into your project -- you'll get the job done faster and learn more about JavaScript in the process. You'll also learn how to take advantage of the latest features in ECMAScript 5 and HTML5, including the new cross-domain widget communication technique, HTML5's video and audio elements, and the drawing canvas. You'll find recipes for

Java Dust: How Small Can Embedded Java Be?

DEFF Research Database (Denmark)

Caska, James; Schoeberl, Martin

2011-01-01

Java is slowly being accepted as a language and platform for embedded devices. However, the memory requirements of the Java library and runtime are still troublesome. A Java system is considered small when it requires less than 1 MB, and within the embedded domain small microcontollers with a few...... KB on-chip Flash memory and even less on-chip RAM are very common. For such small devices Java is a clearly challenging. In this paper we present the combination of the Java compiler Muvium for microcontrollers with the tiny soft-core Leros for an FPGA. To the best of our knowledge, the presented...... embedded Java system is the smallest Java system available. The Leros processor consumes less than 5% of the logic cells of the smallest FPGA from Altera and the Muvium compiler produces a JVM, including the Java application, that can execute in a few KB ROM and less than 1 KB RAM. The Leros processor...

Recaf: Java dialects as libraries

NARCIS (Netherlands)

Biboudis, A. (Aggelos); P.A. Inostroza Valdera (Pablo); T. van der Storm (Tijs)

2016-01-01

textabstractMainstream programming languages like Java have limited support for language extensibility. Without mechanisms for syntactic abstraction, new programming styles can only be embedded in the form of libraries, limiting expressiveness. In this paper, we present Recaf, a lightweight tool for

Java programming and Internet technologies for undergraduate education

Science.gov (United States)

Christian, Wolfgang

2000-05-01

Although it is somewhat of a cliché that computers are revolutionizing education, it is still not common to find computer-based interactive curricular material. Internet technologies are likely to change this situation by providing standards based on virtual machines and meta-languages. Adopting these technologies may improve the teaching of the underlying physics. This paper describes a set of Java applets, known as Physlets, that make use of these technologies. Physlets are designed to communicate with browsers by employing a scripting language such as JavaScript, thereby allowing one applet to be used in many different contexts.

Distributed, Embedded and Real-time Java Systems

CERN Document Server

Wellings, Andy

2012-01-01

Research on real-time Java technology has been prolific over the past decade, leading to a large number of corresponding hardware and software solutions, and frameworks for distributed and embedded real-time Java systems.  This book is aimed primarily at researchers in real-time embedded systems, particularly those who wish to understand the current state of the art in using Java in this domain.  Much of the work in real-time distributed, embedded and real-time Java has focused on the Real-time Specification for Java (RTSJ) as the underlying base technology, and consequently many of the Chapters in this book address issues with, or solve problems using, this framework. Describes innovative techniques in: scheduling, memory management, quality of service and communication systems supporting real-time Java applications; Includes coverage of multiprocessor embedded systems and parallel programming; Discusses state-of-the-art resource management for embedded systems, including Java’s real-time garbage collect...

Formalising the Safety of Java, the Java Virtual Machine and Java Card

OpenAIRE

Hartel, Pieter H.; Moreau, Luc

2001-01-01

We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smart cards. The conclusion is that while a lot of good work has been done, a more concerted effort is needed to build a coherent set of machine readable formal models of the whole of Java and its implementation. This is a formidable task but we believe it is essential to building trust in Java safety, and thence to achieve ITSEC level 6 or Common C...

Beginning JavaFX

CERN Document Server

Mohan, Praveen

2010-01-01

The open source JavaFX platform offers a Java-based approach to rich Internet application (RIA) development - an alternative to Adobe Flash/Flex and Microsoft Silverlight. At over 100 million downloads, the new JavaFX is poised to be a significant player now. Written by a JavaFX engineer and developer, this book is one of the first on the new JavaFX platform to give you the following: * The fundamentals of JavaFX scripting on desktop and mobile platforms * Examples of RIAs using JavaFX Graphics * Media and animation using JavaFX See how JavaFX gives you dynamic Java effects in your RIA applica

JAVA CLASSES FOR NONPROCEDURAL VARIOGRAM MONITORING

Science.gov (United States)

A set of Java classes was written for variogram modeling to support research for US EPA's Regional Vulnerability Assessment Program (ReVA). The modeling objectives of this research program are to use conceptual programming tools for numerical analysis for regional risk assessm...

The Operational Semantics of a Java Secure Processor

NARCIS (Netherlands)

Hartel, Pieter H.; Butler, M.J.; Levy, M.; Alves-Foss, J.

1999-01-01

A formal specification of a Java Secure Processor is presented, which is mechanically checked for type consistency, well formedness and operational conservativity. The specification is executable and it is used to animate and study the behaviour of sample Java programs. The purpose of the semantics

Relaxed Operational Semantics of Concurrent Programming Languages

Directory of Open Access Journals (Sweden)

Gustavo Petri

2012-08-01

Full Text Available We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model. Our framework features a "temporary store" where the memory operations issued by the threads are recorded, in program order. A memory model then specifies the conditions under which a pending operation from this sequence is allowed to be globally performed, possibly out of order. The memory model also involves a "write grain," accounting for architectures where a thread may read a write that is not yet globally visible. Our formal model is supported by a software simulator, allowing us to run litmus tests in our semantics.

Socioeconomic and familial characteristics influence caretakers' adherence to the periodic vitamin A capsule supplementation program in Central Java, Indonesia.

Science.gov (United States)

Pangaribuan, Rosnani; Scherbaum, Veronika; Erhardt, Jürgen G; Sastroamidjojo, Soemilah; Biesalski, Hans K

2004-06-01

The adherence of program participants to periodic vitamin A capsule (VAC) supplementation among children aged 1-5 years (n = 677) in Central Java, Indonesia was assessed. Fourteen villages from five sub-districts and one ward from one sub-district in Central Java were included in the study to represent rural and suburban areas. All questions about demographic factors, socioeconomic conditions, current dietary practice and healthcare-seeking attitudes for common childhood illnesses, previous breastfeeding experience, their knowledge about vitamin A and adherence to the VAC program after capsule distribution (two periods in 2000) were asked. Caretakers with limited knowledge about the health benefits of vitamin A, households with more than one preschool child, and households with older children (> 36 months) were associated with a decreased likelihood of regular participation in the program with odds ratios of 0.38, 0.55, and 0.26, respectively (p program regularly with an odds ratio of 2.02 (p program.

Database Access through Java Technologies

Directory of Open Access Journals (Sweden)

Nicolae MERCIOIU

2010-09-01

Full Text Available As a high level development environment, the Java technologies offer support to the development of distributed applications, independent of the platform, providing a robust set of methods to access the databases, used to create software components on the server side, as well as on the client side. Analyzing the evolution of Java tools to access data, we notice that these tools evolved from simple methods that permitted the queries, the insertion, the update and the deletion of the data to advanced implementations such as distributed transactions, cursors and batch files. The client-server architectures allows through JDBC (the Java Database Connectivity the execution of SQL (Structured Query Language instructions and the manipulation of the results in an independent and consistent manner. The JDBC API (Application Programming Interface creates the level of abstractization needed to allow the call of SQL queries to any DBMS (Database Management System. In JDBC the native driver and the ODBC (Open Database Connectivity-JDBC bridge and the classes and interfaces of the JDBC API will be described. The four steps needed to build a JDBC driven application are presented briefly, emphasizing on the way each step has to be accomplished and the expected results. In each step there are evaluations on the characteristics of the database systems and the way the JDBC programming interface adapts to each one. The data types provided by SQL2 and SQL3 standards are analyzed by comparison with the Java data types, emphasizing on the discrepancies between those and the SQL types, but also the methods that allow the conversion between different types of data through the methods of the ResultSet object. Next, starting from the metadata role and studying the Java programming interfaces that allow the query of result sets, we will describe the advanced features of the data mining with JDBC. As alternative to result sets, the Rowsets add new functionalities that

Visualization of independence and dependence for program concurrency

International Nuclear Information System (INIS)

Belady, L.A.; Hosokawa, K.

1984-01-01

In order to fully utilize the CRT device's dynamic and two dimensional capabilities, a new way of thinking about programs and an associated notation are proposed. The scheme permits the explicit indication of the program's potential for parallel execution. The image created by the programmer on the screen provides the compiler with sequencing and concurrency information, while at the same time serves as a visual feedback to the programmer. So far the way of programming in two dimensions is just an idea and has not yet been tried either on a real life problem or by employing real life programmers. The authors are attempting a quick implementation in the form of a front end to an existing language

A real-time Java tool chain for resource constrained platforms

DEFF Research Database (Denmark)

Korsholm, Stephan Erbs; Søndergaard, Hans; Ravn, Anders P.

2013-01-01

The Java programming language was originally developed for embedded systems, but the resource requirements of previous and current Java implementations - especially memory consumption - tend to exclude them from being used on a significant class of resource constrained embedded platforms. The con......The Java programming language was originally developed for embedded systems, but the resource requirements of previous and current Java implementations - especially memory consumption - tend to exclude them from being used on a significant class of resource constrained embedded platforms...... by integrating: (1) a lean virtual machine (HVM) without any external dependencies on POSIX-like libraries or other OS functionalities, (2) a hardware abstraction layer, implemented almost entirely in Java through the use of hardware objects, first level interrupt handlers, and native variables, and (3....... An evaluation of the presented solution shows that the miniCDj benchmark gets reduced to a size where it can run on resource constrained platforms....

Integrating R and Java for Enhancing Interactivity of Algorithmic Data Analysis Software Solutions

Directory of Open Access Journals (Sweden)

Titus Felix FURTUNĂ

2016-06-01

Full Text Available Conceiving software solutions for statistical processing and algorithmic data analysis involves handling diverse data, fetched from various sources and in different formats, and presenting the results in a suggestive, tailorable manner. Our ongoing research aims to design programming technics for integrating R developing environment with Java programming language for interoperability at a source code level. The goal is to combine the intensive data processing capabilities of R programing language, along with the multitude of statistical function libraries, with the flexibility offered by Java programming language and platform, in terms of graphical user interface and mathematical function libraries. Both developing environments are multiplatform oriented, and can complement each other through interoperability. R is a comprehensive and concise programming language, benefiting from a continuously expanding and evolving set of packages for statistical analysis, developed by the open source community. While is a very efficient environment for statistical data processing, R platform lacks support for developing user friendly, interactive, graphical user interfaces (GUIs. Java on the other hand, is a high level object oriented programming language, which supports designing and developing performant and interactive frameworks for general purpose software solutions, through Java Foundation Classes, JavaFX and various graphical libraries. In this paper we treat both aspects of integration and interoperability that refer to integrating Java code into R applications, and bringing R processing sequences into Java driven software solutions. Our research has been conducted focusing on case studies concerning pattern recognition and cluster analysis.

A real-time Java tool chain for resource constrained platforms

DEFF Research Database (Denmark)

Korsholm, Stephan E.; Søndergaard, Hans; Ravn, Anders Peter

2014-01-01

The Java programming language was originally developed for embedded systems, but the resource requirements of previous and current Java implementations – especially memory consumption – tend to exclude them from being used on a significant class of resource constrained embedded platforms. The con......The Java programming language was originally developed for embedded systems, but the resource requirements of previous and current Java implementations – especially memory consumption – tend to exclude them from being used on a significant class of resource constrained embedded platforms...... by integrating the following: (1) a lean virtual machine without any external dependencies on POSIX-like libraries or other OS functionalities; (2) a hardware abstraction layer, implemented almost entirely in Java through the use of hardware objects, first level interrupt handlers, and native variables; and (3....... An evaluation of the presented solution shows that the miniCDj benchmark gets reduced to a size where it can run on resource constrained platforms....

Concurrent Programming Using Actors: Exploiting Large-Scale Parallelism,

Science.gov (United States)

1985-10-07

ORGANIZATION NAME AND ADDRESS 10. PROGRAM ELEMENT. PROJECT. TASK* Artificial Inteligence Laboratory AREA Is WORK UNIT NUMBERS 545 Technology Square...D-R162 422 CONCURRENT PROGRMMIZNG USING f"OS XL?ITP TEH l’ LARGE-SCALE PARALLELISH(U) NASI AC E Al CAMBRIDGE ARTIFICIAL INTELLIGENCE L. G AGHA ET AL...RESOLUTION TEST CHART N~ATIONAL BUREAU OF STANDA.RDS - -96 A -E. __ _ __ __’ .,*- - -- •. - MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL

Learning PHP, MySQL, and JavaScript

CERN Document Server

Nixon, Robin

2009-01-01

If you know HTML, this guide will have you building interactive websites quickly. You'll learn how to create responsive, data-driven websites with PHP, MySQL, and JavaScript, regardless of whether you already know how to program. Discover how the powerful combination of PHP and MySQL provides an easy way to build modern websites complete with dynamic data and user interaction. You'll also learn how to add JavaScript to create rich Internet applications and websites. Learning PHP, MySQL, and JavaScript explains each technology separately, shows you how to combine them, and introduces valuable

Thirteen years and counting: Outcomes of a concurrent ASN/BSN enrollment program.

Science.gov (United States)

Heglund, Stephen; Simmons, Jessica; Wink, Diane; D'Meza Leuner, Jean

In their 2011 report, The Future of Nursing, the Institute of Medicine called for 80% of the nursing workforce to be comprised of baccalaureate prepared Registered Nurses by the year 2020. One suggested approach to achieve this goal is the creation of programs that allow students to progress through associate and baccalaureate nursing preparation simultaneously. This paper describes the University of Central Florida's 13-year experience after implementing a Concurrent Enrollment Program. Development and structure of the program, advisement and curriculum details, facilitators and barriers are described. Data on National Council Licensure Examination for Registered Nurses pass rates, completion rates, comparison with traditional RN-BSN students, and progression to graduate school are also included. The Concurrent Program model described here between a specific university and state college partners, demonstrated positive outcomes that support achievement of the Institute of Medicine's goals. Copyright © 2017 Elsevier Inc. All rights reserved.

A Tutorial on Parallel and Concurrent Programming in Haskell

Science.gov (United States)

Peyton Jones, Simon; Singh, Satnam

This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs by using annotations to express opportunities for parallelism and to help control the granularity of parallelism for effective execution on modern operating systems and processors. We then describe the mechanisms provided by Haskell for writing explicitly parallel programs with a focus on the use of software transactional memory to help share information between threads. Finally, we show how nested data parallelism can be used to write deterministically parallel programs which allows programmers to use rich data types in data parallel programs which are automatically transformed into flat data parallel versions for efficient execution on multi-core processors.

Building Safe Concurrency Abstractions

DEFF Research Database (Denmark)

Madsen, Ole Lehrmann

2014-01-01

Concurrent object-oriented programming in Beta is based on semaphores and coroutines and the ability to define high-level concurrency abstractions like monitors, and rendezvous-based communication, and their associated schedulers. The coroutine mechanism of SIMULA has been generalized into the no......Concurrent object-oriented programming in Beta is based on semaphores and coroutines and the ability to define high-level concurrency abstractions like monitors, and rendezvous-based communication, and their associated schedulers. The coroutine mechanism of SIMULA has been generalized...

Automated Source Code Analysis to Identify and Remove Software Security Vulnerabilities: Case Studies on Java Programs

OpenAIRE

Natarajan Meghanathan

2013-01-01

The high-level contribution of this paper is to illustrate the development of generic solution strategies to remove software security vulnerabilities that could be identified using automated tools for source code analysis on software programs (developed in Java). We use the Source Code Analyzer and Audit Workbench automated tools, developed by HP Fortify Inc., for our testing purposes. We present case studies involving a file writer program embedded with features for password validation, and ...

JSME: a free molecule editor in JavaScript.

Science.gov (United States)

Bienfait, Bruno; Ertl, Peter

2013-01-01

A molecule editor, i.e. a program facilitating graphical input and interactive editing of molecules, is an indispensable part of every cheminformatics or molecular processing system. Today, when a web browser has become the universal scientific user interface, a tool to edit molecules directly within the web browser is essential. One of the most popular tools for molecular structure input on the web is the JME applet. Since its release nearly 15 years ago, however the web environment has changed and Java applets are facing increasing implementation hurdles due to their maintenance and support requirements, as well as security issues. This prompted us to update the JME editor and port it to a modern Internet programming language - JavaScript. The actual molecule editing Java code of the JME editor was translated into JavaScript with help of the Google Web Toolkit compiler and a custom library that emulates a subset of the GUI features of the Java runtime environment. In this process, the editor was enhanced by additional functionalities including a substituent menu, copy/paste, drag and drop and undo/redo capabilities and an integrated help. In addition to desktop computers, the editor supports molecule editing on touch devices, including iPhone, iPad and Android phones and tablets. In analogy to JME the new editor is named JSME. This new molecule editor is compact, easy to use and easy to incorporate into web pages. A free molecule editor written in JavaScript was developed and is released under the terms of permissive BSD license. The editor is compatible with JME, has practically the same user interface as well as the web application programming interface. The JSME editor is available for download from the project web page http://peter-ertl.com/jsme/

Integrated Java Bytecode Verification

DEFF Research Database (Denmark)

Gal, Andreas; Probst, Christian; Franz, Michael

2005-01-01

Existing Java verifiers perform an iterative data-flow analysis to discover the unambiguous type of values stored on the stack or in registers. Our novel verification algorithm uses abstract interpretation to obtain definition/use information for each register and stack location in the program...

Estimating radiological consequences using the Java programming language

International Nuclear Information System (INIS)

Crawford, J.; Hayward, M.; Harris, F.; Domel, R.

1998-01-01

At the Australian Nuclear Science and Technology Organisation (ANSTO) a model is being developed to determine critical parameters affecting radioactive doses to humans following a release of radionuclides into the atmosphere. Java programming language was chosen because of the Graphical User Interface (GUI) capabilities and its portability across computer platforms, which were a requirement for the application, called RadCon. The mathematical models are applied over the 2D region, performing time varying calculations of dose to humans for each grid point, according to user selected options. The information combined includes: two dimensional time varying air and ground concentrations, transfer factors from soil to plant, plant to animal, plant to humans, plant interception factors to determine amount of radionuclide on plant surfaces, dosimetric data, such as dose conversion factors and user defined parameters, e.g. soil types, lifestyle, diet of animals and humans. Details of the software requirements, pathway parameters and implementation of RadCon are given

Estimating radiological consequences using the Java programming language

Energy Technology Data Exchange (ETDEWEB)

Crawford, J.; Hayward, M. [Australian Nuclear Science and Technology Organisation (ANSTO), Lucas Heights, NSW (Australia). Information Management Div; Harris, F.; Domel, R. [Australian Nuclear Science and Technology Organisation (ANSTO), Lucas Heights, NSW (Australia). Safety Div.

1998-12-31

At the Australian Nuclear Science and Technology Organisation (ANSTO) a model is being developed to determine critical parameters affecting radioactive doses to humans following a release of radionuclides into the atmosphere. Java programming language was chosen because of the Graphical User Interface (GUI) capabilities and its portability across computer platforms, which were a requirement for the application, called RadCon. The mathematical models are applied over the 2D region, performing time varying calculations of dose to humans for each grid point, according to user selected options. The information combined includes: two dimensional time varying air and ground concentrations, transfer factors from soil to plant, plant to animal, plant to humans, plant interception factors to determine amount of radionuclide on plant surfaces, dosimetric data, such as dose conversion factors and user defined parameters, e.g. soil types, lifestyle, diet of animals and humans. Details of the software requirements, pathway parameters and implementation of RadCon are given 10 refs., 2 tabs., 4 figs.

Symbolic PathFinder: Symbolic Execution of Java Bytecode

Science.gov (United States)

Pasareanu, Corina S.; Rungta, Neha

2010-01-01

Symbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint solving for automated test case generation and error detection in Java programs with unspecified inputs. In this tool, programs are executed on symbolic inputs representing multiple concrete inputs. Values of variables are represented as constraints generated from the analysis of Java bytecode. The constraints are solved using off-the shelf solvers to generate test inputs guaranteed to achieve complex coverage criteria. SPF has been used successfully at NASA, in academia, and in industry.

Java facilities in processing XML files - JAXB and generating PDF reports

Directory of Open Access Journals (Sweden)

Danut-Octavian SIMION

2008-01-01

Full Text Available The paper presents the Java programming language facilities in working with XML files using JAXB (The Java Architecture for XML Binding technology and generating PDF reports from XML files using Java objects. The XML file can be an existing one and could contain the data about an entity (Clients for example or it might be the result of a SELECT-SQL statement. JAXB generates JAVA classes through xs rules and a Marshalling, Unmarshalling compiler. The PDF file is build from a XML file and uses XSL-FO formatting file and a Java ResultSet object.

Activity, exposure rate and spectrum prediction with Java programming

International Nuclear Information System (INIS)

Sahin, D.; Uenlue, K.

2009-01-01

In order to envision the radiation exposure during Neutron Activation Analysis (NAA) experiments, a software called Activity Predictor is developed using Java TM programming language. The Activity Predictor calculates activities, exposure rates and gamma spectra of activated samples for NAA experiments performed at Radiation Science and Engineering Center (RSEC), Penn State Breazeale Reactor (PSBR). The calculation procedure for predictions involves both analytical and Monte Carlo methods. The Activity Predictor software is validated with a series of activation experiments. It has been found that Activity Predictor software calculates the activities and exposure rates precisely. The software also predicts gamma spectrum for each measurement. The predicted spectra agreed partially with measured spectra. The error in net photo peak areas varied from 4.8 to 51.29%, which is considered to be due to simplistic modeling, statistical fluctuations and unknown contaminants in the samples. (author)

JavaScript bible

CERN Document Server

Goodman, Danny; Novitski, Paul; Rayl, Tia Gustaffl

2009-01-01

The bestselling JavaScript reference, now updated to reflect changes in technology and best practices. As the most comprehensive book on the market, the JavaScript Bible is a classic bestseller that keeps you up to date on the latest changes in JavaScript, the leading technology for incorporating interactivity into Web pages. Part tutorial, part reference, this book serves as both a learning tool for building new JavaScript skills as well as a detailed reference for the more experienced JavaScript user. You'll get up-to-date coverage on the latest JavaScript practices that have been implemente

Begining Java EE 7

CERN Document Server

Gonclaves, Antonio

2013-01-01

Java Enterprise Edition (Java EE) continues to be one of the leading Java technologies and platforms. Beginning Java EE 7 is the first tutorial book on Java EE 7. Step by step and easy to follow, this book describes many of the Java EE 7 specifications and reference implementations, and shows them in action using practical examples. This definitive book also uses the newest version of GlassFish to deploy and administer the code examples. Written by an expert member of the Java EE specification request and review board in the Java Community Process (JCP), this book contains the best information possible, from an expert’s perspective on enterprise Java technologies.

JavaScript Pocket Reference

CERN Document Server

Flanagan, David

1998-01-01

JavaScript is a powerful, object-based scripting language that can be embedded directly in HTML pages. It allows you to create dynamic, interactive Web-based applications that run completely within a Web browser -- JavaScript is the language of choice for developing Dynamic HTML (DHTML) content. JavaScript can be integrated effectively with CGI and Java to produce sophisticated Web applications, although, in many cases, JavaScript eliminates the need for complex CGI scripts and Java applets altogether. The JavaScript Pocket Reference is a companion volume to JavaScript: The Definitive Guide

GyroBoy – a self-balancing robot programmed in JAVA with leJOS EV3

DEFF Research Database (Denmark)

Christensen, Bjørn Klint

GyroBoy is a self-balancing robot created by LEGO as a demonstration of what you can build with the EV3 LEGO Mindstorms education kit. The kit includes building instructions as well as a control program for GyroBoy developed in LEGO´s so called block-programming language. In this article I will p...... will present a similar control program developed in Java using the leJOS EV3 class library.......GyroBoy is a self-balancing robot created by LEGO as a demonstration of what you can build with the EV3 LEGO Mindstorms education kit. The kit includes building instructions as well as a control program for GyroBoy developed in LEGO´s so called block-programming language. In this article I...

Safety-critical Java for low-end embedded platforms

DEFF Research Database (Denmark)

Søndergaard, Hans; Korsholm, Stephan E.; Ravn, Anders Peter

2012-01-01

We present an implementation of the Safety-Critical Java profile (SCJ), targeted for low-end embedded platforms with as little as 16 kB RAM and 256 kB flash. The distinctive features of the implementation are a combination of a lean Java virtual machine (HVM), with a bare metal kernel implementing...... hardware objects, first level interrupt handlers, and native variables, and an infrastructure written in Java which is minimized through program specialization. The HVM allows the implementation to be easily ported to embedded platforms which have a C compiler as part of the development environment...

Secure Refactoring with Java Information Flow

DEFF Research Database (Denmark)

Helke, Steffen; Kammüunietd kller, Florian; Probst, Christian W.

2016-01-01

Refactoring means that a program is changed without changing its behaviour from an observer's point of view. Does the change of behaviour also imply that the security of the program is not affected by the changes? Using Myers and Liskov's distributed information flow control model DLM and its Java...

JavaScript and jQuery for data analysis and visualization

CERN Document Server

Raasch, Jon; Ogievetsky, Vadim; Lowery, Joseph

2014-01-01

Go beyond design concepts-build dynamic data visualizations using JavaScript JavaScript and jQuery for Data Analysis and Visualization goes beyond design concepts to show readers how to build dynamic, best-of-breed visualizations using JavaScript-the most popular language for web programming. The authors show data analysts, developers, and web designers how they can put the power and flexibility of modern JavaScript libraries to work to analyze data and then present it using best-of-breed visualizations. They also demonstrate the use of each technique with real-world use cases, showing how to

Language Based Security for Java and JML

NARCIS (Netherlands)

Warnier, M.E.

2006-01-01

Programs contain bugs. Finding program bugs is important, especially in situations where safety and security of a program is required. This thesis proposes a number of analysis methods for enforcing the absence of such bugs. In the first part of the thesis the Java Modeling Language (JML) is the

Numeric computation and statistical data analysis on the Java platform

CERN Document Server

Chekanov, Sergei V

2016-01-01

Numerical computation, knowledge discovery and statistical data analysis integrated with powerful 2D and 3D graphics for visualization are the key topics of this book. The Python code examples powered by the Java platform can easily be transformed to other programming languages, such as Java, Groovy, Ruby and BeanShell. This book equips the reader with a computational platform which, unlike other statistical programs, is not limited by a single programming language. The author focuses on practical programming aspects and covers a broad range of topics, from basic introduction to the Python language on the Java platform (Jython), to descriptive statistics, symbolic calculations, neural networks, non-linear regression analysis and many other data-mining topics. He discusses how to find regularities in real-world data, how to classify data, and how to process data for knowledge discoveries. The code snippets are so short that they easily fit into single pages. Numeric Computation and Statistical Data Analysis ...

Java Series: Java Essentials II Advanced Language Constructs

CERN Multimedia

CERN. Geneva

2000-01-01

This tutorial will show how Java uses important language constructs, and the set of classes typically used in common tasks. It will briefly show conditional and loops structures and then will introduce the most significative classes included in the java.util package, such as vectors, collections, enumeration, etc. It will finally explain the usage and handling of exceptions in Java.Organiser(s): M.Marquina and R.Ramos /IT-User Support

Actors at work

NARCIS (Netherlands)

Nobakht, Behrooz

2016-01-01

The core contributions of this thesis target the intersection of object orientation, actor model, and concurrency. We choose Java as the main target programming language and as one of the mainstream object-oriented languages. We formalize a subset of Java and its concurrency API to facilitate formal

Java EE 7 handbook

CERN Document Server

Pilgrim, Peter A

2013-01-01

Java EE 7 Handbook is an example based tutorial with descriptions and explanations.""Java EE 7 Handbook"" is for the developer, designer, and architect aiming to get acquainted with the Java EE platform in its newest edition. This guide will enhance your knowledge about the Java EE 7 platform. Whether you are a long-term Java EE (J2EE) developer or an intermediate level engineer on the JVM with just Java SE behind you, this handbook is for you, the new contemporary Java EE 7 developer!

Real-time Java simulations of multiple interference dielectric filters

Science.gov (United States)

Kireev, Alexandre N.; Martin, Olivier J. F.

2008-12-01

An interactive Java applet for real-time simulation and visualization of the transmittance properties of multiple interference dielectric filters is presented. The most commonly used interference filters as well as the state-of-the-art ones are embedded in this platform-independent applet which can serve research and education purposes. The Transmittance applet can be freely downloaded from the site http://cpc.cs.qub.ac.uk. Program summaryProgram title: Transmittance Catalogue identifier: AEBQ_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEBQ_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 5778 No. of bytes in distributed program, including test data, etc.: 90 474 Distribution format: tar.gz Programming language: Java Computer: Developed on PC-Pentium platform Operating system: Any Java-enabled OS. Applet was tested on Windows ME, XP, Sun Solaris, Mac OS RAM: Variable Classification: 18 Nature of problem: Sophisticated wavelength selective multiple interference filters can include some tens or even hundreds of dielectric layers. The spectral response of such a stack is not obvious. On the other hand, there is a strong demand from application designers and students to get a quick insight into the properties of a given filter. Solution method: A Java applet was developed for the computation and the visualization of the transmittance of multilayer interference filters. It is simple to use and the embedded filter library can serve educational purposes. Also, its ability to handle complex structures will be appreciated as a useful research and development tool. Running time: Real-time simulations

Safety-critical Java on a Java processor

DEFF Research Database (Denmark)

Schoeberl, Martin; Rios Rivas, Juan Ricardo

2012-01-01

The safety-critical Java (SCJ) specification is developed within the Java Community Process under specification request number JSR 302. The specification is available as public draft, but details are still discussed by the expert group. In this stage of the specification we need prototype...... implementations of SCJ and first test applications that are written with SCJ, even when the specification is not finalized. The feedback from those prototype implementations is needed for final decisions. To help the SCJ expert group, a prototype implementation of SCJ on top of the Java optimized processor...

CAL3JHH: a Java program to calculate the vicinal coupling constants (3J H,H) of organic molecules.

Science.gov (United States)

Aguirre-Valderrama, Alonso; Dobado, José A

2008-12-01

Here, we present a free web-accessible application, developed in the JAVA programming language for the calculation of vicinal coupling constant (3J(H,H)) of organic molecules with the H-Csp3-Csp3-H fragment. This JAVA applet is oriented to assist chemists in structural and conformational analyses, allowing the user to calculate the averaged 3J(H,H) values among conformers, according to its Boltzmann populations. Thus, the CAL3JHH program uses the Haasnoot-Leeuw-Altona equation, and, by reading the molecule geometry from a protein data bank (PDB) file format or from multiple pdb files, automatically detects all the coupled hydrogens, evaluating the data needed for this equation. Moreover, a "Graphical viewer" menu allows the display of the results on the 3D molecule structure, as well as the plotting of the Newman projection for the couplings.

Protected Objects in Java

DEFF Research Database (Denmark)

Løvengreen, Hans Henrik; Schwarzer, Jens Christian

1998-01-01

We present an implementation of Ada 95's notion of protected objects in Java. The implementation comprises a class library supporting entry queues and a (pre-) compiler translating slightly decorated Java classes to pure Java classes utilizing the library.......We present an implementation of Ada 95's notion of protected objects in Java. The implementation comprises a class library supporting entry queues and a (pre-) compiler translating slightly decorated Java classes to pure Java classes utilizing the library....

Java SOA Cookbook

CERN Document Server

Hewitt, Eben

2009-01-01

Java SOA Cookbook offers practical solutions and advice to programmers charged with implementing a service-oriented architecture (SOA) in their organization. Instead of providing another conceptual, high-level view of SOA, this cookbook shows you how to make SOA work. It's full of Java and XML code you can insert directly into your applications and recipes you can apply right away. The book focuses primarily on the use of free and open source Java Web Services technologies -- including Java SE 6 and Java EE 5 tools -- but you'll find tips for using commercially available tools as well. Jav

Formalizing the Safety of Java, the Java Virtual Machine and Java Card

NARCIS (Netherlands)

Hartel, Pieter H.; Moreau, Luc

2001-01-01

We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smart cards. The conclusion is that while a lot of good work has been done, a more concerted effort is needed to build a coherent set of machine readable

Scientific Programming Using Java and C: A Remote Sensing Example

Science.gov (United States)

Prados, Donald; Johnson, Michael; Mohamed, Mohamed A.; Cao, Chang-Yong; Gasser, Jerry; Powell, Don; McGregor, Lloyd

1999-01-01

This paper presents results of a project to port code for processing remotely sensed data from the UNIX environment to Windows. Factors considered during this process include time schedule, cost, resource availability, reuse of existing code, rapid interface development, ease of integration, and platform independence. The approach selected for this project used both Java and C. By using Java for the graphical user interface and C for the domain model, the strengths of both languages were utilized and the resulting code can easily be ported to other platforms. The advantages of this approach are discussed in this paper.

A development methodology for a remote inspection system with JAVA and socket

International Nuclear Information System (INIS)

Choi, Yoo Rark; Lee, Jae Cheol; Kim, Jae Hee

2004-01-01

We have developed RISYS (Reactor Inspection System) which inspects reactor vessel welds by an underwater mobile robot. The system consists of a main control computer and an inspection robot which is controlled by the main control computer. Since the environments of the inspection tasks in a nuclear plant, like in other industrial fields, is very poor, serious accidents often happen. Therefore the necessity for remote inspection and control system has increased more and more. We have carried out the research for a remote inspection model for RISYS, and have adopted the world wide web, java, and socket technologies for it. Client interface to access the main control computer that controls the inspection equipment is essential for the development of a remote inspection system. It has been developed with a traditional programming language, for example, Visual C++, Visual Basic and X-Window. However, it is too expensive to vend and maintain the version of a interface program because of the different computer O/S. Nevertheless web and java technologies come to the fore to solve the problems but the java interpreting typed language could incur a performance problem in operating the remote inspection system. We suggest a methodology for developing a remote inspection system with java, a traditional programming language, and a socket programming that solves the java performance problem in this paper

Pro Java ME Apps

CERN Document Server

Iliescu, Ovidiu

2011-01-01

Pro Java ME Apps gives you, the developer, the know-how required for writing sophisticated Java ME applications and for taking advantage of this huge potential market. Java ME is the largest mobile software platform in the world, supported by over 80% of all phones. You'll cover what Java ME is and how it compares to other mobile software platforms, how to properly design and structure Java ME applications, how to think like an experienced Java ME developer, what common problems and pitfalls you may run into, how to optimize your code, and many other key topics. Unlike other Java ME books out

A numerical library in Java for scientists and engineers

CERN Document Server

Lau, Hang T

2003-01-01

At last researchers have an inexpensive library of Java-based numeric procedures for use in scientific computation. The first and only book of its kind, A Numeric Library in Java for Scientists and Engineers is a translation into Java of the library NUMAL (NUMerical procedures in ALgol 60). This groundbreaking text presents procedural descriptions for linear algebra, ordinary and partial differential equations, optimization, parameter estimation, mathematical physics, and other tools that are indispensable to any dynamic research group. The book offers test programs that allow researchers to execute the examples provided; users are free to construct their own tests and apply the numeric procedures to them in order to observe a successful computation or simulate failure. The entry for each procedure is logically presented, with name, usage parameters, and Java code included. This handbook serves as a powerful research tool, enabling the performance of critical computations in Java. It stands as a cost-effi...

JVM: Java Visual Mapping tool for next generation sequencing read.

Science.gov (United States)

Yang, Ye; Liu, Juan

2015-01-01

We developed a program JVM (Java Visual Mapping) for mapping next generation sequencing read to reference sequence. The program is implemented in Java and is designed to deal with millions of short read generated by sequence alignment using the Illumina sequencing technology. It employs seed index strategy and octal encoding operations for sequence alignments. JVM is useful for DNA-Seq, RNA-Seq when dealing with single-end resequencing. JVM is a desktop application, which supports reads capacity from 1 MB to 10 GB.

Safety-critical Java on a time-predictable processor

DEFF Research Database (Denmark)

Korsholm, Stephan E.; Schoeberl, Martin; Puffitsch, Wolfgang

2015-01-01

For real-time systems the whole execution stack needs to be time-predictable and analyzable for the worst-case execution time (WCET). This paper presents a time-predictable platform for safety-critical Java. The platform consists of (1) the Patmos processor, which is a time-predictable processor......; (2) a C compiler for Patmos with support for WCET analysis; (3) the HVM, which is a Java-to-C compiler; (4) the HVM-SCJ implementation which supports SCJ Level 0, 1, and 2 (for both single and multicore platforms); and (5) a WCET analysis tool. We show that real-time Java programs translated to C...... and compiled to a Patmos binary can be analyzed by the AbsInt aiT WCET analysis tool. To the best of our knowledge the presented system is the second WCET analyzable real-time Java system; and the first one on top of a RISC processor....

Hardware Support for Safety-critical Java Scope Checks

DEFF Research Database (Denmark)

Rios Rivas, Juan Ricardo; Schoeberl, Martin

2012-01-01

Memory management in Safety-Critical Java (SCJ) is based on time bounded, non garbage collected scoped memory regions used to store temporary objects. Scoped memory regions may have different life times during the execution of a program and hence, to avoid leaving dangling pointers, it is necessary...... in terms of execution time for applications where cross-scope references are frequent. Our proposal was implemented and tested on the Java Optimized Processor (JOP)....

Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment

DEFF Research Database (Denmark)

Zhao, Shuai; Wellings, Andy; Korsholm, Stephan Erbs

The current version of the Safety Critical Java (SCJ) specification defines three compliance levels. Level 0 targets single processor programs while Level 1 and 2 can support multiprocessor platforms. Level 1 programs must be fully partitioned but Level 2 programs can also be more globally...... scheduled. As of yet, there is no official Reference Implementation for SCJ. However, the icecap project has produced a Safety-Critical Java Run-time Environment based on the Hardware-near Virtual Machine (HVM). This supports SCJ at all compliance levels and provides an implementation of the safety......-critical Java (javax.safetycritical) package. This is still work-in-progress and lacks certain key features. Among these is the ability to support multiprocessor platforms. In this paper, we explore two possible options to adding multiprocessor support to this environment: the “green thread” and the “native...

JPLEX: Java Simplex Implementation with Branch-and-Bound Search for Automated Test Assembly

Science.gov (United States)

Park, Ryoungsun; Kim, Jiseon; Dodd, Barbara G.; Chung, Hyewon

2011-01-01

JPLEX, short for Java simPLEX, is an automated test assembly (ATA) program. It is a mixed integer linear programming (MILP) solver written in Java. It reads in a configuration file, solves the minimization problem, and produces an output file for postprocessing. It implements the simplex algorithm to create a fully relaxed solution and…

The Strategy of KPID West Java in Socializing Media Literacy

Directory of Open Access Journals (Sweden)

Lucy Pujasari Supratman

2017-07-01

Full Text Available The socialization strategy of media literacy which has done by KPID West Java (Regional-Indonesia Broadcasting Commission aims to strengthen national integration, national identity, and educate the nation. This study focused on the strategies of KPID West Java as an independent institution of the state in disseminating a variety of media literacy programs that have been run by the West Java KPID period 2015-2018 to promote media literacy. The author used a descriptive case study method. In this study, a case to be analyzed is in how KPID West Java disseminated the media literacy. The essence of media literacy conducted by KPID West Java is to grow the wise society in gratification media and to encourage the broadcaster’s institution to produce quality broadcasting content. KPID West Java as a representative of the public continues to call for media literacy socialization which is harder to be censored if there is no public participation in reporting a content violation. This form of socialization by using new media approach encourage KPID West Java Period 2015-2018 to develop steps of innovative media literacy along with the technology development.

Java Programs for Using Newmark's Method and Simplified Decoupled Analysis to Model Slope Performance During Earthquakes

Science.gov (United States)

Jibson, Randall W.; Jibson, Matthew W.

2003-01-01

Landslides typically cause a large proportion of earthquake damage, and the ability to predict slope performance during earthquakes is important for many types of seismic-hazard analysis and for the design of engineered slopes. Newmark's method for modeling a landslide as a rigid-plastic block sliding on an inclined plane provides a useful method for predicting approximate landslide displacements. Newmark's method estimates the displacement of a potential landslide block as it is subjected to earthquake shaking from a specific strong-motion record (earthquake acceleration-time history). A modification of Newmark's method, decoupled analysis, allows modeling landslides that are not assumed to be rigid blocks. This open-file report is available on CD-ROM and contains Java programs intended to facilitate performing both rigorous and simplified Newmark sliding-block analysis and a simplified model of decoupled analysis. For rigorous analysis, 2160 strong-motion records from 29 earthquakes are included along with a search interface for selecting records based on a wide variety of record properties. Utilities are available that allow users to add their own records to the program and use them for conducting Newmark analyses. Also included is a document containing detailed information about how to use Newmark's method to model dynamic slope performance. This program will run on any platform that supports the Java Runtime Environment (JRE) version 1.3, including Windows, Mac OSX, Linux, Solaris, etc. A minimum of 64 MB of available RAM is needed, and the fully installed program requires 400 MB of disk space.

Java for Cost Effective Embedded Real-Time Software

DEFF Research Database (Denmark)

Korsholm, Stephan Erbs

2012-01-01

This thesis presents the analysis, design and implementation of the Hardware near Virtual Machine (HVM) - a Java virtual machine for embedded devices. The HVM supports the execution of Java programs on low-end embedded hard- ware environments with as little as a few kB of RAM and 32 kB of ROM....... The HVM is based on a Java-to-C translation mechanism and it produces selfcontained, strict ANSI-C code that has been specially crafted to allow it to be embedded into existing C based build and execution environments; environ- ments which may be based on non standard C compilers and libraries. The HVM...... does not require a POSIX-like OS, nor does it require a C runtime library to be present for the target. The main distinguishing feature of the HVM is to support the stepwise addition of Java into an existing C based build and execution environment for low-end embedded systems. This will allow...

Java for Cost Effective Embedded Real-Time Software

DEFF Research Database (Denmark)

Korsholm, Stephan

This thesis presents the analysis, design and implementation of the Hardware near Virtual Machine (HVM) - a Java virtual machine for embedded devices. The HVM supports the execution of Java programs on low-end embedded hard- ware environments with as little as a few kB of RAM and 32 kB of ROM....... The HVM is based on a Java-to-C translation mechanism and it produces self- contained, strict ANSI-C code that has been specially crafted to allow it to be embedded into existing C based build and execution environments; environ- ments which may be based on non standard C compilers and libraries. The HVM...... does not require a POSIX-like OS, nor does it require a C runtime library to be present for the target. The main distinguishing feature of the HVM is to support the stepwise addition of Java into an existing C based build and execution environment for low-end embedded systems. This will allow...

JavaScript Patterns

CERN Document Server

Stefanov, Stoyan

2010-01-01

What's the best approach for developing an application with JavaScript? This book helps you answer that question with numerous JavaScript coding patterns and best practices. If you're an experienced developer looking to solve problems related to objects, functions, inheritance, and other language-specific categories, the abstractions and code templates in this guide are ideal -- whether you're writing a client-side, server-side, or desktop application with JavaScript. Written by JavaScript expert Stoyan Stefanov -- Senior Yahoo! Technical and architect of YSlow 2.0, the web page performance

Java across Different Curricula, Courses and Countries Using a Common Pool of Teaching Material

Science.gov (United States)

Ivanovic, Mirjana; Budimac, Zoran; Mishev, Anastas; Bothe, Klaus; Jurca, Ioan

2013-01-01

Under the auspices of a DAAD funded educational project, a subproject devoted to different aspects of teaching the Java programming language started several years ago. The initial intention of the subproject was to attract members of the subproject to prepare some teaching materials for teaching essentials of the Java programming language. During…

Java Application Shell: A Framework for Piecing Together Java Applications

Science.gov (United States)

Miller, Philip; Powers, Edward I. (Technical Monitor)

2001-01-01

This session describes the architecture of Java Application Shell (JAS), a Swing-based framework for developing interactive Java applications. Java Application Shell is being developed by Commerce One, Inc. for NASA Goddard Space Flight Center Code 588. The purpose of JAS is to provide a framework for the development of Java applications, providing features that enable the development process to be more efficient, consistent and flexible. Fundamentally, JAS is based upon an architecture where an application is considered a collection of 'plugins'. In turn, a plug-in is a collection of Swing actions defined using XML and packaged in a jar file. Plug-ins may be local to the host platform or remotely-accessible through HTTP. Local and remote plugins are automatically discovered by JAS upon application startup; plugins may also be loaded dynamically without having to re-start the application. Using Extensible Markup Language (XML) to define actions, as opposed to hardcoding them in application logic, allows easier customization of application-specific operations by separating application logic from presentation. Through XML, a developer defines an action that may appear on any number of menus, toolbars, and buttons. Actions maintain and propagate enable/disable states and specify icons, tool-tips, titles, etc. Furthermore, JAS allows actions to be implemented using various scripting languages through the use of IBM's Bean Scripting Framework. Scripted action implementation is seamless to the end-user. In addition to action implementation, scripts may be used for application and unit-level testing. In the case of application-level testing, JAS has hooks to assist a script in simulating end-user input. JAS also provides property and user preference management, JavaHelp, Undo/Redo, Multi-Document Interface, Single-Document Interface, printing, and logging. Finally, Jini technology has also been included into the framework by means of a Jini services browser and the

Extending Java for High-Level Web Service Construction

DEFF Research Database (Denmark)

Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael Ignatieff

2003-01-01

We incorporate innovations from the project into the Java language to provide high-level features for Web service programming. The resulting language, JWIG, contains an advanced session model and a flexible mechanism for dynamic construction of XML documents, in particular XHTML. To support program...

Semi-Automatic Rename Refactoring for JavaScript

DEFF Research Database (Denmark)

Feldthaus, Asger; Møller, Anders

2013-01-01

and interaction with the programmer. With this pragmatic approach, we can provide scalable and effective refactoring support for real-world code, including libraries and incomplete applications. Through a series of experiments that estimate how much manual effort our technique demands from the programmer, we show......Modern IDEs support automated refactoring for many programming languages, but support for JavaScript is still primitive. To perform renaming, which is one of the fundamental refactorings, there is often no practical alternative to simple syntactic search-and-replace. Although more sophisticated...... alternatives have been developed, they are limited by whole-program assumptions and poor scalability. We propose a technique for semi-automatic refactoring for JavaScript, with a focus on renaming. Unlike traditional refactoring algorithms, semi-automatic refactoring works by a combination of static analysis...

The Java Legacy Interface

DEFF Research Database (Denmark)

Korsholm, Stephan

2007-01-01

The Java Legacy Interface is designed to use Java for encapsulating native legacy code on small embedded platforms. We discuss why existing technologies for encapsulating legacy code (JNI) is not sufficient for an important range of small embedded platforms, and we show how the Java Legacy...... Interface offers this previously missing functionality. We describe an implementation of the Java Legacy Interface for a particular virtual machine, and how we have used this virtual machine to integrate Java with an existing, commercial, soft real-time, C/C++ legacy platform....

Java development in MDSplus

International Nuclear Information System (INIS)

Barana, O.; Luchetta, A.; Manduchi, G.; Taliercio, C.

2002-01-01

This paper describes the new Java components of MDSplus. These tools represent the evolution of some MDSplus components (MDSplus Current Developments and Future Directions, this conference) previously written in C, taking advantage from the multiplatform interoperability provided by the Java framework. The use of Java in the development of these tools provided an impressive reduction in the coding and test time. This is mainly due to the large set of ready-to-use components of the Java framework, and to the effective code re-use which can be achieved in the organization of Java applications

A Java Program for the Viewing of Ambient Data

International Nuclear Information System (INIS)

Fisher, A.

2004-01-01

The BaBar detector system has a large number of sensors and data feeds, called ambient feeds. These feeds are vital to the operation and monitoring of the Pep rings and the BaBar system. In order to more easily monitor these systems a simple web interface to display graphical representations of the data is needed. Towards this end it was decided that using a Java Web Servlet (Sun Microsystems) would be an effective and simple way to achieve this effect. By combining Web Servlets with the Corba Technology (OMG) this provides a way for many people to access data from anywhere in the world. Using this type of program in conjunction with the HEP AIDA systems for graphing makes a powerful tool for the monitoring of the BaBar system. An overview of the BaBar system, and how the Ambient data is given. The uses and limitations of this method for viewing the data as well as examples of other ways to access the data and potential other uses for the servlet are also discussed

J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations

DEFF Research Database (Denmark)

Danvy, Olivier; Shan, Chung-chieh; Zerny, Ian Steven

2009-01-01

. This tension arises especially when the domain calls for complex control structures. We illustrate this tension by revisiting Landin’s original correspondence between Algol and Church’s lambda-notation. We translate domain-specific programs with lexically scoped jumps to JavaScript. Our translation produces...... us to conclude that translations should preserve not just the data structures and the block structure of a source program, but also its control structure. We thus identify a new class of use cases for control structures in JavaScript, namely the idiomatic translation of control structures from DSLs....... the same block structure and binding structure as in the source program, à la Abdali. The target code uses a control operator in direct style, à la Landin. In fact, the control operator used is almost Landin’s J—hence our title. Our translation thus complements a continuation-passing translation à la...

An evaluation of safety-critical Java on a Java processor

OpenAIRE

Rios Rivas, Juan Ricardo; Schoeberl, Martin

2014-01-01

The safety-critical Java (SCJ) specification provides a restricted set of the Java language intended for applications that require certification. In order to test the specification, implementations are emerging and the need to evaluate those implementations in a systematic way is becoming important. In this paper we evaluate our SCJ implementation which is based on the Java Optimized Processor JOP and we measure different performance and timeliness criteria relevant to hard real-time systems....

Efficient construction of approximate call graphs for JavaScript IDE services

DEFF Research Database (Denmark)

Feldthaus, Asger; Schäfer, Max; Sridharan, Manu

2013-01-01

The rapid rise of JavaScript as one of the most popular programming languages of the present day has led to a demand for sophisticated IDE support similar to what is available for Java or C#. However, advanced tooling is hampered by the dynamic nature of the language, which makes any form of stat...

Reference Capabilities for Concurrency Control

OpenAIRE

Castegren, Elias; Wrigstad, Tobias

2016-01-01

The proliferation of shared mutable state in object-oriented programming complicates software development as two seemingly unrelated operations may interact via an alias and produce unexpected results. In concurrent programming this manifests itself as data-races. Concurrent object-oriented programming further suffers from the fact that code that warrants synchronisation cannot easily be distinguished from code that does not. The burden is placed solely on the programmer to reason ab...

Java EE 7 first look

CERN Document Server

Fabrice, Armel

2013-01-01

An easy-to-follow guide to reveal the new features of Java EE 7 and how to efficiently utilize them.Given the main objectives pursued, this book targets three groups of people with a knowledge of the Java language. They are:Beginners in the Java EE platform who would like to have an idea about the main specifications of Java EE 7.Developers who have experimented with previous versions of Java EE and who would like to explore the new features of Java EE 7.Building architects who want to learn how to put together the various Java EE 7 specifications for building robust and secure enterprise appl

Java Swing

CERN Document Server

Loy, Marc; Eckstein, Robert; Elliott, James; Wood, Dave

2003-01-01

Swing is a fully-featured user interface development kit for Java applications. Building on the foundations of the Abstract Window Toolkit (AWT), Swing enables cross-platform applications to use any of several pluggable look-and-feels. Swing developers can take advantage of its rich, flexible features and modular components, building elegant user interfaces with very little code. This second edition of Java Swing thoroughly covers all the features available in Java 2 SDK 1.3 and 1.4. More than simply a reference, this new edition takes a practical approach. It is a book by developers for

Java Persistence Dengan JBoss Seam

OpenAIRE

Utomo, Wiranto Herry; Istiyanto, Jazi Eko

2009-01-01

Seam is based on Java EE, so it satisfies its framework duties in two fundamental ways: 1) Seam  simplifies Java EE: Seam provides a number of  shortcuts and  simplifications  to  the standard  Java EE  framework, making  it  even  easier  to  effectively  use  Java EE web  and business components, 2) Seam extends Java EE: Seam integrates a number of new concepts and tools into the Java EE framework. These extensions b...

Algebraic topology and concurrency

DEFF Research Database (Denmark)

Fajstrup, Lisbeth; Raussen, Martin; Goubault, Eric

2006-01-01

We show in this article that some concepts from homotopy theory, in algebraic topology,are relevant for studying concurrent programs. We exhibit a natural semantics of semaphore programs, based on partially ordered topological spaces, which are studied up to “elastic deformation” or homotopy...... differences between ordinary and directed homotopy through examples. We also relate the topological view to a combinatorial view of concurrent programs closer to transition systems, through the notion of a cubical set. Finally we apply some of these concepts to the proof of the safeness of a two...

Rain VM: Portable Concurrency through Managing Code

OpenAIRE

Brown, Neil C.C.

2006-01-01

A long-running recent trend in computer programming is the growth in popularity of virtual machines. However, few have included good support for concurrency - a natural mechanism in the Rain programming language. This paper details the design and implementation of a secure virtual machine with support for concurrency, which enables portability of concurrent programs. Possible implementation ideas of many-to-many threading models for the virtual machine kernel are discussed, and initial benchm...

The Functional Measurement Experiment Builder suite: two Java-based programs to generate and run functional measurement experiments.

Science.gov (United States)

Mairesse, Olivier; Hofmans, Joeri; Theuns, Peter

2008-05-01

We propose a free, easy-to-use computer program that does not requires prior knowledge of computer programming to generate and run experiments using textual or pictorial stimuli. Although the FM Experiment Builder suite was initially programmed for building and conducting FM experiments, it can also be applied for non-FM experiments that necessitate randomized, single, or multifactorial designs. The program is highly configurable, allowing multilingual use and a wide range of different response formats. The outputs of the experiments are Microsoft Excel compatible .xls files that allow easy copy-paste of the results into Weiss's FM CalSTAT program (2006) or any other statistical package. Its Java-based structure is compatible with both Windows and Macintosh operating systems, and its compactness (< 1 MB) makes it easily distributable over the Internet.

A Test Suite for Safety-Critical Java using JML

DEFF Research Database (Denmark)

Ravn, Anders Peter; Søndergaard, Hans

2013-01-01

Development techniques are presented for a test suite for the draft specification of the Java profile for Safety-Critical Systems. Distinguishing features are: specification of conformance constraints in the Java Modeling Language, encoding of infrastructure concepts without implementation bias......, and corresponding specifications of implicitly stated behavioral and real-time properties. The test programs are auto-generated from the specification, while concrete values for test parameters are selected manually. The suite is open source and publicly accessible....

Learning JavaScript

CERN Document Server

Powers, Shelley

2008-01-01

Packed with best practices and examples of JavaScript use, Learning JavaScript provides complete, no-nonsense coverage of this quirky yet essential language for web development. You'll learn everything from primitive data types to complex features, including JavaScript elements involved with Ajax and dynamic page effects. By the end of the book, you'll be able to work with even the most sophisticated libraries and web applications.

Analysis of Nuclear Option in Planning on Java Bali Integrated Electricity System By Using Message Program

International Nuclear Information System (INIS)

Masdin; Sudi-Ariyanto; Nuryanti

2004-01-01

The growth of national energy demand in the future still become a great challenge for energy supply sector in Indonesia. The current energy supply strategy focuses the development and diversification of all energy options including fossil fuel, renewable energy and nuclear energy. Based on the Comprehensive Assessment Of Different Energy Source For Electricity Demand Study (CADES), final energy demand will grow from 4,065 PJ in 2000 to about 8,200 PJ in 2025. In this paper, the analysis of national energy system network will be divided into 2 regions, namely Java Bali region and Outside Java Bali region. Period of time horizon chosen in this study is 25 years (2000 to 2025). Simulation of network system configuration based on minimum objective function criteria was done by using MESSAGE (Model for Energy Supply Strategy Alternatives and their General Environmental Impacts) computer program. The focus of the analysis in this paper is simulation of electricity planning sector for Java Bali region. The result of simulation shows that for scenarios with no limitation on all fuel for power plant, scenario where fuel oil as constant supply for power plant and also configuration with limitation on gas supply, Nuclear Power Plant (NPP) does not appear during the study period using cost parameter set in this study. If there are limitations on gas supply and constrains of emissions (SO 2 and CO 2 ) due to coal combustion, NPP would become competitive and appear at about year 2015. (author)

Head First HTML5 Programming Building Web Apps with JavaScript

CERN Document Server

Freeman, Eric

2011-01-01

HTML has been on a wild ride. Sure, HTML started as a mere markup language, but more recently HTML's put on some major muscle. Now we've got a language tuned for building web applications with Web storage, 2D drawing, offline support, sockets and threads, and more. And to speak this language you've got to go beyond HTML5 markup and into the world of the DOM, events, and JavaScript APIs. Now you probably already know all about HTML markup (otherwise known as structure) and you know all aboutCSS style (presentation), but what you've been missing is JavaScript (behavior). If all you know about

A Mobile Device Based Serious Gaming Approach for Teaching and Learning Java Programming

Directory of Open Access Journals (Sweden)

Tobias Jordine

2015-01-01

Full Text Available Most first year computer science students find that learning object-oriented programming is hard. Serious games have ever been used as one approach to handle this problem. But most of them cannot be played with mobile devices. This obviously does not suit the era of mobile computing that intends to allow students to learn programming skills in anytime anywhere. To enhance mobile teaching and learning, a research project started over a year ago and aims to create a mobile device based serious gaming approach along with a serious game for enhancing mobile teaching and learning for Java programming. So far the project has completed a literature review for understanding existing work and identifying problems in this area, conducted a survey for eliciting students’ requirements for mobile gaming approach, and then established a mobile-device based serious gaming approach with a developed prototype of the game. This paper introduces the project in details, and in particularly presents and discusses its current results. It is expected that the presented project will be helpful and useful to bring more efficient approaches with new mobile games into teaching object-oriented programming and to enhance students’ learning experiences.

Módulo Empresarial para la Validación Formal de Ejercicios aplicado a la Programación Concurrente en Java

Directory of Open Access Journals (Sweden)

P. Basanta-Val

2012-07-01

Full Text Available Resumen: La utilización de herramientas que permitan detectar problemas de programación es de utilidad tanto para el docente, el cual puede probar de una forma más exhaustiva las prácticas entregadas, como para el discente, el cual puede utilizar dichas herramientas. En muchos casos, existen herramientas previas utilizadas en el desarrollo software, que pueden ser adaptadas para ser utilizadas en un entorno formativo. Este trabajo aporta la integración de una herramienta de validación formal de sistemas concurrentes Java, la cual garantiza la no existencia de defectos como son el abrazo mortal y las condiciones de carrera, en un entorno Web abierto. Más concretamente, la herramienta que se ha escogido es denominada JPF (Java Path Finder y se la ha dotado de interfaces dentro de un servidor Java EE (Enterprise Edition, lo que facilita la utilización de servicios propios de la plataforma Java EE y la interoperabilidad entre estos con el módulo diseñado. El artículo trata aspectos tecnológicos derivados de dicha integración como son el diseño de una arquitectura que da soporte a la validación vía web. También detalla una serie de experimentos relativos al rendimiento de la plataforma realizados sobre un curso real, lo que permite medir costes computacionales y su utilidad en la evaluación Abstract: Tools that allow detecting programming faults are useful for both docents, who may test submitted exercises, and students, who may use these tools in advance. In this article the authors develop one tool for detecting failures in applications. In many cases there are previous tools that may be readapted to be used in an educational scope. This article integrates of one of these tools, which avoids code with dead-locks and race-conditions, into the Internet. The tool integrated is JPF (Java Path Finder and it is accessed from a Java EE web frontend which carries out the exercise assessment. The article deals with the definition of the

Java application for the superposition T-matrix code to study the optical properties of cosmic dust aggregates

Science.gov (United States)

Halder, P.; Chakraborty, A.; Deb Roy, P.; Das, H. S.

2014-09-01

In this paper, we report the development of a java application for the Superposition T-matrix code, JaSTA (Java Superposition T-matrix App), to study the light scattering properties of aggregate structures. It has been developed using Netbeans 7.1.2, which is a java integrated development environment (IDE). The JaSTA uses double precession superposition codes for multi-sphere clusters in random orientation developed by Mackowski and Mischenko (1996). It consists of a graphical user interface (GUI) in the front hand and a database of related data in the back hand. Both the interactive GUI and database package directly enable a user to model by self-monitoring respective input parameters (namely, wavelength, complex refractive indices, grain size, etc.) to study the related optical properties of cosmic dust (namely, extinction, polarization, etc.) instantly, i.e., with zero computational time. This increases the efficiency of the user. The database of JaSTA is now created for a few sets of input parameters with a plan to create a large database in future. This application also has an option where users can compile and run the scattering code directly for aggregates in GUI environment. The JaSTA aims to provide convenient and quicker data analysis of the optical properties which can be used in different fields like planetary science, atmospheric science, nano science, etc. The current version of this software is developed for the Linux and Windows platform to study the light scattering properties of small aggregates which will be extended for larger aggregates using parallel codes in future. Catalogue identifier: AETB_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AETB_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 571570 No. of bytes in distributed program

Impredicative concurrent abstract predicates

DEFF Research Database (Denmark)

Svendsen, Kasper; Birkedal, Lars

2014-01-01

We present impredicative concurrent abstract predicates { iCAP { a program logic for modular reasoning about concurrent, higher- order, reentrant, imperative code. Building on earlier work, iCAP uses protocols to reason about shared mutable state. A key novel feature of iCAP is the ability to dene...

An evaluation of safety-critical Java on a Java processor

DEFF Research Database (Denmark)

Rios Rivas, Juan Ricardo; Schoeberl, Martin

2014-01-01

The safety-critical Java (SCJ) specification provides a restricted set of the Java language intended for applications that require certification. In order to test the specification, implementations are emerging and the need to evaluate those implementations in a systematic way is becoming important....... In this paper we evaluate our SCJ implementation which is based on the Java Optimized Processor JOP and we measure different performance and timeliness criteria relevant to hard real-time systems. Our implementation targets Level 0 and Level1 of the specification and to test it we use a series of micro...

Concurrent LISP and its interpreter

Energy Technology Data Exchange (ETDEWEB)

Tabata, K; Sugimoto, S; Ohno, Y

1981-01-01

In the research field of artificial intelligence many languages have been developed based on LISP, such as Planner, Conniver and so on. They have been developed to give users many useful facilities, especially for describing flexible control structures. Backtracking and coroutine facilities are typical ones introduced into these languages. Compared with backtracking and coroutine facilities, multi-process description facilities are considered to be a better alternative for writing well-structured programs. This paper describes concurrent LISP, a new concurrent programming language based on LISP. Concurrent LISP is designed to provide simple and flexible facilities for multi-process description without changing the original language features of LISP. This paper also describes the concurrent LISP interpreter which has been implemented on a FACOM M-200 at the Data Processing Center of Kyoto University. 19 references.

Beginning Java' and Flex Migrating Java, Spring, Hibernate and Maven Developers to Adobe Flex

CERN Document Server

di Pisa, F

2009-01-01

Over the past few years, the now open source Adobe Flex Framework has been adopted by the Java community as the preferred framework for Java RIAs using Flash for the presentation layer. Flex helps Java developers to build and maintain expressive web/desktop applications that deploy consistently on all major browsers, desktops, and operating systems. Beginning Java and Flex describes new, simpler, and faster ways to develop enterprise RIAs. This book is not only for Java or Flex developers, but also for all web developers who want to increase their productivity and the quality of their developm

Statistical Analysis with Webstat, a Java applet for the World Wide Web

Directory of Open Access Journals (Sweden)

Webster West

1997-09-01

Full Text Available The Java programming language has added a new tool for delivering computing applications over the World Wide Web (WWW. WebStat is a new computing environment for basic statistical analysis which is delivered in the form of a Java applet. Anyone with WWW access and a Java capable browser can access this new analysis environment. Along with an overall introduction of the environment, the main features of this package are illustrated, and the prospect of using basic WebStat components for more advanced applications is discussed.

MzJava: An open source library for mass spectrometry data processing.

Science.gov (United States)

Horlacher, Oliver; Nikitin, Frederic; Alocci, Davide; Mariethoz, Julien; Müller, Markus; Lisacek, Frederique

2015-11-03

Mass spectrometry (MS) is a widely used and evolving technique for the high-throughput identification of molecules in biological samples. The need for sharing and reuse of code among bioinformaticians working with MS data prompted the design and implementation of MzJava, an open-source Java Application Programming Interface (API) for MS related data processing. MzJava provides data structures and algorithms for representing and processing mass spectra and their associated biological molecules, such as metabolites, glycans and peptides. MzJava includes functionality to perform mass calculation, peak processing (e.g. centroiding, filtering, transforming), spectrum alignment and clustering, protein digestion, fragmentation of peptides and glycans as well as scoring functions for spectrum-spectrum and peptide/glycan-spectrum matches. For data import and export MzJava implements readers and writers for commonly used data formats. For many classes support for the Hadoop MapReduce (hadoop.apache.org) and Apache Spark (spark.apache.org) frameworks for cluster computing was implemented. The library has been developed applying best practices of software engineering. To ensure that MzJava contains code that is correct and easy to use the library's API was carefully designed and thoroughly tested. MzJava is an open-source project distributed under the AGPL v3.0 licence. MzJava requires Java 1.7 or higher. Binaries, source code and documentation can be downloaded from http://mzjava.expasy.org and https://bitbucket.org/sib-pig/mzjava. This article is part of a Special Issue entitled: Computational Proteomics. Copyright © 2015 Elsevier B.V. All rights reserved.

On the Expressive Power of Temporal Concurrent Constraint Programming Languages

DEFF Research Database (Denmark)

Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank D.

2002-01-01

The tcc paradigm is a formalism for timed concurrent constraint programming. Several tcc languages differing in their way of expressing infinite behavior have been proposed in the literature. In this paper we study the expressive power of some of these languages. In particular, we show that: (1......) recursive procedures with parameters can be encoded into parameterless recursive procedures with dynamic scoping, and viceversa. (2) replication can be encoded into parameterless recursive procedures with static scoping, and viceversa. (3) the languages from (1) are strictly more expressive than...

ActorScript™ extension of C#®, Java®, Objective C®, JavaScript®, and SystemVerilog using iAdaptive™ concurrency for antiCloud™ privacy and security : One computer is no computer in IoT

OpenAIRE

Hewitt , Carl

2015-01-01

International audience; ActorScript(TM) is a general purpose programming language for efficiently implementing robust applications (with no single point of failure) using discretionary, adaptive concurrency that manages resources and demand.It is differentiated from previous languages by the following:- Universality* Ability to specify what Actors can do* Specify interface between hardware and software* Everything in the language is accomplished using message passing including the very defini...

Steps in Modular Specifications for Concurrent Modules

DEFF Research Database (Denmark)

Da Rocha Pinto, Pedro; Dinsdale-Young, Thomas; Gardner, Philippa

2015-01-01

The specification of a concurrent program module is a difficult problem. The specifications must be strong enough to enable reasoning about the intended clients without reference to the underlying module implementation. We survey a range of verification techniques for specifying concurrent module......, in particular highlighting four key concepts: auxiliary state, interference abstraction, resource ownership and atomicity. We show how these concepts combine to provide powerful approaches to specifying concurrent modules.......The specification of a concurrent program module is a difficult problem. The specifications must be strong enough to enable reasoning about the intended clients without reference to the underlying module implementation. We survey a range of verification techniques for specifying concurrent modules...

Concurrent event-driven programming in occam-π for the Arduino

DEFF Research Database (Denmark)

Jacobsen, Christian Lyder; Jadud, Matthew C.; Kilic, Omer

2011-01-01

The success of the Arduino platform has made embedded programming widely accessible. The Arduino has seen many uses, for example in rapid prototyping, hobby projects, and in art installations. Arduino users are often not experienced embedded programmers however, and writing correct software...... for embedded devices can be challenging. This is especially true if the software needs to use interrupts in order to interface with attached devices. Insight and careful discipline are required to avoid introducing race hazards when using interrupt routines. Instead of programming the Arduino in C or C......++ as is the custom, we propose using occam-pi as a language as that can help the user manage the concurrency introduced when using interrupts and help in the creation of modular, well-designed programs. This paper will introduce the Arduino, the software that enables us to run occam-pi on it, and a case study...

Outcomes of Concurrent Operations: Results From the American College of Surgeons' National Surgical Quality Improvement Program.

Science.gov (United States)

Liu, Jason B; Berian, Julia R; Ban, Kristen A; Liu, Yaoming; Cohen, Mark E; Angelos, Peter; Matthews, Jeffrey B; Hoyt, David B; Hall, Bruce L; Ko, Clifford Y

2017-09-01

To determine whether concurrently performed operations are associated with an increased risk for adverse events. Concurrent operations occur when a surgeon is simultaneously responsible for critical portions of 2 or more operations. How this practice affects patient outcomes is unknown. Using American College of Surgeons' National Surgical Quality Improvement Program data from 2014 to 2015, operations were considered concurrent if they overlapped by ≥60 minutes or in their entirety. Propensity-score-matched cohorts were constructed to compare death or serious morbidity (DSM), unplanned reoperation, and unplanned readmission in concurrent versus non-concurrent operations. Multilevel hierarchical regression was used to account for the clustered nature of the data while controlling for procedure and case mix. There were 1430 (32.3%) surgeons from 390 (77.7%) hospitals who performed 12,010 (2.3%) concurrent operations. Plastic surgery (n = 393 [13.7%]), otolaryngology (n = 470 [11.2%]), and neurosurgery (n = 2067 [8.4%]) were specialties with the highest proportion of concurrent operations. Spine procedures were the most frequent concurrent procedures overall (n = 2059/12,010 [17.1%]). Unadjusted rates of DSM (9.0% vs 7.1%; P < 0.001), reoperation (3.6% vs 2.7%; P < 0.001), and readmission (6.9% vs 5.1%; P < 0.001) were greater in the concurrent operation cohort versus the non-concurrent. After propensity score matching and risk-adjustment, there was no significant association of concurrence with DSM (odds ratio [OR] 1.08; 95% confidence interval [CI] 0.96-1.21), reoperation (OR 1.16; 95% CI 0.96-1.40), or readmission (OR 1.14; 95% CI 0.99-1.29). In these analyses, concurrent operations were not detected to increase the risk for adverse outcomes. These results do not lessen the need for further studies, continuous self-regulation and proactive disclosure to patients.

Analysis of variables affecting unemployment rate and detecting for cluster in West Java, Central Java, and East Java in 2012

Science.gov (United States)

Samuel, Putra A.; Widyaningsih, Yekti; Lestari, Dian

2016-02-01

The objective of this study is modeling the Unemployment Rate (UR) in West Java, Central Java, and East Java, with rate of disease, infant mortality rate, educational level, population size, proportion of married people, and GDRP as the explanatory variables. Spatial factors are also considered in the modeling since the closer the distance, the higher the correlation. This study uses the secondary data from BPS (Badan Pusat Statistik). The data will be analyzed using Moran I test, to obtain the information about spatial dependence, and using Spatial Autoregressive modeling to obtain the information, which variables are significant affecting UR and how great the influence of the spatial factors. The result is, variables proportion of married people, rate of disease, and population size are related significantly to UR. In all three regions, the Hotspot of unemployed will also be detected districts/cities using Spatial Scan Statistics Method. The results are 22 districts/cities as a regional group with the highest unemployed (Most likely cluster) in the study area; 2 districts/cities as a regional group with the highest unemployed in West Java; 1 district/city as a regional groups with the highest unemployed in Central Java; 15 districts/cities as a regional group with the highest unemployed in East Java.

Programming HTML5 Applications Building Powerful Cross-Platform Environments in JavaScript

CERN Document Server

Kessin, Zachary

2011-01-01

HTML5 is not just a replacement for plugins. It also makes the Web a first-class development environment by giving JavaScript programmers a solid foundation for building industrial-strength applications. This practical guide takes you beyond simple site creation and shows you how to build self-contained HTML5 applications that can run on mobile devices and compete with desktop apps. You'll learn powerful JavaScript tools for exploiting HTML5 elements, and discover new methods for working with data, such as offline storage and multithreaded processing. Complete with code samples, this book is

A predictable Java profile

DEFF Research Database (Denmark)

Bøgholm, Thomas; Hansen, Rene Rydhof; Ravn, Anders Peter

2009-01-01

A Java profile suitable for development of high integrity embedded systems is presented. It is based on event handlers which are grouped in missions and equipped with respectively private handler memory and shared mission memory. This is a result of our previous work on developing a Java profile......, and is directly inspired by interactions with the Open Group on their on-going work on a safety critical Java profile (JSR-302). The main contribution is an arrangement of the class hierarchy such that the proposal is a generalization of Real-Time Specification for Java (RTSJ). A further contribution...

Pro JavaScript with MooTools

CERN Document Server

Obcena, Mark Joseph

2010-01-01

Pro JavaScript with MooTools is unlike any other JavaScript book on the market today. While similar books focus on either JavaScript as a language of the browser or how to use JavaScript frameworks, Pro JavaScript with MooTools fills the gap between these topics and moves beyond - exploring the advanced features of JavaScript and how the MooTools framework uses these features to further improve the language itself. The book itself takes a unique three-pronged approach. It first walks you through the advanced features of JavaScript and the MooTools framework, including native augmentation and t

Mangrove Conservation in East Java: The Ecotourism Development Perspectives

Directory of Open Access Journals (Sweden)

Luchman Hakim

2017-09-01

Full Text Available An analysis of the role of mangrove ecosystems in tourism was undertaken in order to build a strategy for mangrove conservation and conceptualize sustainable mangrove-based tourism development in East Java, Indonesia. The results of the present study suggest that mangroves could be used as nature-based tourism destinations. While tourism in mangrove areas in East Java clearly contributes to mangrove conservation, it still lacks a mangrove tour program, in which it is important to deliver the objectives of ecotourism. For the sustainable use of mangrove biodiversity as a tourist attraction, it is essential to know the basic characteristics of mangroves and establish mangrove tourism programs which are able to support a conservation program. It is also crucial to involve and strengthen the participation of local communities surrounding mangrove areas. The involvement of local wisdom could increase the sustainability of mangrove ecosystems.

The state of the Java universe

CERN Multimedia

CERN. Geneva

2007-01-01

Speaker Bio: James Gosling received a B.Sc. in computer science from the University of Calgary, Canada in 1977. He received a Ph.D. in computer science from Carnegie-Mellon University in 1983. The title of his thesis was The Algebraic Manipulation of Constraints. He has built satellite data acquisition systems, a multiprocessor version of UNIX®, several compilers, mail systems, and window managers. He has also built a WYSIWYG text editor, a constraint-based drawing editor, and a text editor called Emacs, for UNIX systems. At Sun his early activity was as lead engineer of the NeWS window system. He did the original design of the Java programming language and implemented its original compiler and virtual machine. He has recently been a contributor to the Real-Time Specification for Java.

Checking Correctness of TypeScript Interfaces for JavaScript Libraries

DEFF Research Database (Denmark)

Feldthaus, Asger; Møller, Anders

2014-01-01

The TypeScript programming language adds optional types to JavaScript, with support for interaction with existing JavaScript libraries via interface declarations. Such declarations have been written for hundreds of libraries, but they can be difficult to write and often contain errors, which may...... affect the type checking and misguide code completion for the application code in IDEs. We present a pragmatic approach to check correctness of TypeScript declaration files with respect to JavaScript library implementations. The key idea in our algorithm is that many declaration errors can be detected...... library and with a low number of false positives. Our analysis of how programmers use library interface declarations furthermore reveals some practical limitations of the TypeScript type system....

Meta-Level Runtime Feature Awareness for Java

DEFF Research Database (Denmark)

Olszak, Andrzej; Jensen, Martin Lykke Rytter; Jørgensen, Bo Nørregaard

2011-01-01

introduce the concept of runtime feature awareness that enables a running program to establish and make use of its own feature-code traceability links. We present an implementation of this idea, a dynamic-analysis Java library called JAwareness. JAwareness provides a meta-level architecture that can be non...

The Java Series. GUI Building with Swing

CERN Multimedia

CERN. Geneva

2000-01-01

The Swing Java package contains all the components that you expect to see in a modern User Interface, from buttons that contain pictures to trees and grids. It is a big library but it's designed to have the appropriate complexity for the task at hand - if something is simple you don't have to write much code to get it done, but if you want the power to manipulate and deeply customise it you also have it. This tutorial will introduce you to the basic set of components that Swing provides and to the mechanisms behind them. It will provide an overview of what you can do with Swing, even if you are new to GUI programming. However, if you want to follow closely the mechanisms behind what's being explained, it is convenient to have some basic knowledge of the main concepts of Java AWT (class hierarchy and event model) as provided by the previous tutorial of the Java Series. Organiser(s): M.Marquina and R.Ramos /IT-User Support

ELIST8: simulating military deployments in Java

International Nuclear Information System (INIS)

Van Groningen, C. N.; Blachowicz, D.; Braun, M. D.; Simunich, K. L.; Widing, M. A.

2002-01-01

Planning for the transportation of large amounts of equipment, troops, and supplies presents a complex problem. Many options, including modes of transportation, vehicles, facilities, routes, and timing, must be considered. The amount of data involved in generating and analyzing a course of action (e.g., detailed information about military units, logistical infrastructures, and vehicles) is enormous. Software tools are critical in defining and analyzing these plans. Argonne National Laboratory has developed ELIST (Enhanced Logistics Intra-theater Support Tool), a simulation-based decision support system, to assist military planners in determining the logistical feasibility of an intra-theater course of action. The current version of ELIST (v.8) contains a discrete event simulation developed using the Java programming language. Argonne selected Java because of its object-oriented framework, which has greatly facilitated entity and process development within the simulation, and because it fulfills a primary requirement for multi-platform execution. This paper describes the model, including setup and analysis, a high-level architectural design, and an evaluation of Java

Mastering JavaScript promises

CERN Document Server

Hussain, Muzzamil

2015-01-01

This book is for all the software and web engineers wanting to apply the promises paradigm to their next project and get the best outcome from it. This book also acts as a reference for the engineers who are already using promises in their projects and want to improve their current knowledge to reach the next level. To get the most benefit from this book, you should know basic programming concepts, have a familiarity with JavaScript, and a good understanding of HTML.

Modular Monitor Extensions for Information Flow Security in JavaScript

OpenAIRE

Fragoso Santos , José; Rezk , Tamara; Almeida Matos , Ana

2015-01-01

International audience; Client-side JavaScript programs often interact with the web page into which they are included, as well as with the browser itself, through APIs such as the DOM API, the XMLHttpRequest API, and the W3C Geolocation API. Precise reasoning about JavaScript security must therefore take API invocation into account. However, the continuous emergence of new APIs, and the het-erogeneity of their forms and features, renders API behavior a moving target that is particularly hard ...

Java performance tuning

CERN Document Server

Shirazi, Jack

2003-01-01

Performance has been an important issue for Java developers ever since the first version hit the streets. Over the years, Java performance has improved dramatically, but tuning is essential to get the best results, especially for J2EE applications. You can never have code that runs too fast. Java Peformance Tuning, 2nd edition provides a comprehensive and indispensable guide to eliminating all types of performance problems. Using many real-life examples to work through the tuning process in detail, JPT shows how tricks such as minimizing object creation and replacing strings with arrays can

Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets

DEFF Research Database (Denmark)

Lassen, Kristian Bisgaard; Tjell, Simon

2007-01-01

In this paper, we present a method for developing Java applications from Colored Control Flow Nets (CCFNs), which is a special kind of Colored Petri Nets (CPNs) that we introduce. CCFN makes an explicit distinction between the representation of: The system, the environment of the system, and the ......In this paper, we present a method for developing Java applications from Colored Control Flow Nets (CCFNs), which is a special kind of Colored Petri Nets (CPNs) that we introduce. CCFN makes an explicit distinction between the representation of: The system, the environment of the system......, and the interface between the system and the environment. Our translation maps CCFNs into Anno- tated Java Workflow Nets (AJWNs) as an intermediate step, and these AJWNs are finally mapped to Java. CCFN is intended to enforce the modeler to describe the system in an imperative manner which makes the subsequent...... translation to Java easier to define. The translation to Java preserves data dependencies and control-flow aspects of the source CCFN. This paper contributes to the model-driven software development paradigm, by showing how to model a system, environment, and their interface, as a CCFN and presenting a fully...

COMP Superscalar, an interoperable programming framework

Science.gov (United States)

Badia, Rosa M.; Conejero, Javier; Diaz, Carlos; Ejarque, Jorge; Lezzi, Daniele; Lordan, Francesc; Ramon-Cortes, Cristian; Sirvent, Raul

2015-12-01

COMPSs is a programming framework that aims to facilitate the parallelization of existing applications written in Java, C/C++ and Python scripts. For that purpose, it offers a simple programming model based on sequential development in which the user is mainly responsible for (i) identifying the functions to be executed as asynchronous parallel tasks and (ii) annotating them with annotations or standard Python decorators. A runtime system is in charge of exploiting the inherent concurrency of the code, automatically detecting and enforcing the data dependencies between tasks and spawning these tasks to the available resources, which can be nodes in a cluster, clouds or grids. In cloud environments, COMPSs provides scalability and elasticity features allowing the dynamic provision of resources.

COMP Superscalar, an interoperable programming framework

Directory of Open Access Journals (Sweden)

Rosa M. Badia

2015-12-01

Full Text Available COMPSs is a programming framework that aims to facilitate the parallelization of existing applications written in Java, C/C++ and Python scripts. For that purpose, it offers a simple programming model based on sequential development in which the user is mainly responsible for (i identifying the functions to be executed as asynchronous parallel tasks and (ii annotating them with annotations or standard Python decorators. A runtime system is in charge of exploiting the inherent concurrency of the code, automatically detecting and enforcing the data dependencies between tasks and spawning these tasks to the available resources, which can be nodes in a cluster, clouds or grids. In cloud environments, COMPSs provides scalability and elasticity features allowing the dynamic provision of resources.

Hardware Objects for Java

DEFF Research Database (Denmark)

Schoeberl, Martin; Thalinger, Christian; Korsholm, Stephan

2008-01-01

Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled by the operating system. However, in the embedded domain resources are scarce and a Java virtual machine (JVM) without...... an underlying middleware is an attractive architecture. When running the JVM on bare metal, we need access to I/O devices from Java; therefore we investigate a safe and efficient mechanism to represent I/O devices as first class Java objects, where device registers are represented by object fields. Access...... to those registers is safe as Java’s type system regulates it. The access is also fast as it is directly performed by the bytecodes getfield and putfield. Hardware objects thus provide an object-oriented abstraction of low-level hardware devices. As a proof of concept, we have implemented hardware objects...

JavaScript DNA translator: DNA-aligned protein translations.

Science.gov (United States)

Perry, William L

2002-12-01

There are many instances in molecular biology when it is necessary to identify ORFs in a DNA sequence. While programs exist for displaying protein translations in multiple ORFs in alignment with a DNA sequence, they are often expensive, exist as add-ons to software that must be purchased, or are only compatible with a particular operating system. JavaScript DNA Translator is a shareware application written in JavaScript, a scripting language interpreted by the Netscape Communicator and Internet Explorer Web browsers, which makes it compatible with several different operating systems. While the program uses a familiar Web page interface, it requires no connection to the Internet since calculations are performed on the user's own computer. The program analyzes one or multiple DNA sequences and generates translations in up to six reading frames aligned to a DNA sequence, in addition to displaying translations as separate sequences in FASTA format. ORFs within a reading frame can also be displayed as separate sequences. Flexible formatting options are provided, including the ability to hide ORFs below a minimum size specified by the user. The program is available free of charge at the BioTechniques Software Library (www.Biotechniques.com).

Mastering JavaScript high performance

CERN Document Server

Adams, Chad R

2015-01-01

If you are a JavaScript developer with some experience in development and want to increase the performance of JavaScript projects by building faster web apps, then this book is for you. You should know the basic concepts of JavaScript.

Static Analysis of XML Transformations in Java

DEFF Research Database (Denmark)

Kirkegaard, Christian; Møller, Anders; Schwartzbach, Michael I.

2004-01-01

of XML documents to be defined, there are generally no automatic mechanisms for statically checking that a program transforms from one class to another as intended. We introduce Xact, a high-level approach for Java using XML templates as a first-class data type with operations for manipulating XML values...

Automation through the PIP [Program Implementation Plan] concurrence system improves information sharing among DOE [Dept. of Energy] managers

International Nuclear Information System (INIS)

Imholz, R.M.; Berube, D.S.; Peterson, J.L.

1990-01-01

The Program Implementation Plan (PIP) Concurrence System is designed to improve information sharing within the U.S. Department of Energy (DOE) and between DOE and the Field. Effectively sharing information enables DOE managers to make more informed, effective decisions. The PIP Concurrence System improved information sharing among DOE managers by defining the automated process for concurring on a DOE document, thus reducing the time required to concur on the document by 75%. The first step in defining an automated process is to structure the process for concurring on a document. Only those DOE managers with approved access could review certain parts of a document on a concurrence system. Remember that the concurrence process is a sign off procedure unlike a commentary process in which comments may not be restricted to certain people. The commentary process is the beginning of the concurrence process. The commentary process builds a document; the concurrence process approves it. 6 refs., 7 figs

Projekty pro výuku programování v jazyce Java

OpenAIRE

PŘINOSIL, František

2008-01-01

This thesis deals with the tuition of programming in object oriented programming language Java. It contains source codes with comments which explain the basics of programming. Further on this thesis contains the assigments of several partial projets used for practising the described problem.

Safety-critical Java for embedded systems

DEFF Research Database (Denmark)

Schoeberl, Martin; Dalsgaard, Andreas Engelbredt; Hansen, René Rydhof

2016-01-01

This paper presents the motivation for and outcomes of an engineering research project on certifiable Javafor embedded systems. The project supports the upcoming standard for safety-critical Java, which defines asubset of Java and libraries aiming for development of high criticality systems....... The outcome of this projectinclude prototype safety-critical Java implementations, a time-predictable Java processor, analysis tools formemory safety, and example applications to explore the usability of safety-critical Java for this applicationarea. The text summarizes developments and key contributions...

COMPARISION OF JAVA RMI AND CORBA FROM DIFFERENT PERSPECTIVES

Directory of Open Access Journals (Sweden)

Mustafa TÜRKSEVER

2001-01-01

Full Text Available In this paper, two of the widely used distributed object system standards which are CORBA and Java RMI has been compared from different perspectives. These perspectives are performance, distributed programming and system level services.

JSBML: a flexible Java library for working with SBML.

Science.gov (United States)

Dräger, Andreas; Rodriguez, Nicolas; Dumousseau, Marine; Dörr, Alexander; Wrzodek, Clemens; Le Novère, Nicolas; Zell, Andreas; Hucka, Michael

2011-08-01

The specifications of the Systems Biology Markup Language (SBML) define standards for storing and exchanging computer models of biological processes in text files. In order to perform model simulations, graphical visualizations and other software manipulations, an in-memory representation of SBML is required. We developed JSBML for this purpose. In contrast to prior implementations of SBML APIs, JSBML has been designed from the ground up for the Java programming language, and can therefore be used on all platforms supported by a Java Runtime Environment. This offers important benefits for Java users, including the ability to distribute software as Java Web Start applications. JSBML supports all SBML Levels and Versions through Level 3 Version 1, and we have strived to maintain the highest possible degree of compatibility with the popular library libSBML. JSBML also supports modules that can facilitate the development of plugins for end user applications, as well as ease migration from a libSBML-based backend. Source code, binaries and documentation for JSBML can be freely obtained under the terms of the LGPL 2.1 from the website http://sbml.org/Software/JSBML.

Refactoring Real-Time Java Profiles

DEFF Research Database (Denmark)

Søndergaard, Hans; Thomsen, Bent; Ravn, Anders Peter

2011-01-01

Just like other software, Java profiles benefits from refactoring when they have been used and have evolved for some time. This paper presents a refactoring of the Real-Time Specification for Java (RTSJ) and the Safety Critical Java (SCJ) profile (JSR-302). It highlights core concepts and makes...

JavaFX' Special Effects Taking Java RIA to the Extreme with Animation, Multimedia, and Game Elements

CERN Document Server

Jordon, L

2009-01-01

Enough about learning the fundamentals of the intriguing JavaFX platform; it's now time to start implementing visually stunning and dynamic Java-based rich Internet applications (RIAs) for your desktop or mobile front end. This book will show you what the JavaFX platform can really do for Java desktop and mobile front ends. It presents a number of excellent visual effects and techniques that will make any JavaFX application stand out-whether it's animation, multimedia, or a game. The techniques shown in this book are invaluable for competing in today's market, and they'll help set your RIAs ap

Learning from Mistakes --- A Comprehensive Study on Real World Concurrency Bug Characteristics

International Nuclear Information System (INIS)

Shan Lu; Soyeon Park; Eunsoo Seo; Yuanyuan Zhou

2008-01-01

The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires advances in multiple directions, including concurrency bug detection, concurrent program testing, concurrent programming model design, etc. Designing effective techniques in all these directions will significantly benefit from a deep understanding of real world concurrency bug characteristics. This paper provides the first (to the best of our knowledge) comprehensive real world concurrency bug characteristic study. Specifically, we have carefully examined concurrency bug patterns, manifestation, and fix strategies of 105 randomly selected real world concurrency bugs from 4 representative server and client opensource applications (MySQL, Apache, Mozilla and OpenOffice). Our study reveals several interesting findings and provides useful guidance for concurrency bug detection, testing, and concurrent programming language design. Some of our findings are as follows: (1) Around one third of the examined non-deadlock concurrency bugs are caused by violation to programmers order intentions, which may not be easily expressed via synchronization primitives like locks and transactional memories; (2) Around 34% of the examined non-deadlock concurrency bugs involve multiple variables, which are not well addressed by existing bug detection tools; (3) About 92% of the examined concurrency bugs can be reliably triggered by enforcing certain orders among no more than 4 memory accesses. This indicates that testing concurrent programs can target at exploring possible orders among every small groups of memory accesses, instead of among all memory accesses; (4) About 73% of the examined non-deadlock concurrency bugs were not fixed by simply adding or changing locks, and many of the fixes were not correct at the first try, indicating the difficulty of reasoning concurrent execution by programmers.

An algebraic approach to analysis of recursive and concurrent programs

DEFF Research Database (Denmark)

Terepeta, Michal Tomasz

-approximation of (or induced from) another flow algebra. Furthermore, we show how flow algebras can be used in communicating or weighted pushdown systems. To achieve that, we show that it is possible to relax some of the requirements imposed by original formulation of those techniques without compromising...... such a language. We also introduce an abstract domain that symbolically represents the messages sent between the concurrently executing processes. It stores prefixes or suffixes of communication traces including various constraints imposed on the messages. Since the problem has exponential complexity, we also...... present a compact data structure as well as efficient algorithms for the semiring operations. Apart from that, we discuss an improvement to Pre* and Post* algorithms for pushdown systems, making it possible to directly use program representations such as program graphs. We present a modular library...

Sequence alignment visualization in HTML5 without Java.

Science.gov (United States)

Gille, Christoph; Birgit, Weyand; Gille, Andreas

2014-01-01

Java has been extensively used for the visualization of biological data in the web. However, the Java runtime environment is an additional layer of software with an own set of technical problems and security risks. HTML in its new version 5 provides features that for some tasks may render Java unnecessary. Alignment-To-HTML is the first HTML-based interactive visualization for annotated multiple sequence alignments. The server side script interpreter can perform all tasks like (i) sequence retrieval, (ii) alignment computation, (iii) rendering, (iv) identification of a homologous structural models and (v) communication with BioDAS-servers. The rendered alignment can be included in web pages and is displayed in all browsers on all platforms including touch screen tablets. The functionality of the user interface is similar to legacy Java applets and includes color schemes, highlighting of conserved and variable alignment positions, row reordering by drag and drop, interlinked 3D visualization and sequence groups. Novel features are (i) support for multiple overlapping residue annotations, such as chemical modifications, single nucleotide polymorphisms and mutations, (ii) mechanisms to quickly hide residue annotations, (iii) export to MS-Word and (iv) sequence icons. Alignment-To-HTML, the first interactive alignment visualization that runs in web browsers without additional software, confirms that to some extend HTML5 is already sufficient to display complex biological data. The low speed at which programs are executed in browsers is still the main obstacle. Nevertheless, we envision an increased use of HTML and JavaScript for interactive biological software. Under GPL at: http://www.bioinformatics.org/strap/toHTML/.

Implementation of Private Cloud Computing Using Integration of JavaScript and Python

Directory of Open Access Journals (Sweden)

2010-09-01

Full Text Available

This paper deals with the design and deployment of a novel library class in Python, enabling the use of JavaScript functionalities in Application Programming and the leveraging of this Library into development for third generation technologies such as Private Cloud Computing. The integration of these two prevalent languages provides us with a new level of compliance which helps in developing an understanding between Web Programming and Application Programming. An inter-browser functionality wrapping, which would enable users to have a JavaScript experience in Python interfaces directly, without having to depend on external programs, has been developed. The functionality of this concept is prevalent in the fact that Applications written in JavaScript and accessed on the browser now have the capability of interacting with each other on a common platform with the help of a Python wrapper. The idea is demonstrated by the integrating with the now ubiquitous Cloud Computing concept. With the help of examples, we have showcased the same and explained how the Library XOCOM can be a stepping stone to flexible cloud computing environment.

A Concurrent Distributed System for Aircraft Tactical Decision Generation

Science.gov (United States)

McManus, John W.

1990-01-01

A research program investigating the use of artificial intelligence (AI) techniques to aid in the development of a Tactical Decision Generator (TDG) for Within Visual Range (WVR) air combat engagements is discussed. The application of AI programming and problem solving methods in the development and implementation of a concurrent version of the Computerized Logic For Air-to-Air Warfare Simulations (CLAWS) program, a second generation TDG, is presented. Concurrent computing environments and programming approaches are discussed and the design and performance of a prototype concurrent TDG system are presented.

Pluggable Controllers and Nano-Patterns in Java with Lola

Directory of Open Access Journals (Sweden)

Yossi Gil

2017-09-01

Full Text Available Pluggable controllers are a different way to design control constructors such as if, while, do, switch, and operators such as short circuit con-junction (&& and the “?.” operator of the Swift programming language. Adoption of pluggable controllers enables the final user to modify and extend the control flow constructs (if, while, etc. of an underlying programming language, the same way they can do if they implement functions such as printf and class String in a standard library. In modular, pluggable controller based language design, beside core control constructors, there are others, defined in standard libraries, with the purpose of augmenting and enriching the language. These pluggable controllers are extensible and replaceable. Being less intertwined in the main language, control constructor libraries can evolve independently from it, and their releases do not mandate new language releases. We illustrate the implementation of pluggable controllers using Lola, a powerful language-independent preprocessor and macro language. We demonstrate the introduction of new pluggable controllers with two case studies. The implementation of a Java stenography based on prevalent Java idioms, called “nano-patterns” or nanos, and the introduction in Java of new code constructs inspired by the Mathematica language’s commands.

Detecting modularity "smells" in dependencies injected with Java annotations

NARCIS (Netherlands)

Roubtsov, S.; Serebrenik, A.; Brand, van den M.G.J.

2010-01-01

Dependency injection is a recent programming mechanism reducing dependencies among components by delegating them to an external entity, called a dependency injection framework. An increasingly popular approach to dependency injection implementation relies upon using Java annotations, a special form

Qualitative Evaluation of the Java Intelligent Tutoring System

Directory of Open Access Journals (Sweden)

Edward Sykes

2005-10-01

Full Text Available In an effort to support the growing trend of the Java programming language and to promote web-based personalized education, the Java Intelligent Tutoring System (JITS was designed and developed. This tutoring system is unique in a number of ways. Most Intelligent Tutoring Systems require the teacher to author problems with corresponding solutions. JITS, on the other hand, requires the teacher to only supply the problem and problem specification. JITS is designed to "intelligently" examine the student's submitted code and determines appropriate feedback based on a number of factors such as JITS' cognitive model of the student, the student's skill level, and problem details. JITS is intended to be used by beginner programming students in their first year of College or University. This paper discusses the important aspects of the design and development of JITS, the qualitative methods and procedures, and findings. Research was conducted at the Sheridan Institute of Technology and Advanced Learning, Ontario, Canada.

JGromacs: a Java package for analyzing protein simulations.

Science.gov (United States)

Münz, Márton; Biggin, Philip C

2012-01-23

In this paper, we introduce JGromacs, a Java API (Application Programming Interface) that facilitates the development of cross-platform data analysis applications for Molecular Dynamics (MD) simulations. The API supports parsing and writing file formats applied by GROMACS (GROningen MAchine for Chemical Simulations), one of the most widely used MD simulation packages. JGromacs builds on the strengths of object-oriented programming in Java by providing a multilevel object-oriented representation of simulation data to integrate and interconvert sequence, structure, and dynamics information. The easy-to-learn, easy-to-use, and easy-to-extend framework is intended to simplify and accelerate the implementation and development of complex data analysis algorithms. Furthermore, a basic analysis toolkit is included in the package. The programmer is also provided with simple tools (e.g., XML-based configuration) to create applications with a user interface resembling the command-line interface of GROMACS applications. JGromacs and detailed documentation is freely available from http://sbcb.bioch.ox.ac.uk/jgromacs under a GPLv3 license .

Impact of Implementation of Direct Cash Transfer Program 2008/2009 on Household Consumption in Central Java Province

Science.gov (United States)

Subanti, S.; Hakim, A. R.; Hakim, I. M.

2017-04-01

This study aims to see the impact of direct cash transfer program for 2008/2009 on household consumption of food, nonfood, education, and health in Central Java Province. The study is expected to provide important findings for the improvement of a similar program in the future. This study findings that (1) the increasing in food and non-food consumption for direct cash transfer recipients than non direct cash transfer recipients; (2) the impact of households expenditure on education for direct cash transfer recipients is higher than non direct cash transfer recipients; (3) the impact of households expenditure on health for direct cash transfer recipients is lower than non direct cash transfer recipients. This study recommended that (1) implementation of direct cash transfer program 2008/2009 must be managed to be better because this program can defend household welfare. It shows from several indicators of well-being such as consumption spending, education, and health; (2) data targets for poor households (very poor, poor, nearly poor) must be updated.

Professional JavaScript for Web Developers

CERN Document Server

Zakas, Nicholas C

2011-01-01

A significant update to a bestselling JavaScript book As the key scripting language for the web, JavaScript is supported by every modern web browser and allows developers to create client-side scripts that take advantage of features such as animating the canvas tag and enabling client-side storage and application caches. After an in-depth introduction to the JavaScript language, this updated edition of a bestseller progresses to break down how JavaScript is applied for web development using the latest web development technologies. Veteran author and JavaScript guru Nicholas Zakas shows how Jav

Java 3D Interactive Visualization for Astrophysics

Science.gov (United States)

Chae, K.; Edirisinghe, D.; Lingerfelt, E. J.; Guidry, M. W.

2003-05-01

We are developing a series of interactive 3D visualization tools that employ the Java 3D API. We have applied this approach initially to a simple 3-dimensional galaxy collision model (restricted 3-body approximation), with quite satisfactory results. Running either as an applet under Web browser control, or as a Java standalone application, this program permits real-time zooming, panning, and 3-dimensional rotation of the galaxy collision simulation under user mouse and keyboard control. We shall also discuss applications of this technology to 3-dimensional visualization for other problems of astrophysical interest such as neutron star mergers and the time evolution of element/energy production networks in X-ray bursts. *Managed by UT-Battelle, LLC, for the U.S. Department of Energy under contract DE-AC05-00OR22725.

High Performance JavaScript

CERN Document Server

Zakas, Nicholas

2010-01-01

If you're like most developers, you rely heavily on JavaScript to build interactive and quick-responding web applications. The problem is that all of those lines of JavaScript code can slow down your apps. This book reveals techniques and strategies to help you eliminate performance bottlenecks during development. You'll learn how to improve execution time, downloading, interaction with the DOM, page life cycle, and more. Yahoo! frontend engineer Nicholas C. Zakas and five other JavaScript experts -- Ross Harmes, Julien Lecomte, Steven Levithan, Stoyan Stefanov, and Matt Sweeney -- demonstra

JavaScript Web Applications

CERN Document Server

MacCaw, Alex

2011-01-01

Building rich JavaScript applications that bring a desktop experience to the Web requires moving state from the server to the client side-not a simple task. This hands-on book takes proficient JavaScript developers through all the steps necessary to create state-of-the-art applications, including structure, templating, frameworks, communicating with the server, and many other issues. Throughout the book, you'll work with real-world example applications to help you grasp the concepts involved. Learn how to create JavaScript applications that offer a more responsive and improved experience. U

Java-based mobile agent platforms for wireless sensor networks

NARCIS (Netherlands)

Aiello, F.; Carbone, A.; Fortino, G.; Galzarano, S.; Ganzha, M.; Paprzycki, M.

2010-01-01

This paper proposes an overview and comparison of mobile agent platforms for the development of wireless sensor network applications. In particular, the architecture, programming model and basic performance of two Java-based agent platforms, Mobile Agent Platform for Sun SPOT (MAPS) and Agent

Applications of Java and Vector Graphics to Astrophysical Visualization

Science.gov (United States)

Edirisinghe, D.; Budiardja, R.; Chae, K.; Edirisinghe, G.; Lingerfelt, E.; Guidry, M.

2002-12-01

We describe a series of projects utilizing the portability of Java programming coupled with the compact nature of vector graphics (SVG and SWF formats) for setup and control of calculations, local and collaborative visualization, and interactive 2D and 3D animation presentations in astrophysics. Through a set of examples, we demonstrate how such an approach can allow efficient and user-friendly control of calculations in compiled languages such as Fortran 90 or C++ through portable graphical interfaces written in Java, and how the output of such calculations can be packaged in vector-based animation having interactive controls and extremely high visual quality, but very low bandwidth requirements.

Reconciling pairs of concurrently used clinical practice guidelines using Constraint Logic Programming.

Science.gov (United States)

Wilk, Szymon; Michalowski, Martin; Michalowski, Wojtek; Hing, Marisela Mainegra; Farion, Ken

2011-01-01

This paper describes a new methodological approach to reconciling adverse and contradictory activities (called points of contention) occurring when a patient is managed according to two or more concurrently used clinical practice guidelines (CPGs). The need to address these inconsistencies occurs when a patient with more than one disease, each of which is a comorbid condition, has to be managed according to different treatment regimens. We propose an automatic procedure that constructs a mathematical guideline model using the Constraint Logic Programming (CLP) methodology, uses this model to identify and mitigate encountered points of contention, and revises the considered CPGs accordingly. The proposed procedure is used as an alerting mechanism and coupled with a guideline execution engine warns the physician about potential problems with the concurrent application of two or more guidelines. We illustrate the operation of our procedure in a clinical scenario describing simultaneous use of CPGs for duodenal ulcer and transient ischemic attack.

Beginning Java- me platform

CERN Document Server

Rischpater, Ray

2008-01-01

Empowering developers with the flexibility and power to start building Java applications for their Java-enabled mobile device or cell phone, this book covers sound HTTPS support, user interface API enhancements, the Mobile Media API, the Game API, and more.

Pro JavaScript for web apps

CERN Document Server

Freeman, Adam

2012-01-01

JavaScript is the engine behind every web app, and a solid knowledge of it is essential for all modern web developers. Pro JavaScript for Web Apps gives you all of the information that you need to create professional, optimized, and efficient JavaScript applications that will run across all devices. It takes you through all aspects of modern JavaScript application creation, showing you how to combine JavaScript with the new features of HTML5 and CSS3 to make the most of the new web technologies. The focus of the book is on creating professional web applications, ensuring that your app provides

Instant web scraping with Java

CERN Document Server

Mitchell, Ryan

2013-01-01

This book is full of short, concise recipes to learn a variety of useful web scraping techniques using Java. You will start with a simple basic recipe of setting up your Java environment and gradually learn some more advanced recipes such as using complex Scrapers.Instant Web Scraping with Java is aimed at developers who, while not necessarily familiar with Java, are at least ready to dive into the complexities of this language with simple, step-by-step instructions leading the way. It is assumed that you have at least an intermediate knowledge of HTML, some knowledge of MySQL, and access to a

Developing a java android application of KMV-Merton default rate model

Science.gov (United States)

Yusof, Norliza Muhamad; Anuar, Aini Hayati; Isa, Norsyaheeda Natasha; Zulkafli, Sharifah Nursyuhada Syed; Sapini, Muhamad Luqman

2017-11-01

This paper presents a developed java android application for KMV-Merton model in predicting the defaut rate of a firm. Predicting default rate is essential in the risk management area as default risk can be immediately transmitted from one entity to another entity. This is the reason default risk is known as a global risk. Although there are several efforts, instruments and methods used to manage the risk, it is said to be insufficient. To the best of our knowledge, there has been limited innovation in developing the default risk mathematical model into a mobile application. Therefore, through this study, default risk is predicted quantitatively using the KMV-Merton model. The KMV-Merton model has been integrated in the form of java program using the Android Studio Software. The developed java android application is tested by predicting the levels of default risk of the three different rated companies. It is found that the levels of default risk are equivalent to the ratings of the respective companies. This shows that the default rate predicted by the KMV-Merton model using the developed java android application can be a significant tool to the risk mangement field. The developed java android application grants users an alternative to predict level of default risk within less procedure.

Provably correct control flow graphs from Java bytecode programs with exceptions

NARCIS (Netherlands)

Amighi, A.; de Carvalho Gomes, Pedro; Gurov, Dilian; Huisman, Marieke

2016-01-01

We present an algorithm for extracting control flow graphs from Java bytecode that captures normal as well as exceptional control flow. We prove its correctness, in the sense that the behaviour of the extracted control flow graph is a sound over-approximation of the behaviour of the original

NINJA: Java for High Performance Numerical Computing

Directory of Open Access Journals (Sweden)

José E. Moreira

2002-01-01

Full Text Available When Java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical computing, initial measurements indicated a hundred-fold performance disadvantage between Java and more established languages such as Fortran and C. Although much progress has been made, and Java now can be competitive with C/C++ in many important situations, significant performance challenges remain. Existing Java virtual machines are not yet capable of performing the advanced loop transformations and automatic parallelization that are now common in state-of-the-art Fortran compilers. Java also has difficulties in implementing complex arithmetic efficiently. These performance deficiencies can be attacked with a combination of class libraries (packages, in Java that implement truly multidimensional arrays and complex numbers, and new compiler techniques that exploit the properties of these class libraries to enable other, more conventional, optimizations. Two compiler techniques, versioning and semantic expansion, can be leveraged to allow fully automatic optimization and parallelization of Java code. Our measurements with the NINJA prototype Java environment show that Java can be competitive in performance with highly optimized and tuned Fortran code.

jmzML, an open-source Java API for mzML, the PSI standard for MS data.

Science.gov (United States)

Côté, Richard G; Reisinger, Florian; Martens, Lennart

2010-04-01

We here present jmzML, a Java API for the Proteomics Standards Initiative mzML data standard. Based on the Java Architecture for XML Binding and XPath-based XML indexer random-access XML parser, jmzML can handle arbitrarily large files in minimal memory, allowing easy and efficient processing of mzML files using the Java programming language. jmzML also automatically resolves internal XML references on-the-fly. The library (which includes a viewer) can be downloaded from http://jmzml.googlecode.com.

A Model for Java with Wildcards

DEFF Research Database (Denmark)

Cameron, Nicholas R.; Drossopoulou, Sophia; Ernst, Erik

2008-01-01

Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results concerning wildcards, to the best of our knowledge, no system that includes all the key aspects of Java wildcards has been...... proven type sound. This paper establishes that Java wildcards are type sound. We describe a new formal model based on explicit existential types whose pack and unpack operations are handled implicitly, and prove it type sound. Moreover, we specify a translation from a subset of Java to our formal model......, and discuss how several interesting aspects of the Java type system are handled....

Java online monitoring framework

International Nuclear Information System (INIS)

Ronan, M.; Kirkby, D.; Johnson, A.S.; Groot, D. de

1997-10-01

An online monitoring framework has been written in the Java Language Environment to develop applications for monitoring special purpose detectors during commissioning of the PEP-II Interaction Region. PEP-II machine parameters and signals from several of the commissioning detectors are logged through VxWorks/EPICS and displayed by Java display applications. Remote clients are able to monitor the machine and detector performance using graphical displays and analysis histogram packages. In this paper, the design and implementation of the object-oriented Java framework is described. Illustrations of data acquisition, display and histograming applications are also given

A Java-based control system for the Orsay tandem accelerator

Indian Academy of Sciences (India)

The double ring capability is used to enhance the reliability inside the terminal. The two rings are daisy .... Java object representing a physical device in a fieldbus node. It allows handling .... special knowledge of programming. Pramana – J.

Specification and verification of synchronisation classes in Java : A practical approach

NARCIS (Netherlands)

Amighi, A.

2018-01-01

Digital services are becoming an essential part of our daily lives. To provide these services, efficient software plays an important role. Concurrent programming is a technique that developers can exploit to gain more performance. In a concurrent program several threads of execution simultaneously

Der Weg zum Java-Profi Konzepte und Techniken für die professionelle Java-Entwicklung

CERN Document Server

Inden, Michael

2015-01-01

Sie haben bereits Einiges an Erfahrung mit Java und möchten Ihre Entwicklungstätigkeit nun professionalisieren? Oder sind Sie schon auf dem Weg zum Profi, benötigen aber ein Nachschlagewerk, das Ihnen die wichtigen Themen aus der Java-Welt kompakt und kompetent vermittelt? Dieses Buch bietet eine umfassende Einführung in die professionelle Entwicklung und vermittelt Ihnen das notwendige Wissen, um stabile und erweiterbare Softwaresysteme auf Java-SE-Basis zu bauen. Praxisnahe Beispiele helfen dabei, das Gelernte rasch umzusetzen. Neben der Praxis wird viel Wert auf das Verständnis zugrunde liegender Konzepte gelegt. Dabei kommen dem Autor Michael Inden seine umfangreichen Schulungs- und Entwicklererfahrungen zugute - und Ihnen als Leser damit ebenso. Diese Neuauflage wurde durchgehend überarbeitet, aktualisiert und erweitert. Natürlich darf das aktuelle Java 8 nicht fehlen. Verschiedene Kapitel sind Java 8 und seinen Neuerungen gewidmet. Dort wird ein fundierter Einstieg in die umfangreichen Erweit...

A Concurrent Logical Relation

DEFF Research Database (Denmark)

Birkedal, Lars; Sieczkowski, Filip; Thamsborg, Jacob Junker

2012-01-01

We present a logical relation for showing the correctness of program transformations based on a new type-and-effect system for a concurrent extension of an ML-like language with higher-order functions, higher-order store and dynamic memory allocation. We show how to use our model to verify a number....... To the best of our knowledge, this is the first such result for a concurrent higher-order language with higher-order store and dynamic memory allocation....

HEALTH SERVICES AND IT’S UTILIZATION RELATED TO EXCLUSIVE BREASTFEEDING AND EARLY BREASTFEEDING INITIATION PROGRAM IN WEST JAVA PROVINCE

Directory of Open Access Journals (Sweden)

Nur Handayani Utami

2015-01-01

Full Text Available AbstractDespite the essential benefit of early initiation of breastfeeding and exclusive breast feeding during the first six months, the practice was still low. Health services and personnel play important role have not optimal yet in breast feeding. The aim of this study was to review the provision of health services and it’s utilization related to early breastfeeding initiation and exclusive breastfeeding practices in West Java province. This study was an analysis of the Indonesian Health Facility Survey (Rifaskes 2011 and the Basic Health Survey (Riskesdas 2010. It analyzed 45 public hospitals  and  997  primary  health  centers  in  West  Java  Province  from  HFS  and  285  infants (0-6 months in West Java province from Riskesdas. It supplemented with qualitative data that obtained from in-depth interviews with the representatives from central government, Provincial Health Office, District Health Office (DHO, public health centers and hospitals in Bandung city and Bogor district, West Java. This study revealed that a number of gaps related to breastfeeding services  in  PHC  and  hospitals  were  still  found.  One  of  the  influential  factors  that  hindering  the breastfeeding services in health services was the absence of local policy regarding early initiation of breastfeeding and exclusive breastfeeding practices in West Java Province. The limitation of human resources, facilities and specific budget were also become the obstacles in the implementation of the breastfeeding program. This study implied that most of community already utilized the maternal and child’s heath care. This study indicated the importance of health services and support from health professionals for successful of breastfeeding. Thus the strong commitment of health personnels as well as the policy makers was really needed.Keywords : early initiation of breastfeeding; exclusive breastfeeding; health facilities; utilization

Java EE 7 the big picture

CERN Document Server

Coward, Danny

2015-01-01

Java EE 7: The Big Picture uniquely explores the entire Java EE 7 platform in an all-encompassing style while examining each tier of the platform in enough detail so that you can select the right technologies for specific project needs. In this authoritative guide, Java expert Danny Coward walks you through the code, applications, and frameworks that power the platform. Take full advantage of the robust capabilities of Java EE 7, increase your productivity, and meet enterprise demands with help from this Oracle Press resource.

Java EE 7 development with WildFly

CERN Document Server

Ćmil, Michał; Marchioni, Francesco

2014-01-01

If you are a Java developer who wants to learn about Java EE, this is the book for you. It's also ideal for developers who already have experience with the Java EE platform but would like to learn more about the new Java EE 7 features by analyzing fully functional sample applications using the new application server WildFly.

Future-based Static Analysis of Message Passing Programs

Directory of Open Access Journals (Sweden)

Wytse Oortwijn

2016-06-01

Full Text Available Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software is very challenging due to the concurrent nature of message exchanges. Nonetheless, many safety-critical applications rely on the message passing paradigm, including air traffic control systems and emergency services, which makes proving their correctness crucial. We focus on the modular verification of MPI programs by statically verifying concrete Java code. We use separation logic to reason about local correctness and define abstractions of the communication protocol in the process algebra used by mCRL2. We call these abstractions futures as they predict how components will interact during program execution. We establish a provable link between futures and program code and analyse the abstract futures via model checking to prove global correctness. Finally, we verify a leader election protocol to demonstrate our approach.

JavaFX2 a Swing

OpenAIRE

Čapek, Ondřej

2011-01-01

The bachelor thesis deals mainly with the JavaFX2 library and its innovations. An aim is to acquaint readers with wider possibilities and help them with a transition from Swing to JavaFX2. In the thesis there are gone into benefits JavaFX2 which is accompanied by a source code examples for an illustration. A part of the thesis is also an application which shows differences between Swing and JavaFX2 both a graphical view as well as a viewing of the source code. Most of the information containe...

Establishing an Integrated Catchment Management (ICM) program in East Java, Indonesia.

Science.gov (United States)

Booth, C A; Warianti, A; Wrigley, T

2001-01-01

The Brantas is one of Indonesia's most important catchments. It is the "rice bowl" of Java and nationally important for its industrial activity. Surabaya, Indonesia's second largest city, is located at the mouth of the Brantas River which is pivotal to the city's water supply. The challenges associated with the institutional framework for natural resource management in East Java parallels that of many states and provinces around the globe. It is multi-layered and complex. Integrated Catchment Management (ICM) may be defined as "the co-ordinated and sustainable management of land, water, soil vegetation, fauna and other natural resources on a water catchment basis". Over a period of six months, an ICM Strategy was researched and facilitated for the Brantas River Catchment in East Java via a short term advisor attachment. The aim of the Strategy is to improve coordination, co-operation, communication and consistency of government and community efforts towards sustaining the catchment's environmental, economic and social values. The attachment was part of the Pollution Control Implementation (PCI) Project funded by AusAid and the Indonesian Government. The ICM Strategy developed was broad based and addressed the priority natural resource management issues facing the Brantas Catchment. It was co-ordinated by BAPEDALDA, the Provincial Environmental Protection Agency, and developed by all agencies involved in natural resource management in the catchment. Various Universities and Non Government Organisations (NGOs) were also involved in the ICM process which developed the Strategy. At the conclusion of the attachment, a draft ICM Strategy and a proposed institutional framework had been developed. A working group of key agencies was also established to further enhance local "ownership", finalise timescales and implementation responsibilities within the Strategy and bring the institutional arrangements into being through a Governor's Decree.

The definitive guide to Java Swing

CERN Document Server

Zukowski, John

2005-01-01

Updated for the 1.5 edition of the Java 2 Platform, this third edition is a one-stop resource for serious Java developers. It shows the parts of Java Swing API used to create graphical user interfaces (GUI); and Model-View-Controller architecture that lies behind all Swing components; and customizing components for specific environments.

JAVA based LCD Reconstruction and Analysis Tools

International Nuclear Information System (INIS)

Bower, G.

2004-01-01

We summarize the current status and future developments of the North American Group's Java-based system for studying physics and detector design issues at a linear collider. The system is built around Java Analysis Studio (JAS) an experiment-independent Java-based utility for data analysis. Although the system is an integrated package running in JAS, many parts of it are also standalone Java utilities

Java based LCD reconstruction and analysis tools

International Nuclear Information System (INIS)

Bower, Gary; Cassell, Ron; Graf, Norman; Johnson, Tony; Ronan, Mike

2001-01-01

We summarize the current status and future developments of the North American Group's Java-based system for studying physics and detector design issues at a linear collider. The system is built around Java Analysis Studio (JAS) an experiment-independent Java-based utility for data analysis. Although the system is an integrated package running in JAS, many parts of it are also standalone Java utilities

Synchronization resources in heterogeneous environments: Time-sharing, real-time and Java

International Nuclear Information System (INIS)

Pereira, A.; Vega, J.; Pacios, L.; Sanchez, E.; Portas, A.

2006-01-01

The asynchronous event distribution system (AEDS) was built to provide synchronization resources within the TJ-II local area network. It is a software system developed to add 'soft synchronization' capabilities to the TJ-II data acquisition, control and analysis environments. 'Soft synchronization' signifies that AEDS is not a real-time system. In fact, AEDS is based on TCP/IP over ETHERNET networks. However, its response time is adequate for practical purposes when synchronization requirements can support some delay between event dispatch and message reception. Event broadcasters (or synchronization servers in AEDS terminology) are Windows computers. Destination computers (or synchronization clients) were also Windows machines in the first version of AEDS. However, this fact imposed a very important limitation on synchronization capabilities. To overcome this situation, synchronization clients for different environments have been added to AEDS: for time-sharing operating systems (Unix and Linux), real-time operating systems (OS-9 and VxWorks) and Java applications. These environments have different synchronization primitives, requiring different approaches to provide the required uniform functionality. This has been achieved with POSIX thread library synchronization primitives (mutex and condition variables) on Unix/Linux systems, IPC mechanisms for concurrent processes on OS-9 and VxWorks real-time operating systems, and 'synchronized-wait/notify' primitives on Java virtual machines

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

DEFF Research Database (Denmark)

Arrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro

2014-01-01

to the state space explosion. Several techniques have been proposed to mitigate those problems so to make verification under relaxed memory models feasible. We discuss how to adopt some of those techniques in a Maude-based approach to language prototyping, and suggest the use of other techniques that have been......Relaxed memory models offer suitable abstractions of the actual optimizations offered by multi-core architectures and by compilers of concurrent programming languages. Using such abstractions for verification purposes is challenging in part due to their inherent non-determinism which contributes...

JANIS-2: An Improved Version of the NEA Java-based Nuclear Data Information System

International Nuclear Information System (INIS)

Soppera, N.; Henriksson, H.; Nagel, P.; Nouri, A.; Dupont, E.

2005-01-01

JANIS (JAva-based Nuclear Information Software) is a display program designed to facilitate the visualisation and manipulation of nuclear data. Its objective is to allow the user of nuclear data to access numerical and graphical representations without prior knowledge of the storage format. It offers maximum flexibility for the comparison of different nuclear data sets. Features included in the latest release are described such as direct access to centralised databases through JAVA Servlet technology

A comparison of functional and object-orientedprogramming paradigms in JavaScript

OpenAIRE

Svensson Sand, Kim; Eliasson, Tord

2017-01-01

There are multiple programming paradigms that have their own set rules forhow code should be written. Programming languages utilize one or multiple ofthese paradigms. In this thesis, we will compare object-oriented programming,that is the most used today with languages such as C++ and Java, and functionalprogramming. Functional programming was introduced in the 1950's butsuered from performance issues, and has not been used much except for in theacademic world. However, for its ability to han...

Professional XMPP Programming with JavaScript and jQuery

CERN Document Server

Moffitt, Jack

2010-01-01

Create real-time, highly interactive apps quickly with the powerful XMPP protocol. XMPP is a robust protocol used for a wide range of applications, including instant messaging, multi-user chat, voice and video conferencing, collaborative spaces, real-time gaming, data synchronization, and search. This book teaches you how to harness the power of XMPP in your own apps and presents you with all the tools you need to build the next generation of apps using XMPP or add new features to your current apps. Featuring the JavaScript language throughout and making use of the jQuery library, the book con

Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code

DEFF Research Database (Denmark)

Mehnert, Hannes

2011-01-01

WearedevelopingKopitiam,atooltointeractivelyprovefull functional correctness of Java programs using separation logic by inter- acting with the interactive theorem prover Coq. Kopitiam is an Eclipse plugin, enabling seamless integration into the workflow of a developer. Kopitiam enables a user to ...

Java Foundation Classes in a Nutshell Desktop Quick Reference

CERN Document Server

Flanagan, David

1999-01-01

Java Foundation Classes in a Nutshell is an indispensable quick reference for Java programmers who are writing applications that use graphics or graphical user interfaces. The author of the bestsellingJava in a Nutshell has written fast-paced introductions to the Java APIs that comprise the Java Foundation Classes (JFC), such as the Swing GUI components and Java 2D, so that you can start using these exciting new technologies right away. This book also includes O'Reilly's classic-style, quick-reference material for all of the classes in the javax.swing and java.awt packages and their numerous

Reactive Programming in Java

CERN Document Server

CERN. Geneva

2017-01-01

Reactive Programming in gaining a lot of excitement. Many libraries, tools, and frameworks are beginning to make use of reactive libraries. Besides, applications dealing with big data or high frequency data can benefit from this programming paradigm. Come to this presentation to learn about what reactive programming is, what kind of problems it solves, how it solves them. We will take an example oriented approach to learning the programming model and the abstraction.

Jess, the Java expert system shell

Energy Technology Data Exchange (ETDEWEB)

Friedman-Hill, E.J.

1997-11-01

This report describes Jess, a clone of the popular CLIPS expert system shell written entirely in Java. Jess supports the development of rule-based expert systems which can be tightly coupled to code written in the powerful, portable Java language. The syntax of the Jess language is discussed, and a comprehensive list of supported functions is presented. A guide to extending Jess by writing Java code is also included.

Learn Java for Android Development

CERN Document Server

Friesen, J

2010-01-01

Android development is hot, and many programmers are interested in joining the fun. However, because this technology is based on Java, you should first obtain a solid grasp of the Java language and its foundational APIs to improve your chances of succeeding as an Android app developer. After all, you will be busy learning the architecture of an Android app, the various Android-specific APIs, and Android-specific tools. If you do not already know Java fundamentals, you will probably end up with a massive headache from also having to quickly cram those fundamentals into your knowledge base. Lear

Embedded Java security security for mobile devices

CERN Document Server

Debbabi, Mourad; Talhi, Chamseddine

2007-01-01

Java brings more functionality and versatility to the world of mobile devices, but it also introduces new security threats. This book contains a presentation of embedded Java security and presents the main components of embedded Java. It gives an idea of the platform architecture and is useful for researchers and practitioners.

Agribusiness entrepreneurship development strategy in East Java for welcoming ASEAN Economic Community (AEC era

Directory of Open Access Journals (Sweden)

Dewie Tri Wijayati

2016-07-01

Full Text Available Facing the implementation of ASEAN Economic Community (AEC at the end of 2015 requires strategic measures to make Indonesia ready to compete with other nations in ASEAN. East Java Province has great potentials and contributions in the national agribusiness. Establishing agribusiness in East Java towards increased competitiveness is the right step to welcome AEC 2015. This research attempts to study the appropriate model of agribusiness development strategy for East Java. The selection of strategy model is expected to prepare a strong and competitive economy in East Java. Through three principles of data analysis model of Miles and Huberman with the emphasis on data collection, data display, and verification, this study also used a variety of data collection techniques and verifications such as Focus Group Discussion (FGD, observation, and others. This research was conducted in four regions as the focus of the study area: Probolinggo District, Sidoarjo District, Pasuruan District and the City of Batu. The results provide the following conclusions: (a the agribusiness development strategy in East Java should be done with the target approach. This means that the introduction to the target is the most important factors to determine the strategy to be implemented; (b the role of the government is highly important and strategic in developing agribusiness in East Java. These can be implemented through a variety of program models that are tailored to the target.

Efficient Approximate JavaScript Call Graph Construction

NARCIS (Netherlands)

S. Benschop

2014-01-01

htmlabstractJavaScript has seen an increase in popularity in the last few years, both in the browser as well as on other platforms such as Node.js. However, the tools to help developers reason about JavaScript code remain fairly barebone in comparison with tooling for static languages such as Java.

Mastering JavaScript design patterns

CERN Document Server

Timms, Simon

2014-01-01

If you are a developer interested in creating easily maintainable applications that can grow and change with your needs, then this book is for you. Some experience with JavaScript (not necessarily with entire applications written in JavaScript) is required to follow the examples written in the book.

Application of Java technology in radiation image processing

International Nuclear Information System (INIS)

Cheng Weifeng; Li Zheng; Chen Zhiqiang; Zhang Li; Gao Wenhuan

2002-01-01

The acquisition and processing of radiation image plays an important role in modern application of civil nuclear technology. The author analyzes the rationale of Java image processing technology which includes Java AWT, Java 2D and JAI. In order to demonstrate applicability of Java technology in field of image processing, examples of application of JAI technology in processing of radiation images of large container have been given

The Challenges of Career and Technical Education Concurrent Enrollment: An Administrative Perspective

Science.gov (United States)

Haag, Patricia W.

2015-01-01

Career and technical education concurrent enrollment may pose unique challenges in programming and enrollment for program administrators, and this chapter describes the experiences and challenges of a CTE concurrent enrollment administrator.

The impacts of health, education, family planning and electrification programs on fertility, mortality and child schooling in East Java, Indonesia.

Science.gov (United States)

Wirakartakusumah, M D

1988-06-01

This paper examines the effects of public health, family planning, education, electrification, and water supply programs on fertility, child mortality, and school enrollment decisions of rural households in East Java, Indonesia. The theoretical model assumes that parents maximize a utility function, subject to 1) a budget constraint that equates income with expenditures on children (including schooling and health inputs), and 2) a production function that relates health inputs to child survival possibilities. Public programs affect prices of contraceptives, schooling and health inputs, and environmental conditions that in turn affect child survival. Data are taken from the 1980 East Java Population Survey, the Socio-economic Survey, and the Detailed Village Census. The final sample consists of 3170 rural households with married women of childbearing age. Ordinary least squares and logit regressions of recent fertility, child mortality, and school enrollment on program and household variables yielded the following findings. 1) The presence of maternal and child health clinics reduced fertility but not mortality. 2) The presence of public health centers strongly reduced mortality but not fertility. 3) The presence of contraceptive distribution centers had no effect on fertility. 4) School attendance rates were influenced positively by the availability of primary and secondary schools. 5) Health and family planning programs had no effects on schooling. 6) The availability of public latrines reduced fertility and mortality. 7) The water supply variable did not affect the dependent variables when ordinary least squares techniques were applied but had statistically significant impact when logit methods were used. 8) Electricity supply had little effect on the dependent variables. 9) The mother's schooling had a strong positive correlation with children's schooling but no effect on fertility or mortality. 10) Household expenditures were related positively to school

Java in a Nutshell a Desktop Quick Reference

CERN Document Server

Flanagan, David

2005-01-01

With more than 700,000 copies sold to date, Java ina Nutshellfrom O'Reilly is clearly the favorite resource amongst the legion ofdevelopers and programmers using Java technology. And now, with therelease of the 5.0 version of Java, O'Reilly has given the book thatdefined the "in a Nutshell" category another impressive tune-up. In this latest revision, readers will find Java in aNutshell,5th Edition, does more than just cover the extensive changes implicit in5.0, the newest version of Java. It's undergone a complete makeover--inscope, size, and type of coverage--in order to more closely meet

Space Station Freedom - Configuration management approach to supporting concurrent engineering and total quality management. [for NASA Space Station Freedom Program

Science.gov (United States)

Gavert, Raymond B.

1990-01-01

Some experiences of NASA configuration management in providing concurrent engineering support to the Space Station Freedom program for the achievement of life cycle benefits and total quality are discussed. Three change decision experiences involving tracing requirements and automated information systems of the electrical power system are described. The potential benefits of concurrent engineering and total quality management include improved operational effectiveness, reduced logistics and support requirements, prevention of schedule slippages, and life cycle cost savings. It is shown how configuration management can influence the benefits attained through disciplined approaches and innovations that compel consideration of all the technical elements of engineering and quality factors that apply to the program development, transition to operations and in operations. Configuration management experiences involving the Space Station program's tiered management structure, the work package contractors, international partners, and the participating NASA centers are discussed.

Geothermal and volcanism in west Java

Science.gov (United States)

Setiawan, I.; Indarto, S.; Sudarsono; Fauzi I, A.; Yuliyanti, A.; Lintjewas, L.; Alkausar, A.; Jakah

2018-02-01

Indonesian active volcanoes extend from Sumatra, Jawa, Bali, Lombok, Flores, North Sulawesi, and Halmahera. The volcanic arc hosts 276 volcanoes with 29 GWe of geothermal resources. Considering a wide distribution of geothermal potency, geothermal research is very important to be carried out especially to tackle high energy demand in Indonesia as an alternative energy sources aside from fossil fuel. Geothermal potency associated with volcanoes-hosted in West Java can be found in the West Java segment of Sunda Arc that is parallel with the subduction. The subduction of Indo-Australian oceanic plate beneath the Eurasian continental plate results in various volcanic products in a wide range of geochemical and mineralogical characteristics. The geochemical and mineralogical characteristics of volcanic and magmatic rocks associated with geothermal systems are ill-defined. Comprehensive study of geochemical signatures, mineralogical properties, and isotopes analysis might lead to the understanding of how large geothermal fields are found in West Java compared to ones in Central and East Java. The result can also provoke some valuable impacts on Java tectonic evolution and can suggest the key information for geothermal exploration enhancement.

Java EE 7 development with NetBeans 8

CERN Document Server

Heffelfinger, David R

2015-01-01

The book is aimed at Java developers who wish to develop Java EE applications while taking advantage of NetBeans functionality to automate repetitive tasks. Familiarity with NetBeans or Java EE is not assumed.

Java Power Tools

CERN Document Server

Smart, John

2008-01-01

All true craftsmen need the best tools to do their finest work, and programmers are no different. Java Power Tools delivers 30 open source tools designed to improve the development practices of Java developers in any size team or organization. Each chapter includes a series of short articles about one particular tool -- whether it's for build systems, version control, or other aspects of the development process -- giving you the equivalent of 30 short reference books in one package. No matter which development method your team chooses, whether it's Agile, RUP, XP, SCRUM, or one of many other

Java I/O

CERN Document Server

Harold, Elliotte Rusty

2006-01-01

All of Java's Input/Output (I/O) facilities are based on streams, which provide simple ways to read and write data of different types. Java provides many different kinds of streams, each with its own application. The universe of streams is divided into four largecategories: input streams and output streams, for reading and writing binary data; and readers and writers, for reading and writing textual (character) data. You're almost certainly familiar with the basic kinds of streams--but did you know that there's a CipherInputStream for reading encrypted data? And a ZipOutputStream for automati

Learn Objective-C for Java Developers

CERN Document Server

Bucanek, James

2009-01-01

Learn Objective-C for Java Developers will guide experienced Java developers into the world of Objective-C. It will show them how to take their existing language knowledge and design patterns and transfer that experience to Objective-C and the Cocoa runtime library. This is the express train to productivity for every Java developer who dreamt of developing for Mac OS X or iPhone, but felt that Objective-C was too intimidating. So hop on and enjoy the ride!

A safety-critical java technology compatibility kit

DEFF Research Database (Denmark)

Søndergaard, Hans; Korsholm, Stephan E.; Ravn, Anders Peter

2014-01-01

In order to claim conformance with a given Java Specification Request (JSR), a Java implementation has to pass all tests in an associated Technology Compatibility Kit (TCK). This paper presents development of test cases and tools for the draft Safety-Critical Java (SCJ) specification. In previous...... work we have shown how the Java Modeling Language (JML) is applied to specify conformance constraints for SCJ, and how JML-related tools may assist in generating and executing tests. Here we extend this work with a layout for concrete test cases including checking of results in a simplified version...

A predictable Java profile - rationale and implementations

DEFF Research Database (Denmark)

Søndergaard, Hans; Bøgholm, Thomas; Hansen, Rene Rydhof

A Java profile suitable for development of high integrity embedded systems is presented. It is based on event handlers which are grouped in missions and equipped with respectively private handler memory and shared mission memory. This is a result of our previous work on developing a Java profile......, and is directly inspired by interactions with the Open Group on their on-going work on a safety critical Java profile (JSR-302). The main contribution is an arrangement of the class hierarchy such that the proposal is a generalization of Real-Time Specification for Java (RTSJ). A further contribution...

Formalising Java safety -- An overview

NARCIS (Netherlands)

Hartel, Pieter H.; Domingo-Ferrer, J; Chan, D.; Watson, A.

We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smart cards. The conclusion is that while a lot of good work has been done, a more concerted effort is needed to build a coherent set of machine readable

Trichosanthes L. (Cucurbitaceae) in Java

NARCIS (Netherlands)

Wilde, de Rugayah; Wilde, de W.J.J.O.

1997-01-01

As compared with the treatment in the Flora of Java (Backer in Backer & Bakhuizen van den Brink, 1963) with 8 species, a recent review of the genus Trichosanthes in Java resulted in the acceptance of 10 species for this island. Important changes are: the name T. trifolia has to be replaced by a

Secure Java For Web Application Development

CERN Document Server

Bhargav, Abhay

2010-01-01

As the Internet has evolved, so have the various vulnerabilities, which largely stem from the fact that developers are unaware of the importance of a robust application security program. This book aims to educate readers on application security and building secure web applications using the new Java Platform. The text details a secure web application development process from the risk assessment phase to the proof of concept phase. The authors detail such concepts as application risk assessment, secure SDLC, security compliance requirements, web application vulnerabilities and threats, security

Synchronization resources in heterogeneous environments: Time-sharing, real-time and Java

Energy Technology Data Exchange (ETDEWEB)

Pereira, A. [Asociacion EURATOM/CIEMAT para Fusion, CIEMAT Edificio 66, Avda. Complutense, 22, 28040 Madrid (Spain)]. E-mail: augusto.pereira@ciemat.es; Vega, J. [Asociacion EURATOM/CIEMAT para Fusion, CIEMAT Edificio 66, Avda. Complutense, 22, 28040 Madrid (Spain); Pacios, L. [Asociacion EURATOM/CIEMAT para Fusion, CIEMAT Edificio 66, Avda. Complutense, 22, 28040 Madrid (Spain); Sanchez, E. [Asociacion EURATOM/CIEMAT para Fusion, CIEMAT Edificio 66, Avda. Complutense, 22, 28040 Madrid (Spain); Portas, A. [Asociacion EURATOM/CIEMAT para Fusion, CIEMAT Edificio 66, Avda. Complutense, 22, 28040 Madrid (Spain)

2006-07-15

The asynchronous event distribution system (AEDS) was built to provide synchronization resources within the TJ-II local area network. It is a software system developed to add 'soft synchronization' capabilities to the TJ-II data acquisition, control and analysis environments. 'Soft synchronization' signifies that AEDS is not a real-time system. In fact, AEDS is based on TCP/IP over ETHERNET networks. However, its response time is adequate for practical purposes when synchronization requirements can support some delay between event dispatch and message reception. Event broadcasters (or synchronization servers in AEDS terminology) are Windows computers. Destination computers (or synchronization clients) were also Windows machines in the first version of AEDS. However, this fact imposed a very important limitation on synchronization capabilities. To overcome this situation, synchronization clients for different environments have been added to AEDS: for time-sharing operating systems (Unix and Linux), real-time operating systems (OS-9 and VxWorks) and Java applications. These environments have different synchronization primitives, requiring different approaches to provide the required uniform functionality. This has been achieved with POSIX thread library synchronization primitives (mutex and condition variables) on Unix/Linux systems, IPC mechanisms for concurrent processes on OS-9 and VxWorks real-time operating systems, and 'synchronized-wait/notify' primitives on Java virtual machines.

High-Performance Java Codes for Computational Fluid Dynamics

Science.gov (United States)

Riley, Christopher; Chatterjee, Siddhartha; Biswas, Rupak; Biegel, Bryan (Technical Monitor)

2001-01-01

The computational science community is reluctant to write large-scale computationally -intensive applications in Java due to concerns over Java's poor performance, despite the claimed software engineering advantages of its object-oriented features. Naive Java implementations of numerical algorithms can perform poorly compared to corresponding Fortran or C implementations. To achieve high performance, Java applications must be designed with good performance as a primary goal. This paper presents the object-oriented design and implementation of two real-world applications from the field of Computational Fluid Dynamics (CFD): a finite-volume fluid flow solver (LAURA, from NASA Langley Research Center), and an unstructured mesh adaptation algorithm (2D_TAG, from NASA Ames Research Center). This work builds on our previous experience with the design of high-performance numerical libraries in Java. We examine the performance of the applications using the currently available Java infrastructure and show that the Java version of the flow solver LAURA performs almost within a factor of 2 of the original procedural version. Our Java version of the mesh adaptation algorithm 2D_TAG performs within a factor of 1.5 of its original procedural version on certain platforms. Our results demonstrate that object-oriented software design principles are not necessarily inimical to high performance.

Reference Capabilities for Trait Based Reuse and Concurrency Control

OpenAIRE

Castegren, Elias; Wrigstad, Tobias

2016-01-01

The proliferation of shared mutable state in object-orientedprogramming complicates software development as two seeminglyunrelated operations may interact via an alias and produceunexpected results. In concurrent programming this manifestsitself as data-races. Concurrent object-oriented programming further suffers from thefact that code that warrants synchronisation cannot easily bedistinguished from code that does not. The burden is placed solelyon the programmer to reason about alias freedo...

JavaScript domain-driven design

CERN Document Server

Fehre, Philipp

2015-01-01

If you are an experienced JavaScript developer who wants to improve the design of his or her applications, or find yourself in a situation to implement an application in an unfamiliar domain, this book is for you. Prior knowledge of JavaScript is required and prior experience with Node.js will also be helpful.

The ENSDF Java Package

International Nuclear Information System (INIS)

Sonzogni, A.A.

2005-01-01

A package of computer codes has been developed to process and display nuclear structure and decay data stored in the ENSDF (Evaluated Nuclear Structure Data File) library. The codes were written in an object-oriented fashion using the java language. This allows for an easy implementation across multiple platforms as well as deployment on web pages. The structure of the different java classes that make up the package is discussed as well as several different implementations

An Evaluation of Java for Numerical Computing

Directory of Open Access Journals (Sweden)

Brian Blount

1999-01-01

Full Text Available This paper describes the design and implementation of high performance numerical software in Java. Our primary goals are to characterize the performance of object‐oriented numerical software written in Java and to investigate whether Java is a suitable language for such endeavors. We have implemented JLAPACK, a subset of the LAPACK library in Java. LAPACK is a high‐performance Fortran 77 library used to solve common linear algebra problems. JLAPACK is an object‐oriented library, using encapsulation, inheritance, and exception handling. It performs within a factor of four of the optimized Fortran version for certain platforms and test cases. When used with the native BLAS library, JLAPACK performs comparably with the Fortran version using the native BLAS library. We conclude that high‐performance numerical software could be written in Java if a handful of concerns about language features and compilation strategies are adequately addressed.

JLAPACK – Compiling LAPACK FORTRAN to Java

Directory of Open Access Journals (Sweden)

David M. Doolin

1999-01-01

Full Text Available The JLAPACK project provides the LAPACK numerical subroutines translated from their subset Fortran 77 source into class files, executable by the Java Virtual Machine (JVM and suitable for use by Java programmers. This makes it possible for Java applications or applets, distributed on the World Wide Web (WWW to use established legacy numerical code that was originally written in Fortran. The translation is accomplished using a special purpose Fortran‐to‐Java (source‐to‐source compiler. The LAPACK API will be considerably simplified to take advantage of Java’s object‐oriented design. This report describes the research issues involved in the JLAPACK project, and its current implementation and status.

Natural language processing with Java

CERN Document Server

Reese, Richard M

2015-01-01

If you are a Java programmer who wants to learn about the fundamental tasks underlying natural language processing, this book is for you. You will be able to identify and use NLP tasks for many common problems, and integrate them in your applications to solve more difficult problems. Readers should be familiar/experienced with Java software development.

Concurrent Collections

OpenAIRE

Budimlić, Zoran; Burke, Michael; Cavé, Vincent; Knobe, Kathleen; Lowney, Geoff; Newton, Ryan; Palsberg, Jens; Peixotto, David; Sarkar, Vivek; Schlimbach, Frank; Taşırlar, Sağnak

2010-01-01

We introduce the Concurrent Collections (CnC) programming model. CnC supports flexible combinations of task and data parallelism while retaining determinism. CnC is implicitly parallel, with the user providing high-level operations along with semantic ordering constraints that together form a CnC graph. We formally describe the execution semantics of CnC and prove that the model guarantees deterministic computation. We evaluate the performance of CnC implementations on several applications an...

Java EE 7 with GlassFish 4 Application Server

CERN Document Server

Heffelfinger, David R

2014-01-01

This book is a practical guide and follows a very user-friendly approach. The book aims to get the reader up to speed in Java EE 7 development. All major Java EE 7 APIs and the details of the GlassFish 4 server are covered followed by examples of their use.If you are a Java developers who wants to become proficient with Java EE 7 this book is ideal for you. Readers are expected to have some experience with Java and to have developed and deployed applications in the past, but don't need any previous knowledge of Java EE or J2EE. It teaches the reader how to use GlassFish 4 to develop and deploy

JANIS: NEA JAva-based Nuclear Data Information System

Science.gov (United States)

Soppera, Nicolas; Bossant, Manuel; Cabellos, Oscar; Dupont, Emmeric; Díez, Carlos J.

2017-09-01

JANIS (JAva-based Nuclear Data Information System) software is developed by the OECD Nuclear Energy Agency (NEA) Data Bank to facilitate the visualization and manipulation of nuclear data, giving access to evaluated nuclear data libraries, such as ENDF, JEFF, JENDL, TENDL etc., and also to experimental nuclear data (EXFOR) and bibliographical references (CINDA). It is available as a standalone Java program, downloadable and distributed on DVD and also a web application available on the NEA website. One of the main new features in JANIS is the scripting capability via command line, which notably automatizes plots generation and permits automatically extracting data from the JANIS database. Recent NEA software developments rely on these JANIS features to access nuclear data, for example the Nuclear Data Sensitivity Tool (NDaST) makes use of covariance data in BOXER and COVERX formats, which are retrieved from the JANIS database. New features added in this version of the JANIS software are described along this paper with some examples.

OpenCV 3.0 computer vision with Java

CERN Document Server

Baggio, Daniel Lélis

2015-01-01

If you are a Java developer, student, researcher, or hobbyist wanting to create computer vision applications in Java then this book is for you. If you are an experienced C/C++ developer who is used to working with OpenCV, you will also find this book very useful for migrating your applications to Java. All you need is basic knowledge of Java, with no prior understanding of computer vision required, as this book will give you clear explanations and examples of the basics.

PyCSP - controlled concurrency

DEFF Research Database (Denmark)

Vinter, Brian; Friborg, Rune Møllegaard; Bjørndalen, John Markus

2010-01-01

Producing readable and correct programs while at the same time taking advantage of multi-core architectures is a challenge. PyCSP is an implementation of Communicating Sequential Processes algebra (CSP) for the Python programming language, that take advantage of CSP's formal and verifiable approach...... to controlling concurrency and the readability of Python source code. We describe PyCSP, demonstrate it through examples and demonstrate how PyCSP compares to Pthreads in a master-worker benchmark....

PyCSP - controlled concurrency

DEFF Research Database (Denmark)

Friborg, Rune Møllegaard; Vinter, Brian; Bjørndalen, John Markus

Producing readable and correct programs while at the same time taking advantage of multi-core architectures is a challenge. PyCSP is an implementation of Communicating Sequential Processes algebra (CSP) for the Python programming language, taking advantage of CSP’s formal and verifiable approach...... to controlling concurrency and the readability of Python source code. We describe PyCSP, demonstrate it through examples and demonstrate how PyCSP compares to Pthreads using a benchmark....

A desktop 3D printer in safety-critical Java

DEFF Research Database (Denmark)

Strøm, Tórur Biskopstø; Schoeberl, Martin

2012-01-01

there exist several safety-critical Java framework implementations, there is a lack of safety-critical use cases implemented according to the specification. In this paper we present a 3D printer and its safety-critical Java level 1 implementation as a use case. With basis in the implementation we evaluate......It is desirable to bring Java technology to safety-critical systems. To this end The Open Group has created the safety-critical Java specification, which will allow Java applications, written according to the specification, to be certifiable in accordance with safety-critical standards. Although...

The enhancement model of ICT competence for the teachers of SMP Terbuka in Central Java to support long distance learning program

Science.gov (United States)

Widowati, Trisnani; Purwanti, Dwi

2017-03-01

ICT-based learning for SMP Terbuka is a manifestation of the first pillar of DEPDIKNAS Strategic Plan 2005-2009, about the use of ICT as the facility of long distance learning. By implementing ICT-based learning, the communication between the teacher and the students is possible to happen although both parties are in differnet places. The problem in implementing ICT-based learning for SMP Terbuka is the low competence of the teachers in ICT mastery, because this research is aimed to formulate the enhancement model of ICT competence for the teachers of SMP Terbuka in Central Java to support long distance learning program. This research shows that Supervised-Teachers and Tutor Teachers Competence in ICT is still low with the average of Supervised-Teachers competence in operating Ms.Word application of 59.6%, Ms.Excel 55.40%, Power Point 43.40% and internet mastery of 41.8%; while the competence of Tutor Teachers is lower with the average of 40.40% in operating Ms. Word, 35.20% in Ms.Excel, 28.00% in Power Point, and 29% in internet mastery. It means that Supervised-Teachers understand ICT, but they do not master it; while Tutor Teachers have just understood ICT and have a low mastery in Ms.Word. The output of this research is: The new findings of the enhancement model of ICT competence for the teachers of SMP Terbuka in Central Java to support long distance learning program.

39 CFR 273.7 - Concurrence of Attorney General.

Science.gov (United States)

2010-07-01

... 39 Postal Service 1 2010-07-01 2010-07-01 false Concurrence of Attorney General. 273.7 Section 273... PROGRAM FRAUD CIVIL REMEDIES ACT § 273.7 Concurrence of Attorney General. (a) The Attorney General is... the Attorney General or his designee approves such action in a written statement which specifies: (1...

Visualization Software for VisIT Java Client

Energy Technology Data Exchange (ETDEWEB)

2017-01-01

The VisIT Java Client (JVC) library is a lightweight thin client that is designed and written purely in the native language of Java (the Python & JavaScript versions of the library use the same concept) and communicates with any new unmodified standalone version of VisIT, a high performance computing parallel visualization toolkit, over traditional or web sockets and dynamically determines capabilities of the running VisIT instance whether local or remote.

Conformance test development with the Java modeling language

DEFF Research Database (Denmark)

Søndergaard, Hans; Korsholm, Stephan E.; Ravn, Anders P.

2017-01-01

In order to claim conformance with a Java Specification Request, a Java implementation has to pass all tests in an associated Technology Compatibility Kit (TCK). This paper presents a model-based development of a TCK test suite and a test execution tool for the draft Safety-Critical Java (SCJ......) profile specification. The Java Modeling Language (JML) is used to model conformance constraints for the profile. JML annotations define contracts for classes and interfaces. The annotations are translated by a tool into runtime assertion checks.Hereby the design and elaboration of the concrete test cases...

JBoss Weld CDI for Java platform

CERN Document Server

Finnegan, Ken

2013-01-01

This book is a mini tutorial with plenty of code examples and strategies to give you numerous options when building your own applications.""JBoss Weld CDI for Java Platform"" is written for developers who are new to dependency injection. A rudimentary knowledge of Java is required.

Extensible numerical library in JAVA

International Nuclear Information System (INIS)

Aso, T.; Okazawa, H.; Takashimizu, N.

2001-01-01

The authors present the current status of the project for developing the numerical library in JAVA. The authors have presented how object-oriented techniques improve usage and also development of numerical libraries compared with the conventional way at previous conference. The authors need many functions for data analysis which is not provided within JAVA language, for example, good random number generators, special functions and so on. Authors' development strategy is focused on easiness of implementation and adding new features by users themselves not only by developers. In HPC field, there are other focus efforts to develop numerical libraries in JAVA. However, their focus is on the performance of execution, not easiness of extension. Following the strategy, the authors have designed and implemented more classes for random number generators and so on

Explicit Precedence Constraints in Safety-Critical Java

DEFF Research Database (Denmark)

Puffitsch, Wolfgang; Noulard, Eric; Pagetti, Claire

2013-01-01

Safety-critical Java (SCJ) aims at making the amenities of Java available for the development of safety-critical applications. The multi-rate synchronous language Prelude facilitates the specification of the communication and timing requirements of complex real-time systems. This paper combines...... to provide explicit support for precedence constraints. We present the considerations behind the design of this extension and discuss our experiences with a first prototype implementation based on the SCJ implementation of the Java Optimized Processor....

The Java EE architect's handbook how to be a successful application architect for Java EE applications

CERN Document Server

Ashmore, Derek C.

2014-01-01

This handbook is a concise guide to assuming the role of application architect for Java EE applications. This handbook will guide the application architect through the entire Java EE project including identifying business requirements, performing use-case analysis, object and data modeling, and guiding a development team during construction. This handbook will provide tips and techniques for communicating with project managers and management. This handbook will provide strategies for making your application easier and less costly to support. Whether you are about to architect your first Java EE application or are looking for ways to keep your projects on-time and on-budget, you will refer to this handbook again and again.

Java-based cryptosystem for PACS and tele-imaging

Science.gov (United States)

Tjandra, Donny; Wong, Stephen T. C.; Yu, Yuan-Pin

1998-07-01

Traditional PACS systems are based on two-tier client server architectures, and require the use of costly, high-end client workstations for image viewing. Consequently, PACS systems using the two-tier architecture do not scale well as data increases in size and complexity. Furthermore, use of dedicated viewing workstations incurs costs in deployment and maintenance. To address these issues, the use of digital library technologies, such as the World Wide Web, Java, and CORBA, is being explored to distribute PACS data to serve a broader range of healthcare providers in an economic and efficient manner. Integration of PACS systems with digital library technologies allows access to medical information through open networks such as the Internet. However, use of open networks to transmit medical data introduces problems with maintaining privacy and integrity of patient information. Cryptography and digital timestamping is used to protect sensitive information from unauthorized access or tampering. A major concern when using cryptography and digital timestamping is the performance degradation associated with the mathematical calculations needed to encrypt/decrypt an image dataset, or to calculate the hash value of an image. The performance issue is compounded by the extra layer associated with the CORBA middleware, and the use of programming languages interpreted at the client side, such as Java. This paper study the extent to which Java-based cryptography and digital timestamping affects performance in a PACS system integrated with digital library technologies.

New Web Server - the Java Version of Tempest - Produced

Science.gov (United States)

York, David W.; Ponyik, Joseph G.

2000-01-01

A new software design and development effort has produced a Java (Sun Microsystems, Inc.) version of the award-winning Tempest software (refs. 1 and 2). In 1999, the Embedded Web Technology (EWT) team received a prestigious R&D 100 Award for Tempest, Java Version. In this article, "Tempest" will refer to the Java version of Tempest, a World Wide Web server for desktop or embedded systems. Tempest was designed at the NASA Glenn Research Center at Lewis Field to run on any platform for which a Java Virtual Machine (JVM, Sun Microsystems, Inc.) exists. The JVM acts as a translator between the native code of the platform and the byte code of Tempest, which is compiled in Java. These byte code files are Java executables with a ".class" extension. Multiple byte code files can be zipped together as a "*.jar" file for more efficient transmission over the Internet. Today's popular browsers, such as Netscape (Netscape Communications Corporation) and Internet Explorer (Microsoft Corporation) have built-in Virtual Machines to display Java applets.

Professionell entwickeln mit Java EE 7 das umfassende Handbuch

CERN Document Server

Salvanos, Alexander

2014-01-01

Ein praxisorientiertes Lehrbuch zur JEE 7 und zugleich ein Standardwerk, das Sie auf Ihrem Weg zum Enterprise-Entwickler begleitet. Inklusive Best Practices für leichtgewichtige Enterprise Applications, Standards zu servicebasierten Anwendungen, Persistence API, Dependency Injection, HTML5 und Performance-Tuning. Aus dem Inhalt: Grundlagen und Installation Software-Architektur mit Java EE Webanwendungen mit HTML5 und CSS3 Java Standard Tag Library Asynchrone Servlets und Non-blocking I/O Datenbanken anbinden mit der JDBC API Java Server Faces Datenbank-Organisation Java Persistence API Objektrelationales Mapping Transaktionssicherheit Performance-Tuning Internationalisierung Enterprise Java Beans WebSockets PrimeFaces Deployment Galileo Press heißt von jetzt an Rheinwerk Verlag.

Java Performance Mysteries

Directory of Open Access Journals (Sweden)

Maldikar Pranita

2016-01-01

The contributions of this paper are (1 Observing Java performance mysteries in the cloud, (2 Identifying the sources of performance mysteries, and (3 Obtaining optimal and reproducible performance data.

Genotype and Phenotype Characterization of Indonesian Phytophthora infestans Isolates Collected From Java and Outside Java Island

Directory of Open Access Journals (Sweden)

Dwinita Wikan Utami

2017-10-01

Full Text Available Phytophthora infestans, the cause of late blight disease, is a worldwide problem in potato and tomato production. To understand the biology and ecology of P. infestans and the mechanism of spatial and temporal factors for the variation in P. infestans, the population diversity is required to be fully characterized. The objective of this research is to characterize the diversity of P. infestans. Surveys and collection of P. infestans isolates were performed on many locations of potato's production center in Indonesia, as in Java (West Java, Central Java, and East Java and outside of Java islands (Medan, Jambi, and Makassar. The collected isolates were then analyzed for their virulence diversity via plant disease bioassays on differential varieties and genotype diversity based on fragment analysis genotypes profile using the multiplexing 20 simple sequence repeat markers. The virulence characterization showed that the isolates group from Makassar, South Sulawesi, have the broad spectrum virulence pathotype to R1, R2, R3, R4, and R5 differential plants. Simple sequence repeat genotype characterization showed that in general, the population structure of P. infestans grouping is accordance to the origin of the sampling locations. The diversity between populations is lower than diversity between isolates in one location population groups. The characters of P. infestans population showed that the population diversity of P. infestans more occurs on individual isolates in one location compared with the diversity between the population location sampling.

Data structures and algorithm analysis in Java

CERN Document Server

Shaffer, Clifford A

2011-01-01

With its focus on creating efficient data structures and algorithms, this comprehensive text helps readers understand how to select or design the tools that will best solve specific problems. It uses Java as the programming language and is suitable for second-year data structure courses and computer science courses in algorithm analysis. Techniques for representing data are presented within the context of assessing costs and benefits, promoting an understanding of the principles of algorithm analysis and the effects of a chosen physical medium. The text also explores tradeoff issues, familiari

Overview of Java application configuration frameworks

OpenAIRE

Denisov, Victor

2013-01-01

This paper reviews three major application configuration frameworks for Java-based applications: java.util.Properties, Apache Commons Configuration and Preferences API. Basic functionality of each framework is illustrated with code examples. Pros and cons of each framework are described in moderate detail. Suggestions are made about typical use cases for each framework.

Forward progress on GPU concurrency

NARCIS (Netherlands)

Donaldson, A.F.; Ketema, J.; Sorensen, T.; Wickerson, J.

2017-01-01

The tutorial at CONCUR will provide a practical overview of work undertaken over the last six years in the Multicore Programming Group at Imperial College London, and with collaborators internationally, related to understanding and reasoning about concurrency in software designed for acceleration on

Preliminary Proceedings 15th International Workshop on Expressiveness in Concurrency

DEFF Research Database (Denmark)

The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and obje...

Patterns for Safety-Critical Java Memory Usage

DEFF Research Database (Denmark)

Rios Rivas, Juan Ricardo; Nilsen, Kelvin; Schoeberl, Martin

2012-01-01

Scoped memories are introduced in real-time Java profiles in order to make object allocation and deallocation time and space predictable. However, explicit scoping requires care from programmers when dealing with temporary objects, passing scope-allocated objects as arguments to methods, and retu......Scoped memories are introduced in real-time Java profiles in order to make object allocation and deallocation time and space predictable. However, explicit scoping requires care from programmers when dealing with temporary objects, passing scope-allocated objects as arguments to methods...... are illustrated by implementations in the safety-critical Java profile....

Java EE 7 performance tuning and optimization

CERN Document Server

Oransa, Osama

2014-01-01

The book adopts a step-by-step approach, starting from building the basics and adding to it gradually by using different tools and examples. The book sequence is easy to follow and all topics are fully illustrated showing you how to make good use of different performance diagnostic tools. If you are an experienced Java developer, architect, team leader, consultant, support engineer, or anyone else who needs performance tuning in your Java applications, and in particular, Java enterprise applications, this book is for you. No prior experience of performance tuning is required.

Access Control of Web- and Java-Based Applications

Science.gov (United States)

Tso, Kam S.; Pajevski, Michael J.

2013-01-01

Cybersecurity has become a great concern as threats of service interruption, unauthorized access, stealing and altering of information, and spreading of viruses have become more prevalent and serious. Application layer access control of applications is a critical component in the overall security solution that also includes encryption, firewalls, virtual private networks, antivirus, and intrusion detection. An access control solution, based on an open-source access manager augmented with custom software components, was developed to provide protection to both Web-based and Javabased client and server applications. The DISA Security Service (DISA-SS) provides common access control capabilities for AMMOS software applications through a set of application programming interfaces (APIs) and network- accessible security services for authentication, single sign-on, authorization checking, and authorization policy management. The OpenAM access management technology designed for Web applications can be extended to meet the needs of Java thick clients and stand alone servers that are commonly used in the JPL AMMOS environment. The DISA-SS reusable components have greatly reduced the effort for each AMMOS subsystem to develop its own access control strategy. The novelty of this work is that it leverages an open-source access management product that was designed for Webbased applications to provide access control for Java thick clients and Java standalone servers. Thick clients and standalone servers are still commonly used in businesses and government, especially for applications that require rich graphical user interfaces and high-performance visualization that cannot be met by thin clients running on Web browsers

QSPIN: A High Level Java API for Quantum Computing Experimentation

Science.gov (United States)

Barth, Tim

2017-01-01

QSPIN is a high level Java language API for experimentation in QC models used in the calculation of Ising spin glass ground states and related quadratic unconstrained binary optimization (QUBO) problems. The Java API is intended to facilitate research in advanced QC algorithms such as hybrid quantum-classical solvers, automatic selection of constraint and optimization parameters, and techniques for the correction and mitigation of model and solution errors. QSPIN includes high level solver objects tailored to the D-Wave quantum annealing architecture that implement hybrid quantum-classical algorithms [Booth et al.] for solving large problems on small quantum devices, elimination of variables via roof duality, and classical computing optimization methods such as GPU accelerated simulated annealing and tabu search for comparison. A test suite of documented NP-complete applications ranging from graph coloring, covering, and partitioning to integer programming and scheduling are provided to demonstrate current capabilities.

Design and Implementation of Web Based Supply Centers Material Request and Tracking (SMART) System Using With JAVA and JAVA Servlets

National Research Council Canada - National Science Library

Ciftci, Cemalettin

2001-01-01

.... The third tier maintains the database management systems. Java servlets and Java provide programmers platform and operating system independent, multi-threaded, object oriented, secure and mobile means to create dynamic content on the web...

Programación Java

OpenAIRE

Martínez de Morentin Iribarren, Xabier

2014-01-01

Este proyecto trata de informar y dar una base sobre Java, así como los programas a los cuales se les da uso, para facilitar la programación en el mundo laboral, ya sean programas de gestión de datos como Assembla y Tortoise o de desarrollo de aplicaciones, como Eclipse o NetBeans. Trata de llevar al ámbito más profesional, la realización de una aplicación Java. Para ello se respetarán los convenios a la hora de denominaciones de clases, así como los métodos, etc., y la realización d...

Morse Theory and Concurrency

DEFF Research Database (Denmark)

Wisniewski, Rafal

2003-01-01

The work is intended to provide some insight about concurrency theory using ideas from geometry and algebraic topology. We define a topological space containing all traces of execution of the computer program and the information about how time flows. This is the main difference with standard...... topological reasoning in which there is no information about relation "in time" among points. The main task is to define equivalence of paths reflecting execution of a program. We use the notion of homotopy history equivalence relation. The model space considered in this work is a differentiable manifold...

Synthèse de gestionnaires mémoire pour applications Java temps-réel embarquées

OpenAIRE

Salagnac , Guillaume

2008-01-01

In this thesis, we address the problem of dynamic memory management in real-time embedded Java systems. When programming in C or C++, all memory management is done explicitly by the programmer, inducing numerous execution faults because of hazardous use of memory operations. This greatly increases software development costs, because such errors are very hard to debug. The Java language tackles this problem by offering automatic memory management, thanks to the use of a garbage collector. Howe...

Java parallel secure stream for grid computing

International Nuclear Information System (INIS)

Chen, J.; Akers, W.; Chen, Y.; Watson, W.

2001-01-01

The emergence of high speed wide area networks makes grid computing a reality. However grid applications that need reliable data transfer still have difficulties to achieve optimal TCP performance due to network tuning of TCP window size to improve the bandwidth and to reduce latency on a high speed wide area network. The authors present a pure Java package called JPARSS (Java Parallel Secure Stream) that divides data into partitions that are sent over several parallel Java streams simultaneously and allows Java or Web applications to achieve optimal TCP performance in a gird environment without the necessity of tuning the TCP window size. Several experimental results are provided to show that using parallel stream is more effective than tuning TCP window size. In addition X.509 certificate based single sign-on mechanism and SSL based connection establishment are integrated into this package. Finally a few applications using this package will be discussed

Java 7 New Features Cookbook

CERN Document Server

Reese, Richard M

2012-01-01

Each recipe comprises step-by-step instructions followed by an analysis of what was done in each task and other useful information. The book is designed so that you can read it chapter by chapter, or look at the list of recipes and refer to them in no particular order. Each example comes with its expected output to make your learning even easier. This book is designed to bring those who are familiar with Java up-to-speed on the new features found in Java 7.

Potential of Fishing Port Development in the East Java

Science.gov (United States)

Rosana, N.; Prasita, V. D.

2018-03-01

The development of fishing ports in East Java is one of efforts to increase the province revenue, develop the fishing industry and to improve the welfare of fishermen. Profile of capture fisheries in East Java should be provide information that can be developed based on priorities and types of resources. The purpose of this study was to determine several districts in East Java which is a priority for the development of fishing ports based on the potential that exists. The method used is descriptive and spatial analysis in order to obtain an overview of the districts in East Java that has the potential to be developed. Results of the study is the districts in East Java are priorities for the development of fishing ports based on aspects related to the fishery is Banyuwangi, Trenggalek and Jember.

JavaScript and interactive web pages in radiology.

Science.gov (United States)

Gurney, J W

2001-10-01

Web publishing is becoming a more common method of disseminating information. JavaScript is an object-orientated language embedded into modern browsers and has a wide variety of uses. The use of JavaScript in radiology is illustrated by calculating the indices of sensitivity, specificity, and predictive values from a table of true positives, true negatives, false positives, and false negatives. In addition, a single line of JavaScript code can be used to annotate images, which has a wide variety of uses.

A JAVA applet to simulate a CANDU reactor

International Nuclear Information System (INIS)

Varin, E.; Desarmenien, J.

2004-01-01

Here we present a CANDU nuclear power plant simulator, directly available on a web page. The developed applet has two mains objectives: to expose the CANDU technology to a large public on the internet; and to construct a realistic simulator to be used as a pedagogical tool for nuclear introduction to high school or under-graduate students. The neutronic behavior and control algorithms of the reactor are simulated. Java programming language enables a very flexible environment for public information and user interaction with the plant. Examples of shutdown and power maneuver are explained. (author)

Java and its future in biomedical computing.

Science.gov (United States)

Rodgers, R P

1996-01-01

Java, a new object-oriented computing language related to C++, is receiving considerable attention due to its use in creating network-sharable, platform-independent software modules (known as "applets") that can be used with the World Wide Web. The Web has rapidly become the most commonly used information-retrieval tool associated with the global computer network known as the Internet, and Java has the potential to further accelerate the Web's application to medical problems. Java's potentially wide acceptance due to its Web association and its own technical merits also suggests that it may become a popular language for non-Web-based, object-oriented computing. PMID:8880677

The VirusBanker database uses a Java program to allow flexible searching through Bunyaviridae sequences.

Science.gov (United States)

Fourment, Mathieu; Gibbs, Mark J

2008-02-05

Viruses of the Bunyaviridae have segmented negative-stranded RNA genomes and several of them cause significant disease. Many partial sequences have been obtained from the segments so that GenBank searches give complex results. Sequence databases usually use HTML pages to mediate remote sorting, but this approach can be limiting and may discourage a user from exploring a database. The VirusBanker database contains Bunyaviridae sequences and alignments and is presented as two spreadsheets generated by a Java program that interacts with a MySQL database on a server. Sequences are displayed in rows and may be sorted using information that is displayed in columns and includes data relating to the segment, gene, protein, species, strain, sequence length, terminal sequence and date and country of isolation. Bunyaviridae sequences and alignments may be downloaded from the second spreadsheet with titles defined by the user from the columns, or viewed when passed directly to the sequence editor, Jalview. VirusBanker allows large datasets of aligned nucleotide and protein sequences from the Bunyaviridae to be compiled and winnowed rapidly using criteria that are formulated heuristically.

Using Java for distributed computing in the Gaia satellite data processing

Science.gov (United States)

O'Mullane, William; Luri, Xavier; Parsons, Paul; Lammers, Uwe; Hoar, John; Hernandez, Jose

2011-10-01

In recent years Java has matured to a stable easy-to-use language with the flexibility of an interpreter (for reflection etc.) but the performance and type checking of a compiled language. When we started using Java for astronomical applications around 1999 they were the first of their kind in astronomy. Now a great deal of astronomy software is written in Java as are many business applications. We discuss the current environment and trends concerning the language and present an actual example of scientific use of Java for high-performance distributed computing: ESA's mission Gaia. The Gaia scanning satellite will perform a galactic census of about 1,000 million objects in our galaxy. The Gaia community has chosen to write its processing software in Java. We explore the manifold reasons for choosing Java for this large science collaboration. Gaia processing is numerically complex but highly distributable, some parts being embarrassingly parallel. We describe the Gaia processing architecture and its realisation in Java. We delve into the astrometric solution which is the most advanced and most complex part of the processing. The Gaia simulator is also written in Java and is the most mature code in the system. This has been successfully running since about 2005 on the supercomputer "Marenostrum" in Barcelona. We relate experiences of using Java on a large shared machine. Finally we discuss Java, including some of its problems, for scientific computing.

Formal specification with the Java modeling language

NARCIS (Netherlands)

Huisman, Marieke; Ahrendt, Wolfgang; Grahl, Daniel; Hentschel, Martin; Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattoas

2016-01-01

This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It appears in a book about the KeY approach and tool, because JML is the dominating starting point of KeY style Java verification. However, this chapter does not depend on KeY, nor any

Distributed nuclear medicine applications using World Wide Web and Java technology

International Nuclear Information System (INIS)

Knoll, P.; Hoell, K.; Koriska, K.; Mirzaei, S.; Koehn, H.

2000-01-01

At present, medical applications applying World Wide Web (WWW) technology are mainly used to view static images and to retrieve some information. The Java platform is a relative new way of computing, especially designed for network computing and distributed applications which enables interactive connection between user and information via the WWW. The Java 2 Software Development Kit (SDK) including Java2D API, Java Remote Method Invocation (RMI) technology, Object Serialization and the Java Advanced Imaging (JAI) extension was used to achieve a robust, platform independent and network centric solution. Medical image processing software based on this technology is presented and adequate performance capability of Java is demonstrated by an iterative reconstruction algorithm for single photon emission computerized tomography (SPECT). (orig.)

Java-Based Coupling for Parallel Predictive-Adaptive Domain Decomposition

Directory of Open Access Journals (Sweden)

Cécile Germain‐Renaud

1999-01-01

Full Text Available Adaptive domain decomposition exemplifies the problem of integrating heterogeneous software components with intermediate coupling granularity. This paper describes an experiment where a data‐parallel (HPF client interfaces with a sequential computation server through Java. We show that seamless integration of data‐parallelism is possible, but requires most of the tools from the Java palette: Java Native Interface (JNI, Remote Method Invocation (RMI, callbacks and threads.

The r-Java 2.0 code: nuclear physics

Science.gov (United States)

Kostka, M.; Koning, N.; Shand, Z.; Ouyed, R.; Jaikumar, P.

2014-08-01

Aims: We present r-Java 2.0, a nucleosynthesis code for open use that performs r-process calculations, along with a suite of other analysis tools. Methods: Equipped with a straightforward graphical user interface, r-Java 2.0 is capable of simulating nuclear statistical equilibrium (NSE), calculating r-process abundances for a wide range of input parameters and astrophysical environments, computing the mass fragmentation from neutron-induced fission and studying individual nucleosynthesis processes. Results: In this paper we discuss enhancements to this version of r-Java, especially the ability to solve the full reaction network. The sophisticated fission methodology incorporated in r-Java 2.0 that includes three fission channels (beta-delayed, neutron-induced, and spontaneous fission), along with computation of the mass fragmentation, is compared to the upper limit on mass fission approximation. The effects of including beta-delayed neutron emission on r-process yield is studied. The role of Coulomb interactions in NSE abundances is shown to be significant, supporting previous findings. A comparative analysis was undertaken during the development of r-Java 2.0 whereby we reproduced the results found in the literature from three other r-process codes. This code is capable of simulating the physical environment of the high-entropy wind around a proto-neutron star, the ejecta from a neutron star merger, or the relativistic ejecta from a quark nova. Likewise the users of r-Java 2.0 are given the freedom to define a custom environment. This software provides a platform for comparing proposed r-process sites.

MATLAB-Like Scripting of Java Scientific Libraries in ScalaLab

Directory of Open Access Journals (Sweden)

Stergios Papadimitriou

2014-01-01

Full Text Available Although there are a lot of robust and effective scientific libraries in Java, the utilization of these libraries in pure Java is difficult and cumbersome, especially for the average scientist that does not expertise in software development. We illustrate that ScalaLab presents an easier and productive MATLAB like front end. Also, the main strengths and weaknesses of the core Java libraries of ScalaLab are elaborated. Since performance is of paramount importance for scientific computation, the article discusses extensively performance aspects of the ScalaLab environment. Also, Java bytecode performance is compared to native code.

Sample Development on Java Smart-Card Electronic Wallet Application

OpenAIRE

Toma Cristian

2009-01-01

In this paper, are highlighted concepts as: complete Java card application, life cycle of an applet, and a practical electronic wallet sample implemented in Java card technology. As a practical approach it would be interesting building applets for ID, Driving License, Health-Insurance smart cards, for encrypt and digitally sign documents, for E-Commerce and for accessing critical resources in government and military field. The end of this article it is presented a java card electronic wallet ...

Static Analysis of Mobile Programs

Science.gov (United States)

2017-02-01

and not allowed, to do. The second issue was that a fully static analysis was never a realistic possibility, because Java , the programming langauge...scale to large programs it had to handle essentially all of the features of Java and could also be used as a general-purpose analysis engine. The...static analysis of imperative languages. • A framework for adding specifications about the behavior of methods, including methods that were

Chip-Multiprocessor Hardware Locks for Safety-Critical Java

DEFF Research Database (Denmark)

Strøm, Torur Biskopstø; Puffitsch, Wolfgang; Schoeberl, Martin

2013-01-01

and may void a task set's schedulability. In this paper we present a hardware locking mechanism to reduce the synchronization overhead. The solution is implemented for the chip-multiprocessor version of the Java Optimized Processor in the context of safety-critical Java. The implementation is compared...

Evaluation of Static JavaScript Call Graph Algorithms

NARCIS (Netherlands)

J.-J. Dijkstra (Jorryt-Jan)

2014-01-01

htmlabstractThis thesis consists of a replication study in which two algorithms to compute JavaScript call graphs have been implemented and evaluated. Existing IDE support for JavaScript is hampered due to the dynamic nature of the language. Previous studies partially solve call graph computation

Atmospheric sulfur and nitrogen in West Java

International Nuclear Information System (INIS)

Ayers, G.P.; Gillett, R.W.; Ginting, N.; Hopper, M.; Selleck, P.W.; Tapper, N.

1995-01-01

Wet-only rainwater composition on a weekly basis was determined at four sites in West Java, Indonesia, from June 1991 to June 1992. Three sites were near the extreme western end of Java, surrounding a coal-fired power station at Suralaya. The fourth site was ∼ 100 km to the east in the Indonesian capital, Jakarta. Over the 12 months study period wet deposition of sulfate at the three western sites varied between 32-46 meq m -2 while nitrate varied between 10-14 meq m -2 . Wet deposition at the Jakarta site was systematically higher, at 56 meq m -2 for sulfate and 20 meq m -2 for nitrate. Since sulfate and nitrate wet deposition fluxes in the nearby and relatively unpopulated regions of typical Australia are both only ∼ 5 meq m -2 anthropogenic emissions of S and N apparently cause significant atmospheric acidification in Java. It is possible that total acid deposition fluxes (of S and N) in parts of Java are comparable with those responsible for environmental degradation in acid-sensitive parts of Europe and North America. 19 refs., 3 tabs

Formal specifications for Java’s synchronisation classes

NARCIS (Netherlands)

Amighi, A.; Blom, Stefan; Huisman, Marieke; Mostowski, Wojciech; Zaharieva, M.

2013-01-01

This paper discusses formal specification and verification of the synchronisation classes of the Java API. In many verification systems for concurrent programs, synchronisation is treated as a primitive operation. As a result, verification rules for synchronisation are hard-coded in the logic, and

Measuring and modelling concurrency

Science.gov (United States)

Sawers, Larry

2013-01-01

This article explores three critical topics discussed in the recent debate over concurrency (overlapping sexual partnerships): measurement of the prevalence of concurrency, mathematical modelling of concurrency and HIV epidemic dynamics, and measuring the correlation between HIV and concurrency. The focus of the article is the concurrency hypothesis – the proposition that presumed high prevalence of concurrency explains sub-Saharan Africa's exceptionally high HIV prevalence. Recent surveys using improved questionnaire design show reported concurrency ranging from 0.8% to 7.6% in the region. Even after adjusting for plausible levels of reporting errors, appropriately parameterized sexual network models of HIV epidemics do not generate sustainable epidemic trajectories (avoid epidemic extinction) at levels of concurrency found in recent surveys in sub-Saharan Africa. Efforts to support the concurrency hypothesis with a statistical correlation between HIV incidence and concurrency prevalence are not yet successful. Two decades of efforts to find evidence in support of the concurrency hypothesis have failed to build a convincing case. PMID:23406964

Towards a Certified Lightweight Array Bound Checker for Java Bytecode

Science.gov (United States)

Pichardie, David

2009-01-01

Dynamic array bound checks are crucial elements for the security of a Java Virtual Machines. These dynamic checks are however expensive and several static analysis techniques have been proposed to eliminate explicit bounds checks. Such analyses require advanced numerical and symbolic manipulations that 1) penalize bytecode loading or dynamic compilation, 2) complexify the trusted computing base. Following the Foundational Proof Carrying Code methodology, our goal is to provide a lightweight bytecode verifier for eliminating array bound checks that is both efficient and trustable. In this work, we define a generic relational program analysis for an imperative, stackoriented byte code language with procedures, arrays and global variables and instantiate it with a relational abstract domain as polyhedra. The analysis has automatic inference of loop invariants and method pre-/post-conditions, and efficient checking of analysis results by a simple checker. Invariants, which can be large, can be specialized for proving a safety policy using an automatic pruning technique which reduces their size. The result of the analysis can be checked efficiently by annotating the program with parts of the invariant together with certificates of polyhedral inclusions. The resulting checker is sufficiently simple to be entirely certified within the Coq proof assistant for a simple fragment of the Java bytecode language. During the talk, we will also report on our ongoing effort to scale this approach for the full sequential JVM.

PDB Editor: a user-friendly Java-based Protein Data Bank file editor with a GUI.

Science.gov (United States)

Lee, Jonas; Kim, Sung Hou

2009-04-01

The Protein Data Bank file format is the format most widely used by protein crystallographers and biologists to disseminate and manipulate protein structures. Despite this, there are few user-friendly software packages available to efficiently edit and extract raw information from PDB files. This limitation often leads to many protein crystallographers wasting significant time manually editing PDB files. PDB Editor, written in Java Swing GUI, allows the user to selectively search, select, extract and edit information in parallel. Furthermore, the program is a stand-alone application written in Java which frees users from the hassles associated with platform/operating system-dependent installation and usage. PDB Editor can be downloaded from http://sourceforge.net/projects/pdbeditorjl/.

HVM-TP: A Time Predictable, Portable Java Virtual Machine for Hard Real-Time Embedded Systems

DEFF Research Database (Denmark)

Luckow, Kasper Søe; Thomsen, Bent; Korsholm, Stephan Erbs

2014-01-01

We present HVMTIME; a portable and time predictable JVM implementation with applications in resource-constrained hard real-time embedded systems. In addition, it implements the Safety Critical Java (SCJ) Level 1 specification. Time predictability is achieved by a combination of time predictable...... algorithms, exploiting the programming model of the SCJ specification, and harnessing static knowledge of the hosted SCJ system. This paper presents HVMTIME in terms of its design and capabilities, and demonstrates how a complete timing model of the JVM represented as a Network of Timed Automata can...... be obtained using the tool TetaSARTSJVM. Further, using the timing model, we derive Worst Case Execution Times (WCETs) and Best Case Execution Times (BCETs) of the Java Bytecodes....

Almost stochastic dominance for poverty level in Central Java Province

Science.gov (United States)

Slamet, Isnandar; Agus Wibowo, Aryanto; Roswitha, Mania

2017-12-01

The criteria for the domination of the distribution function has been used in the investment issues, momentum, agricultural production, and so on. One criteria of domination is stochastic dominance (SD). When this criteria is applied to the dominating area that has smaller value than the dominated area, then almost stochastic dominance (ASD) can be used. It this research, we apply the ASD criteria on data of expenditure per capita based on districts/cities in Central Java. Furthermore, we determine which year the expenditure per capita in the period 2009-2013 is the most dominating to know the level of poverty in Central Java. From the discussion, it can be concluded that the expenditure per capita in Central Java in 2013 dominates expenditure per capita in Central Java in 2009-2012. In other words, the level of poverty in Central Java in 2013 is lower than in 2009-2012.

Python for teaching introductory programming: A quantitative evaluation

OpenAIRE

Jayal, A; Lauria, S; Tucker, A; Swift, S

2011-01-01

This paper compares two different approaches of teaching introductory programming by quantitatively analysing the student assessments in a real classroom. The first approach is to emphasise the principles of object-oriented programming and design using Java from the very beginning. The second approach is to first teach the basic programming concepts (loops, branch, and use of libraries) using Python and then move on to oriented programming using Java. Each approach was adopted for one academi...

Providing the Persistent Data Storage in a Software Engineering Environment Using Java/COBRA and a DBMS

Science.gov (United States)

Dhaliwal, Swarn S.

1997-01-01

An investigation was undertaken to build the software foundation for the WHERE (Web-based Hyper-text Environment for Requirements Engineering) project. The TCM (Toolkit for Conceptual Modeling) was chosen as the foundation software for the WHERE project which aims to provide an environment for facilitating collaboration among geographically distributed people involved in the Requirements Engineering process. The TCM is a collection of diagram and table editors and has been implemented in the C++ programming language. The C++ implementation of the TCM was translated into Java in order to allow the editors to be used for building various functionality of the WHERE project; the WHERE project intends to use the Web as its communication back- bone. One of the limitations of the translated software (TcmJava), which militated against its use in the WHERE project, was persistent data management mechanisms which it inherited from the original TCM; it was designed to be used in standalone applications. Before TcmJava editors could be used as a part of the multi-user, geographically distributed applications of the WHERE project, a persistent storage mechanism must be built which would allow data communication over the Internet, using the capabilities of the Web. An approach involving features of Java, CORBA (Common Object Request Broker), the Web, a middle-ware (Java Relational Binding (JRB)), and a database server was used to build the persistent data management infrastructure for the WHERE project. The developed infrastructure allows a TcmJava editor to be downloaded and run from a network host by using a JDK 1.1 (Java Developer's Kit) compatible Web-browser. The aforementioned editor establishes connection with a server by using the ORB (Object Request Broker) software and stores/retrieves data in/from the server. The server consists of a CORBA object or objects depending upon whether the data is to be made persistent on a single server or multiple servers. The CORBA

The VirusBanker database uses a Java program to allow flexible searching through Bunyaviridae sequences

Directory of Open Access Journals (Sweden)

Gibbs Mark J

2008-02-01

Full Text Available Abstract Background Viruses of the Bunyaviridae have segmented negative-stranded RNA genomes and several of them cause significant disease. Many partial sequences have been obtained from the segments so that GenBank searches give complex results. Sequence databases usually use HTML pages to mediate remote sorting, but this approach can be limiting and may discourage a user from exploring a database. Results The VirusBanker database contains Bunyaviridae sequences and alignments and is presented as two spreadsheets generated by a Java program that interacts with a MySQL database on a server. Sequences are displayed in rows and may be sorted using information that is displayed in columns and includes data relating to the segment, gene, protein, species, strain, sequence length, terminal sequence and date and country of isolation. Bunyaviridae sequences and alignments may be downloaded from the second spreadsheet with titles defined by the user from the columns, or viewed when passed directly to the sequence editor, Jalview. Conclusion VirusBanker allows large datasets of aligned nucleotide and protein sequences from the Bunyaviridae to be compiled and winnowed rapidly using criteria that are formulated heuristically.

JavaScript: Data Visualizations

Science.gov (United States)

D3 is a JavaScript library that, in a manner similar to jQuery library, allows direct inspection and manipulation of the Document Object Model, but is intended for the primary purpose of data visualization.

Fast simulation and topological vertex finding in JAVA

International Nuclear Information System (INIS)

Walkowiak, Wolfgang

2001-01-01

An overview of the fast Monte Carlo simulation for NLC detector studies as currently provided in the Java Analysis Studio environment is presented. Special emphasis is given to the simulation of tracks. In addition, the SLD collaboration's topological vertex finding algorithm (ZVTOP) has been implemented in the Java Analysis Studio framework

Improving Tools for JavaScript Programmers (Position Paper)

DEFF Research Database (Denmark)

Andreasen, Esben; Feldthaus, Asger; Jensen, Simon Holm

We present an overview of three research projects that all aim to provide better tools for JavaScript web application programmers1: TAJS, which infers static type information for JavaScript applications using dataflow analysis; JSRefac- tor, which enables sound code refactorings; and Artemis, which...... provides high-coverage automated testing....

Characteristic and Behavior of Rainfall Induced Landslides in Java Island, Indonesia : an Overview

Science.gov (United States)

Christanto, N.; Hadmoko, D. S.; Westen, C. J.; Lavigne, F.; Sartohadi, J.; Setiawan, M. A.

2009-04-01

Landslides are important natural hazards occurring on mountainous area situated in the wet tropical climate like in Java, Indonesia. As a central of economic and government activity, Java become the most populated island in Indonesia and is increasing every year. This condition create population more vulnerable to hazard. Java is populated by 120 million inhabitants or equivalent with 60% of Indonesian population in only 6,9% of the total surface of Indonesia. Due to its geological setting, its topographical characteristics, and its climatic characteristics, Java is the most exposed regions to landslide hazard and closely related to several factors: (1) located on a subduction zone, 60% of Java is mountainous, with volcano-tectonic mountain chains and 36 active volcanoes out of the 129 in Indonesia, and these volcanic materials are intensively weathered (2) Java is under a humid tropical climate associated with heavy rainfall during the rainy season from October to April. On top of these "natural" conditions, the human activity is an additional factor of landslide occurrence, driven by a high demographic density The purpose of this paper was to collect and analyze spatial and temporal data concerning landslide hazard for the period 1981-2007 and to evaluate and analyze the characteristic and the behavior of landslide in Java. The results provides a new insight into our understanding of landslide hazard and characteristic in the humid tropics, and a basis for predicting future landslides and assessing related hazards at a regional scale. An overview of characteristic and behavior of landslides in Java is given. The result of this work would be valuable for decision makers and communities in the frame of future landslide risk reduction programs. Landslide inventory data was collected from internal database at the different institutions. The result is then georefenced. The temporal changes of landslide activities was done by examining the changes in number and

Collection of process data after cardiac surgery: initial implementation with a Java-based intranet applet.

Science.gov (United States)

Ratcliffe, M B; Khan, J H; Magee, K M; McElhinney, D B; Hubner, C

2000-06-01

Using a Java-based intranet program (applet), we collected postoperative process data after coronary artery bypass grafting. A Java-based applet was developed and deployed on a hospital intranet. Briefly, the nurse entered patient process data using a point and click interface. The applet generated a nursing note, and process data were saved in a Microsoft Access database. In 10 patients, this method was validated by comparison with a retrospective chart review. In 45 consecutive patients, weekly control charts were generated from the data. When aberrations from the pathway occurred, feedback was initiated to restore the goals of the critical pathway. The intranet process data collection method was verified by a manual chart review with 98% sensitivity. The control charts for time to extubation, intensive care unit stay, and hospital stay showed a deviation from critical pathway goals after the first 20 patients. Feedback modulation was associated with a return to critical pathway goals. Java-based applets are inexpensive and can collect accurate postoperative process data, identify critical pathway deviations, and allow timely feedback of process data.

XML Graphs in Program Analysis

DEFF Research Database (Denmark)

Møller, Anders; Schwartzbach, Michael I.

2011-01-01

of XML graphs against different XML schema languages, and provide a software package that enables others to make use of these ideas. We also survey the use of XML graphs for program analysis with four very different languages: XACT (XML in Java), Java Servlets (Web application programming), XSugar......XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tailored for a range of applications. We present a unified definition, outline the key properties including validation...

jmzIdentML API: A Java interface to the mzIdentML standard for peptide and protein identification data.

Science.gov (United States)

Reisinger, Florian; Krishna, Ritesh; Ghali, Fawaz; Ríos, Daniel; Hermjakob, Henning; Vizcaíno, Juan Antonio; Jones, Andrew R

2012-03-01

We present a Java application programming interface (API), jmzIdentML, for the Human Proteome Organisation (HUPO) Proteomics Standards Initiative (PSI) mzIdentML standard for peptide and protein identification data. The API combines the power of Java Architecture of XML Binding (JAXB) and an XPath-based random-access indexer to allow a fast and efficient mapping of extensible markup language (XML) elements to Java objects. The internal references in the mzIdentML files are resolved in an on-demand manner, where the whole file is accessed as a random-access swap file, and only the relevant piece of XMLis selected for mapping to its corresponding Java object. The APIis highly efficient in its memory usage and can handle files of arbitrary sizes. The APIfollows the official release of the mzIdentML (version 1.1) specifications and is available in the public domain under a permissive licence at http://www.code.google.com/p/jmzidentml/. © 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Implementing a Java Based GUI for RICH Detector Analysis

Science.gov (United States)

Lendacky, Andrew; Voloshin, Andrew; Benmokhtar, Fatiha

2016-09-01

The CLAS12 detector at Thomas Jefferson National Accelerator Facility (TJNAF) is undergoing an upgrade. One of the improvements is the addition of a Ring Imaging Cherenkov (RICH) detector to improve particle identification in the 3-8 GeV/c momentum range. Approximately 400 multi anode photomultiplier tubes (MAPMTs) are going to be used to detect Cherenkov Radiation in the single photoelectron spectra (SPS). The SPS of each pixel of all MAPMTs have been fitted to a mathematical model of roughly 45 parameters for 4 HVs, 3 OD. Out of those parameters, 9 can be used to evaluate the PMTs performance and placement in the detector. To help analyze data when the RICH is operational, a GUI application was written in Java using Swing and detector packages from TJNAF. To store and retrieve the data, a MySQL database program was written in Java using the JDBC package. Using the database, the GUI pulls the values and produces histograms and graphs for a selected PMT at a specific HV and OD. The GUI will allow researchers to easily view a PMT's performance and efficiency to help with data analysis and ring reconstruction when the RICH is finished.

Kala defanged: Managing power in Java away from the centre

Directory of Open Access Journals (Sweden)

Andrew Beatty

2012-09-01

Full Text Available If discussions of power in Indonesia have been too Java-centric, power talk about Java has been equally overcentralized. This article presents an alternative view to the top-down, hierarchical, exemplary-centre approach of Anderson, Geertz and others: the view from Banyuwangi in East Java. Through an analysis of local rituals, popular theatre and political action it proposes a different model based on consensus, relativism, and ritual containment.

Instant Java password and authentication security

CERN Document Server

Mayoral, Fernando

2013-01-01

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. This book takes a hands-on approach to Java-based password hashing and authentication, detailing advanced topics in a recipe format.This book is ideal for developers new to user authentication and password security, and who are looking to get a good grounding in how to implement it in a reliable way.It's assumed that the reader will have some experience in Java already, as well as being familiar with the basic idea behind user authentication.

ROOT I/O in JavaScript

International Nuclear Information System (INIS)

Bellenot, Bertrand

2012-01-01

ROOT is used by almost all experiments throughout High Energy and Nuclear Physics to write, read and analyse data. As use of mobile devices (tablets, smart phones) is becoming more and more popular, offering a portable way of monitoring or inspecting ROOT files from any web browser, without having to install any application or library on the server side or on the client side is important. To achieve this, a JavaScript I/O library is being developed. The graphic part is done by using a third-party JavaScript visualization library.

Cost Analysis for Real-time Java Scoped-memory Areas

Directory of Open Access Journals (Sweden)

Delvin Defoe

2007-08-01

Full Text Available Java has recently joined C and C++ as a development platform for real-time and embedded applications. Java's garbage collection, while generally a useful feature, can be problematic for these applications: garbage collection occurs at unpredictable times and its latency is typically unbounded. This can compromise necessary real-time guarantees. To overcome these limitations, the Real-Time for Java Expert Group (RTJEG proposed the Real-Time Specification for Java (RTSJ, which introduced new memory models and new threads to utilize those models. One such memory model uses scoped-memory areas, which work best in the context of a NoHeapRealtimeThread (NHRT. Although much work has been done with scoped-memory areas and NHRTs, there is no system-independent analysis of their costs. In this article we present an asymptotic analysis for RTSJ scoped-memory areas and NHRTs.

Creating Electronic Books-Chapters for Computers and Tablets Using Easy Java/JavaScript Simulations, EjsS Modeling Tool

OpenAIRE

Wee, Loo Kang

2015-01-01

This paper shares my journey (tools used, design principles derived and modeling pedagogy implemented) when creating electronic books-chapters (epub3 format) for computers and tablets using Easy Java/JavaScript Simulations, (old name EJS, new EjsS) Modeling Tool. The theory underpinning this work grounded on learning by doing through dynamic and interactive simulation-models that can be more easily made sense of instead of the static nature of printed materials. I started combining related co...

Java advanced medical image toolkit

International Nuclear Information System (INIS)

Saunder, T.H.C.; O'Keefe, G.J.; Scott, A.M.

2002-01-01

Full text: The Java Advanced Medical Image Toolkit (jAMIT) has been developed at the Center for PET and Department of Nuclear Medicine in an effort to provide a suite of tools that can be utilised in applications required to perform analysis, processing and visualisation of medical images. jAMIT uses Java Advanced Imaging (JAI) to combine the platform independent nature of Java with the speed benefits associated with native code. The object-orientated nature of Java allows the production of an extensible and robust package which is easily maintained. In addition to jAMIT, a Medical Image VO API called Sushi has been developed to provide access to many commonly used image formats. These include DICOM, Analyze, MINC/NetCDF, Trionix, Beat 6.4, Interfile 3.2/3.3 and Odyssey. This allows jAMIT to access data and study information contained in different medical image formats transparently. Additional formats can be added at any time without any modification to the jAMIT package. Tools available in jAMIT include 2D ROI Analysis, Palette Thresholding, Image Groping, Image Transposition, Scaling, Maximum Intensity Projection, Image Fusion, Image Annotation and Format Conversion. Future tools may include 2D Linear and Non-linear Registration, PET SUV Calculation, 3D Rendering and 3D ROI Analysis. Applications currently using JAMIT include Antibody Dosimetry Analysis, Mean Hemispheric Blood Flow Analysis, QuickViewing of PET Studies for Clinical Training, Pharamcodynamic Modelling based on Planar Imaging, and Medical Image Format Conversion. The use of jAMIT and Sushi for scripting and analysis in Matlab v6.1 and Jython is currently being explored. Copyright (2002) The Australian and New Zealand Society of Nuclear Medicine Inc

Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications

DEFF Research Database (Denmark)

Jensen, Simon Holm; Madsen, Magnus; Møller, Anders

2011-01-01

of reasoning about the flow of control and data in modern JavaScript applications that interact with the HTML DOM and browser API. One application of such a static analysis is to detect type-related and dataflow-related programming errors. We report on experiments with a range of modern web applications...

Conversion of the agent-oriented domain-specific language ALAS into JavaScript

Science.gov (United States)

Sredojević, Dejan; Vidaković, Milan; Okanović, Dušan; Mitrović, Dejan; Ivanović, Mirjana

2016-06-01

This paper shows generation of JavaScript code from code written in agent-oriented domain-specific language ALAS. ALAS is an agent-oriented domain-specific language for writing software agents that are executed within XJAF middleware. Since the agents can be executed on various platforms, they must be converted into a language of the target platform. We also try to utilize existing tools and technologies to make the whole conversion process as simple as possible, as well as faster and more efficient. We use the Xtext framework that is compatible with Java to implement ALAS infrastructure - editor and code generator. Since Xtext supports Java, generation of Java code from ALAS code is straightforward. To generate a JavaScript code that will be executed within the target JavaScript XJAF implementation, Google Web Toolkit (GWT) is used.

Optimizing memory use in Java applications, garbage collectors

Directory of Open Access Journals (Sweden)

Ştefan PREDA

2016-05-01

Full Text Available Java applications are diverse, depending by use case, exist application that use small amount of memory till application that use huge amount, tens or hundreds of gigabits. Java Virtual Machine is designed to automatically manage memory for applications. Even in this case due diversity of hardware, software that coexist on the same system and applications itself, these automatic decision need to be accompanied by developer or system administrator to triage optimal memory use. After developer big role to write optimum code from memory allocation perspective , optimizing memory use at Java Virtual Machine and application level become in last year's one of the most important task. This is explained in special due increased demand in applications scalability.

Profile and Instrumentation Driven Methods for Embedded Signal Processing

Science.gov (United States)

2015-01-01

agnostic conventions for describing and organizing tests, and uses shell scripts and programs written in high-level languages to run and analyze these...relaxation (SOR), and lower tri- angular (TRI) transformation. A group of kernels running concurrently was defined as a benchmark; the 5-kernel, 6-kernel, and...Processing, Taipei, Taiwan, April 2009, pp. 565– 568. [75] Shuvra S. Bhattacharyya et al., “Heterogeneous concurrent modeling and design in java , volume 1

Java Image I/O for VICAR, PDS, and ISIS

Science.gov (United States)

Deen, Robert G.; Levoe, Steven R.

2011-01-01

This library, written in Java, supports input and output of images and metadata (labels) in the VICAR, PDS image, and ISIS-2 and ISIS-3 file formats. Three levels of access exist. The first level comprises the low-level, direct access to the file. This allows an application to read and write specific image tiles, lines, or pixels and to manipulate the label data directly. This layer is analogous to the C-language "VICAR Run-Time Library" (RTL), which is the image I/O library for the (C/C++/Fortran) VICAR image processing system from JPL MIPL (Multimission Image Processing Lab). This low-level library can also be used to read and write labeled, uncompressed images stored in formats similar to VICAR, such as ISIS-2 and -3, and a subset of PDS (image format). The second level of access involves two codecs based on Java Advanced Imaging (JAI) to provide access to VICAR and PDS images in a file-format-independent manner. JAI is supplied by Sun Microsystems as an extension to desktop Java, and has a number of codecs for formats such as GIF, TIFF, JPEG, etc. Although Sun has deprecated the codec mechanism (replaced by IIO), it is still used in many places. The VICAR and PDS codecs allow any program written using the JAI codec spec to use VICAR or PDS images automatically, with no specific knowledge of the VICAR or PDS formats. Support for metadata (labels) is included, but is format-dependent. The PDS codec, when processing PDS images with an embedded VIAR label ("dual-labeled images," such as used for MER), presents the VICAR label in a new way that is compatible with the VICAR codec. The third level of access involves VICAR, PDS, and ISIS Image I/O plugins. The Java core includes an "Image I/O" (IIO) package that is similar in concept to the JAI codec, but is newer and more capable. Applications written to the IIO specification can use any image format for which a plug-in exists, with no specific knowledge of the format itself.

Java expert GUI framework for CERN beam instrumentation systems

International Nuclear Information System (INIS)

Bart Pedersen, S.; Bozyigit, S.; Jackson, S.

2012-01-01

The CERN Beam Instrumentation Group's software section has recently performed a study of the tools used to produce Java expert GUI (Graphical User Interface) applications. This paper will present the analysis that was made to understand the requirements for generic components and the resulting tools including a collection of Java components that have been made available for a wider audience. The new expert GUI has already given very good results. Users can easily and quickly create a Java project with a pre-defined structure that will allow them to run an application in two mouse clicks. At the same time, they are able to add whatever components they need to libraries that are now common to all. The use of Maven is not completed and has led to some integration problems for our Java software architecture. Nevertheless, the handling of the library dependencies and the archetypes are very useful

Modular VO oriented Java EE service deployer

Science.gov (United States)

Molinaro, Marco; Cepparo, Francesco; De Marco, Marco; Knapic, Cristina; Apollo, Pietro; Smareglia, Riccardo

2014-07-01

The International Virtual Observatory Alliance (IVOA) has produced many standards and recommendations whose aim is to generate an architecture that starts from astrophysical resources, in a general sense, and ends up in deployed consumable services (that are themselves astrophysical resources). Focusing on the Data Access Layer (DAL) system architecture, that these standards define, in the last years a web based application has been developed and maintained at INAF-OATs IA2 (Italian National institute for Astrophysics - Astronomical Observatory of Trieste, Italian center of Astronomical Archives) to try to deploy and manage multiple VO (Virtual Observatory) services in a uniform way: VO-Dance. However a set of criticalities have arisen since when the VO-Dance idea has been produced, plus some major changes underwent and are undergoing at the IVOA DAL layer (and related standards): this urged IA2 to identify a new solution for its own service layer. Keeping on the basic ideas from VO-Dance (simple service configuration, service instantiation at call time and modularity) while switching to different software technologies (e.g. dismissing Java Reflection in favour of Enterprise Java Bean, EJB, based solution), the new solution has been sketched out and tested for feasibility. Here we present the results originating from this test study. The main constraints for this new project come from various fields. A better homogenized solution rising from IVOA DAL standards: for example the new DALI (Data Access Layer Interface) specification that acts as a common interface system for previous and oncoming access protocols. The need for a modular system where each component is based upon a single VO specification allowing services to rely on common capabilities instead of homogenizing them inside service components directly. The search for a scalable system that takes advantage from distributed systems. The constraints find answer in the adopted solutions hereafter sketched. The

Automata and concurrency

Energy Technology Data Exchange (ETDEWEB)

Priese, L

1983-07-01

The author presents a precise notion of a realization (or simulation) of one concurrent system by another, and studies the relations of modular concurrent systems and non-persistent (i.e. With conflicts) concurrent systems in an automata theoretical style. He introduces a conception of realization that obeys three requirements: it allows for proper hierarchies in certain classes of concurrent systems; it allows for normal-form theorems, and the standard constructions of the literature remain realizations in formal concept; and it clarifies some counterintuitive examples. Further, although this realization conception is developed to translate the computational aspects of concurrent systems, it also gives a formal tool for the handling of synchronization problems. 38 references.

Channels as Objects in Concurrent Object-Oriented Programming

Directory of Open Access Journals (Sweden)

Joana Campos

2011-10-01

Full Text Available There is often a sort of a protocol associated to each class, stating when and how certain methods should be called. Given that this protocol is, if at all, described in the documentation accompanying the class, current mainstream object-oriented languages cannot provide for the verification of client code adherence against the sought class behaviour. We have defined a class-based concurrent object-oriented language that formalises such protocols in the form of usage types. Usage types are attached to class definitions, allowing for the specification of (1 the available methods, (2 the tests clients must perform on the result of methods, and (3 the object status - linear or shared - all of which depend on the object's state. Our work extends the recent approach on modular session types by eliminating channel operations, and defining the method call as the single communication primitive in both sequential and concurrent settings. In contrast to previous works, we define a single category for objects, instead of distinct categories for linear and for shared objects, and let linear objects evolve into shared ones. We introduce a standard sync qualifier to prevent thread interference in certain operations on shared objects. We formalise the language syntax, the operational semantics, and a type system that enforces by static typing that methods are called only when available, and by a single client if so specified in the usage type. We illustrate the language via a complete example.

The concept of geothermal exploration in west Java based on geophysical data