WorldWideScience

Sample records for concurrent java programs

  1. Dynamic Frames Based Verification Method for Concurrent Java Programs

    NARCIS (Netherlands)

    Mostowski, Wojciech

    2016-01-01

    In this paper we discuss a verification method for concurrent Java programs based on the concept of dynamic frames. We build on our earlier work that proposes a new, symbolic permission system for concurrent reasoning and we provide the following new contributions. First, we describe our approach

  2. FlashLight: A Dynamic Detector of Shared State, Race Conditions, and Locking Models in Concurrent Java Programs

    National Research Council Canada - National Science Library

    Hale, Scott C

    2006-01-01

    .... Many factors contribute to concurrency faults in Java code; for example, programmers may not understand Java language semantics or, when using a Java library or framework, may not understand that their resulting program is concurrent...

  3. Data-centric concurrency control on the java programming language

    OpenAIRE

    Parreira, Daniel Luis Landeiroto

    2013-01-01

    Dissertação para obtenção do Grau de Mestre em Engenharia Informática The multi-core paradigm has propelled shared-memory concurrent programming to an important role in software development. Its use is however limited by the constructs that provide a layer of abstraction for synchronizing access to shared resources. Reasoning with these constructs is not trivial due to their concurrent nature. Data-races and deadlocks occur in concurrent programs, encumbering the programmer and furth...

  4. Functional Programming for Java Developers Tools for Better Concurrency, Abstraction, and Agility

    CERN Document Server

    Wampler, Dean

    2011-01-01

    Software development today is embracing functional programming (FP), whether it's for writing concurrent programs or for managing Big Data. Where does that leave Java developers? This concise book offers a pragmatic, approachable introduction to FP for Java developers or anyone who uses an object-oriented language. Dean Wampler, Java expert and author of Programming Scala (O'Reilly), shows you how to apply FP principles such as immutability, avoidance of side-effects, and higher-order functions to your Java code. Each chapter provides exercises to help you practice what you've learned. Once

  5. A new Java Thread model for concurrent programming of real-time systems

    NARCIS (Netherlands)

    Hilderink, G.H.; Broenink, Johannes F.; Bakkers, André

    1998-01-01

    The Java ™ Virtual Machine (JVM) provides a high degree of platform independence, but being an interpreter, Java has a poor system performance. New compiler techniques and Java processors will gradually improve the performance of Java, but despite these developments, Java is still far from

  6. Model Checker for Java Programs

    Science.gov (United States)

    Visser, Willem

    2007-01-01

    Java Pathfinder (JPF) is a verification and testing environment for Java that integrates model checking, program analysis, and testing. JPF consists of a custom-made Java Virtual Machine (JVM) that interprets bytecode, combined with a search interface to allow the complete behavior of a Java program to be analyzed, including interleavings of concurrent programs. JPF is implemented in Java, and its architecture is highly modular to support rapid prototyping of new features. JPF is an explicit-state model checker, because it enumerates all visited states and, therefore, suffers from the state-explosion problem inherent in analyzing large programs. It is suited to analyzing programs less than 10kLOC, but has been successfully applied to finding errors in concurrent programs up to 100kLOC. When an error is found, a trace from the initial state to the error is produced to guide the debugging. JPF works at the bytecode level, meaning that all of Java can be model-checked. By default, the software checks for all runtime errors (uncaught exceptions), assertions violations (supports Java s assert), and deadlocks. JPF uses garbage collection and symmetry reductions of the heap during model checking to reduce state-explosion, as well as dynamic partial order reductions to lower the number of interleavings analyzed. JPF is capable of symbolic execution of Java programs, including symbolic execution of complex data such as linked lists and trees. JPF is extensible as it allows for the creation of listeners that can subscribe to events during searches. The creation of dedicated code to be executed in place of regular classes is supported and allows users to easily handle native calls and to improve the efficiency of the analysis.

  7. JAVA CONCURENT PROGRAM FOR THE SMARANDACHE FUNCTION

    OpenAIRE

    Power, David; Tabirca, S.; Tabirca, T.

    2004-01-01

    The aim of this article is to propose a Java concurrent program for the Smarandache fimction based on an equation. Some results concerning the theoretical complexity of this program are proposed. Finally, the experimental results of the sequential and Java programs are given in order to demonstrate the efficiency of the conament implementation.

  8. Java servlet programming

    CERN Document Server

    Hunter, Jason

    2001-01-01

    Servlets are an exciting and important technology that ties Java to the Web, allowing programmers to write Java programs that create dynamic web content. Java Servlet Programming covers everything Java developers need to know to write effective servlets. It explains the servlet lifecycle, showing how to use servlets to maintain state information effortlessly. It also describes how to serve dynamic web content, including both HTML pages and multimedia data, and explores more advanced topics like integrated session tracking, efficient database connectivity using JDBC, applet-servlet communicat

  9. Java Programming Language

    Science.gov (United States)

    Shaykhian, Gholam Ali

    2007-01-01

    The Java seminar covers the fundamentals of Java programming language. No prior programming experience is required for participation in the seminar. The first part of the seminar covers introductory concepts in Java programming including data types (integer, character, ..), operators, functions and constants, casts, input, output, control flow, scope, conditional statements, and arrays. Furthermore, introduction to Object-Oriented programming in Java, relationships between classes, using packages, constructors, private data and methods, final instance fields, static fields and methods, and overloading are explained. The second part of the seminar covers extending classes, inheritance hierarchies, polymorphism, dynamic binding, abstract classes, protected access. The seminar conclude by introducing interfaces, properties of interfaces, interfaces and abstract classes, interfaces and cailbacks, basics of event handling, user interface components with swing, applet basics, converting applications to applets, the applet HTML tags and attributes, exceptions and debugging.

  10. 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.

  11. 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

  12. Monitoring Java Programs with Java PathExplorer

    Science.gov (United States)

    Havelund, Klaus; Rosu, Grigore; Clancy, Daniel (Technical Monitor)

    2001-01-01

    We present recent work on the development Java PathExplorer (JPAX), a tool for monitoring the execution of Java programs. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems. The tool facilitates automated instrumentation of a program's late code which will then omit events to an observer during its execution. The observer checks the events against user provided high level requirement specifications, for example temporal logic formulae, and against lower level error detection procedures, for example concurrency related such as deadlock and data race algorithms. High level requirement specifications together with their underlying logics are defined in the Maude rewriting logic, and then can either be directly checked using the Maude rewriting engine, or be first translated to efficient data structures and then checked in Java.

  13. Model Checking JAVA Programs Using Java Pathfinder

    Science.gov (United States)

    Havelund, Klaus; Pressburger, Thomas

    2000-01-01

    This paper describes a translator called JAVA PATHFINDER from JAVA to PROMELA, the "programming language" of the SPIN model checker. The purpose is to establish a framework for verification and debugging of JAVA programs based on model checking. This work should be seen in a broader attempt to make formal methods applicable "in the loop" of programming within NASA's areas such as space, aviation, and robotics. Our main goal is to create automated formal methods such that programmers themselves can apply these in their daily work (in the loop) without the need for specialists to manually reformulate a program into a different notation in order to analyze the program. This work is a continuation of an effort to formally verify, using SPIN, a multi-threaded operating system programmed in Lisp for the Deep-Space 1 spacecraft, and of previous work in applying existing model checkers and theorem provers to real applications.

  14. Functional programming in JavaScript

    CERN Document Server

    Mantyla, Dan

    2015-01-01

    If you are a JavaScript developer interested in learning functional programming, looking for the quantum leap towards mastering the JavaScript language, or just want to become a better programmer in general, then this book is ideal for you. It is aimed at programmers involved in developing reactive frontend apps, server-side apps that wrangle with reliability and concurrency, and everything in between.

  15. Java programming 24-hour trainer

    CERN Document Server

    Fain, Yakov

    2015-01-01

    Quick and painless Java programming with expert multimedia instruction Java Programming 24-Hour Trainer, 2nd Edition is your complete beginner's guide to the Java programming language, with easy-to-follow lessons and supplemental exercises that help you get up and running quickly. Step-by-step instruction walks you through the basics of object-oriented programming, syntax, interfaces, and more, before building upon your skills to develop games, web apps, networks, and automations. This second edition has been updated to align with Java SE 8 and Java EE 7, and includes new information on GUI b

  16. 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...

  17. 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)

  18. Permission-Based Separation Logic for Multithreaded Java Programs

    NARCIS (Netherlands)

    Haack, Christian; Huisman, Marieke; Hurlin, C.

    2011-01-01

    This paper motivates and presents a program logic for reasoning about multithreaded Java-like programs with concurrency primitives such as dynamic thread creation, thread joining and reentrant object monitors. The logic is based on concurrent separation logic. It is the first detailed adaptation of

  19. 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...

  20. 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...

  1. 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"--

  2. 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.

  3. Beginning programming with Java for dummies

    CERN Document Server

    Burd, Barry

    2014-01-01

    A practical introduction to programming with Java Beginning Programming with Java For Dummies, 4th Edition is a comprehensive guide to learning one of the most popular programming languages worldwide. This book covers basic development concepts and techniques through a Java lens. You'll learn what goes into a program, how to put the pieces together, how to deal with challenges, and how to make it work. The new Fourth Edition has been updated to align with Java 8, and includes new options for the latest tools and techniques. Java is the predominant language used to program Android and cloud app

  4. Beginning Programming with Java For Dummies

    CERN Document Server

    Burd, Barry

    2012-01-01

    One of the most popular beginning programming books, now fully updated Java is a popular language for beginning programmers, and earlier editions of this fun and friendly guide have helped thousands get started. Now fully revised to cover recent updates for Java 7.0, Beginning Programming with Java For Dummies, 3rd Edition is certain to put more first-time programmers and Java beginners on the road to Java mastery.Explores what goes into creating a program, putting the pieces together, dealing with standard programming challenges, debugging, and making the program work Offers new options for

  5. 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

  6. 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

  7. 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...

  8. 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...

  9. 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...

  10. Permission-based separation logic for multi-threaded Java programs

    NARCIS (Netherlands)

    Amighi, A.; Haack, Christian; Huisman, Marieke; Hurlin, C.

    This paper presents a program logic for reasoning about multithreaded Java-like programs with concurrency primitives such as dynamic thread creation, thread joining and reentrant object monitors. The logic is based on concurrent separation logic. It is the first detailed adaptation of concurrent

  11. 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

  12. 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.

  13. 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

  14. Modern multithreading implementing, testing, and debugging multithreaded Java and C++/Pthreads/Win32 programs

    CERN Document Server

    Carver, Richard H

    2005-01-01

    Master the essentials of concurrent programming,including testing and debuggingThis textbook examines languages and libraries for multithreaded programming. Readers learn how to create threads in Java and C++, and develop essential concurrent programming and problem-solving skills. Moreover, the textbook sets itself apart from other comparable works by helping readers to become proficient in key testing and debugging techniques. Among the topics covered, readers are introduced to the relevant aspects of Java, the POSIX Pthreads library, and the Windows Win32 Applications Programming Interface.

  15. 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...

  16. Communicating Java Threads

    NARCIS (Netherlands)

    Hilderink, G.H.; Broenink, Johannes F.; Vervoort, Wiek; Bakkers, André; Bakkers, A.

    The incorporation of multithreading in Java may be considered a significant part of the Java language, because it provides udimentary facilities for concurrent programming. However, we belief that the use of channels is a fundamental concept for concurrent programming. The channel approach as

  17. 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...

  18. 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...

  19. 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....

  20. 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 ...

  1. 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

  2. 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

  3. 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....

  4. 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.

  5. RxJava essentials

    CERN Document Server

    Morgillo, Ivan

    2015-01-01

    If you are an experienced Java developer, reactive programming will give you a new way to approach scalability and concurrency in your backend systems, without forcing you to switch programming languages.

  6. 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...

  7. 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

  8. 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.

  9. 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...

  10. 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

  11. 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...

  12. 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…

  13. 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...

  14. 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.

  15. 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...

  16. 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…

  17. 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

  18. 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...

  19. 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...

  20. 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

  1. 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

  2. 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...

  3. 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....

  4. 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.

  5. 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.

  6. 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.

  7. 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/.

  8. 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.

  9. 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...

  10. 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 ...

  11. 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.

  12. 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...

  13. 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.

  14. 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.

  15. 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

  16. 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...

  17. 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.

  18. 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…

  19. 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.

  20. 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

  1. 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…

  2. 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…

  3. 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...

  4. 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.…

  5. 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

  6. 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)

  7. 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

  8. 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...

  9. 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

  10. Lazy functional programs in a concurrent environment

    NARCIS (Netherlands)

    Feijs, L.M.G.; Reniers, M.A.

    1997-01-01

    The mechanism of Landin-style stream input/output (I/O) makes it possible to write functional programs, which behave as reactive systems when executed with lazy evaluation. Functional programming languages like Gofer are attractive for programming the data transformations of a reactive system. But

  11. 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...

  12. 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

  13. 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.

  14. Formal Specification and Verification of Concurrent Programs

    Science.gov (United States)

    1993-02-01

    of examples from the emerging theory of This book describes operating systems in general programming languages. via the construction of MINIX , a UNIX...look-alike that runs on IBM-PC compatibles. The book con- Wegner72 tains a complete MINIX manual and a complete Wegnerflisting of its C codie. egner

  15. 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 ...

  16. 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…

  17. 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.

  18. 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...

  19. 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.

  20. 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…

  1. 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…

  2. 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.

  3. 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

  4. 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.

  5. 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)

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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...

  11. 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,

  12. 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...

  13. 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

  14. 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

  15. 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...

  16. 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...

  17. 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

  18. Which programming language should follow Scratch? JavaScript?

    OpenAIRE

    Bevčič, Mateja

    2017-01-01

    Pupils start with Scratch programming already in the second triennium of primary school. Scratch is a visual programming language where users learn basic programming by stacking blocks of commands. The problems then arise when switching to text-based programming as this represents a great and demanding step for pupils. It is for this very reason very important which programming language and environment we select as we try to make this step as easy as possible for pupils. Pyt...

  19. 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 ...

  20. Scaffolding Java Programming on a Mobile Phone for Novice Learners

    Science.gov (United States)

    Mbogo, Chao; Blake, Edwin; Suleman, Hussein

    2015-01-01

    The ubiquity of mobile phones provides an opportunity to use them as a resource for construction of programs beyond the classroom. However, limitations of mobile phones impede their use as typical programming environments. This research proposes that programming environments on mobile phones should include scaffolding techniques specifically…

  1. 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.

  2. 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.

  3. 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....

  4. 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....

  5. 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.

  6. 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

  7. The Java Series: Basic Concepts in Object Oriented Programming

    CERN Multimedia

    CERN. Geneva

    2000-01-01

    The talk will be general enough not to require any previous knowledge of any programming language but some insight in software development would be convenient. In the same way, the talk will give you the basics to learn any OO based methodology or language.

  8. 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.

  9. Semantics-Driven Migration of Java Programs: a Practical Experience

    Directory of Open Access Journals (Sweden)

    Artyom O. Aleksyuk

    2017-01-01

    Full Text Available The purpose of the study is to demonstrate the feasibility of automated code migration to a new set of programming libraries. Code migration is a common task in modern software projects. For example, it may arise when a project should be ported to a more secure or feature-rich library, a new platform or a new version of an already used library. The developed method and tool are based on the previously created by the authors a formalism for describing libraries semantics. The formalism specifies a library behaviour by using a system of extended finite state machines (EFSM. This paper outlines the metamodel designed to specify library descriptions and proposes an easy to use domainspecific language (DSL, which can be used to define models for particular libraries. The mentioned metamodel directly forms the code migration procedure. A process of migration is split into five steps, and each step is also described in the paper. The procedure uses an algorithm based on the breadth- first search extended for the needs of the migration task. Models and algorithms were implemented in the prototype of an automated code migration tool. The prototype was tested by both artificial code examples and a real-world open source project. The article describes the experiments performed, the difficulties that have arisen in the process of migration of test samples, and how they are solved in the proposed procedure. The results of experiments indicate that code migration can be successfully automated. 

  10. 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)

  11. 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

  12. 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

  13. 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.

  14. 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....

  15. A Concurrent Programming Language for Arduino and Educational Robotics

    OpenAIRE

    Morán, Ricardo; Teragni, Matías; Zabala, Gonzalo

    2017-01-01

    Arduino is currently one of the most popular platforms for educational robotics due to its low cost and large amount of available resources online. The Arduino software library provides an abstraction layer over the hardware details, making it possible for novices to build interesting projects. However, its lack of support for concurrency makes some educational robotics projects difficult. In this paper, we explore different approaches to solve this problem and we propose the implementation o...

  16. 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.

  17. 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.

  18. 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

  19. Type and Behaviour Reconstruction for Higher-Order Concurrent Programs

    DEFF Research Database (Denmark)

    Amtoft, T.; Nielson, Flemming; Nielson, Hanne Riis

    1997-01-01

    The authors develop a sound and complete type and behaviour inference algorithm for a fragment of CML (Standard ML with primitives for concurrency). Behaviours resemble terms of a process algebra and yield a concise representation of the communications taking place during execution; types...... are mostly as usual except that function types and `delayed communication types' are labelled by behaviours expressing the communications that will take place if the function is applied or the delayed action is activated. The development of the paper improves a previously published algorithm in achieving...

  20. 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.

  1. 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.

  2. 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.

  3. 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

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. 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

  9. 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.

  10. Verification of Concurrent Programs. Part II. Temporal Proof Principles.

    Science.gov (United States)

    1981-09-01

    not modify any of the shared program variables. In order to ensure the correct synchronization between the processes we use three semaphore variables...direct, simple, and intuitive rides for the establishment of these properties. rhey usually replace long but repetitively similar chains of primitive ...modify the variables on which Q actually depends. A typical case is that of semaphores . We have the following property: The Semaphore Variable Rule

  11. 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

  12. 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.

  13. 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.

  14. 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.

  15. 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....

  16. 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.

  17. 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)

  18. Towards a prevention program for β-thalassemia. The molecular spectrum in East Java, Indonesia.

    Science.gov (United States)

    Hernanda, Pratika Yuhyi; Tursilowati, Luluk; Arkesteijn, Sandra G J; Ugrasena, I Dewa Gede; Larasati, Marian C Shanty; Soeatmadji, Sentot Mustajab; Giordano, Piero C; Harteveld, Cornelis L

    2012-01-01

    Defining the spectrum of specific thalassemia mutations is an important issue when planning prevention programs in large multi ethnic countries as is Indonesia. In a first attempt to define the prevalence of the common mutations in East Java we selected a cohort of 17 transfusion-dependent patients attending the Dr. Soetomo Hospital, Surabaya, Indonesia. After basic diagnostics we performed direct DNA sequencing for all β-globin genes. The results obtained on 34 independent chromosomes revealed the following prevalence rates: c.79 G>A p. Glu27Lys (Hb E) 47.0%; c.92+5G>C (IVS-I-5 G>C) 20.6%; c.109_110 delC p.Pro37Leu fs X7 [codon 35 (-C)] 17.6%; c.46del T p.Trp16Gly fsX4 [codon 15 (-T)] 5.9%; c.126_129delCTTT p. Phe42Leu fs X19 (codons 41/42) 2.9%; c.316-197 C>T [IVS-II-654 (C>T)] 2.9%; c*112 A>G (PolyA) 2.9%. Our preliminary results show that the distribution of the prevalent mutations in our cohort is quite homogeneous but with different forms than previously reported. This indicates that more studies on a larger scale and in different geographical areas are needed to refine our provisional results and to characterize the molecular background of the disease in the whole country.

  19. 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

  20. Advanced network programming principles and techniques : network application programming with Java

    CERN Document Server

    Ciubotaru, Bogdan

    2013-01-01

    Answering the need for an accessible overview of the field, this text/reference presents a manageable introduction to both the theoretical and practical aspects of computer networks and network programming. Clearly structured and easy to follow, the book describes cutting-edge developments in network architectures, communication protocols, and programming techniques and models, supported by code examples for hands-on practice with creating network-based applications. Features: presents detailed coverage of network architectures; gently introduces the reader to the basic ideas underpinning comp

  1. 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...

  2. 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

  3. 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.

  4. 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...

  5. 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

  6. 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

  7. 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....

  8. 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

  9. 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.

  10. 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

  11. 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

  12. 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

  13. 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.

  14. 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...

  15. 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

  16. 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...

  17. 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

  18. 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

  19. 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…

  20. 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.

  1. 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.

  2. 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...

  3. 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.

  4. 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...

  5. 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....

  6. 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

  7. 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.

  8. 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

  9. 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

  10. 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...

  11. 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

  12. 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

  13. 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....

  14. 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

  15. 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...

  16. 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....

  17. 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...

  18. 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.

  19. 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...

  20. Teaching Java programming to media students with a liberal arts background

    DEFF Research Database (Denmark)

    Bennedsen, Jens

    2003-01-01

    knew what the problem was: Lack of motivation. The students considered here consist of students to whom programming is not a primary interest and many are prejudicial against programming. We were mistaken, it was not a motivation problem. We designed a questionnaire to find the students’ attitude...

  1. 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

  2. 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...

  3. INDUSTRIAL ROBOT ARM SIMULATION SOFTWARE DEVELOPMENT USING JAVA-3D AND MATLAB SIMULINK PROGRAMMING LANGUAGE

    OpenAIRE

    Wirabhuana, Arya

    2011-01-01

    Robot Arms Simulation Software development using Structured Programming Languages, Third Party Language, and Artificial Intelligence Programming Language are the common techniques in simulating robot arms movement. Those three techniques are having its strengths and weaknesses depend on several constraints such as robot type, degree of operation complexity to be simulated, operator skills, and also computer capability. This paper will discuss on Robot Arms Simulation Software (RSS) developmen...

  4. EVALUATION OF CORPORATE SOCIAL RESPONSIBILITY PROGRAM IMPLEMENTATION IN BOGOR PDAM TIRTA PAKUAN, WEST JAVA PROVINCE

    Directory of Open Access Journals (Sweden)

    Ismartaya Ismartaya

    2017-07-01

    Full Text Available The purpose of this research is to determine whether the evaluation corporate social responsibility program implementation in Bogor PDAM Tirta Pakuan has been implemented in accordance with the vision, mission, and objectives of the company. PDAM Tirta Pakuan has a vision of CSR as a pioneer in the implementation of social responsibility in Bogor city especially and Indonesia in general. Through this vision, PDAM Tirta Pakuan Bogor city, would really seriously on the implementation of the CSR programs. Based on these purposes, this research is done by evaluating the CSR programs which implemented by PDAM Tirta Pakuan Bogor city and use CIPP evaluation model to conduct an evaluation of the program. The type which used on this research is evaluation research with using a qualitative approach. The source of information used is the Chief Executive of CSR PDAM Tirta Pakuan Bogor. Data collected by the observation, interview and documentation. Test validity of this research by using triangulation technique, while data analysis is done by reducing the data, presenting and concluding. The result shows that the program Tirta Pakuan care as the company’s strategy goes according to the purposes and plans that have been made by the company.

  5. The Discrepancy between The Programs and Disaster Management Policy in Klapanunggal District, Bogor, West Java

    Science.gov (United States)

    Puspito Sari, D. A.; Listiyowati, I.; Nefianto, T.; Lasmono

    2018-03-01

    Bogor regency consists of 40 districts, 23 are prone tonatural disasters. Klapanunggal district is listed in 10 districts declared as most vulnerable to natural disasters. Natural disasters could lead to loss of property and infrastructure damage and will affect the food security in the region. Food shortages is one example of the condition which causes food insecurity. The aim of this research is to analyze the government's food security strategy in anticipation of disaster with a case study of food insecurity in Klapanunggal district. The analysis suggested that; 1) FSVA is an appropriate program to identify food shortage areas, 2) Food Shortage Relief Program (Program Penanganan Daerah Rawan Pangan-PDRP) is the optimal efforts in reducing food shortages in the region, 3)The mismatch between FSVA indicators and Food Shortage Relief Program makes Klapanunggal district difficult in achievingfree status food-shortage. Based on the analysis, it is suggested that the implementation of Food Shortages Relief Program could be carried out based on the priority issues and implemented with integrated coordination and assistance among stakeholders. Such priority issues, integrated coordination and assistance are fully analyzed in this study.

  6. 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....

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

    NARCIS (Netherlands)

    Van Gorp, P.M.E.; Eshuis, H.

    2010-01-01

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

  8. The evaluation of water hyacinth (Eichhornia crassiper) control program in Rawapening Lake, Central Java Indonesia

    Science.gov (United States)

    Hidayati, N.; Soeprobowati, T. R.; Helmi, M.

    2018-03-01

    The existence of water hyacinths and other aquatic plants have been a major concern in Rawapening Lake for many years. Nutrient input from water catchment area and fish feed residues suspected to leads eutrophication, a condition that induces uncontrolled growth of aquatic plants. In dry season, aquatic plants cover almost 70% of lake area. This problem should be handled properly due to wide range of lake function such as water resources, fish farming, power plants, flood control, irrigation and many other important things. In 2011, Rawapening Lake was appointed as pilot project of Save Indonesian Lake Movement: the Indonesian movement for lakes ecosystem conservation and rehabilitation. This project consists of 6 super priority programs and 11 priority programs. This paper will evaluate the first super priority program which aims to control water hyacinth bloom. Result show that the three indicators in water hyacinth control program was not achieved. The coverage area of Water hyacinth was not reduced, tend to increase during period 2012 to 2016. We suggesting better coordination should be performed in order to avoid policies misinterpretation and to clarify the authority from each institution. We also give a support to the establishment of lake zonation plan and keep using all the three methods of cleaning water hyacinth with a maximum population remained at 20%.

  9. 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.

  10. 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...

  11. 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.

  12. 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

  13. 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

  14. 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!

  15. 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

  16. 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

  17. 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

  18. 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...

  19. 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...

  20. 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....

  1. 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...

  2. 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.

  3. 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.

  4. 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

  5. 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

  6. 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

  7. 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.

  8. A 20-week program of resistance or concurrent exercise improves symptoms of schizophrenia: results of a blind, randomized controlled trial

    Directory of Open Access Journals (Sweden)

    Bruna Andrade e Silva

    2015-01-01

    Full Text Available Objective:To evaluate the effects of 20 weeks of resistance and concurrent training on psychotic and depressive symptoms, quality of life outcomes, and serum IGF-1, IGFBP-3, and brain-derived neurotrophic factor (BDNF concentrations in patients with schizophrenia.Methods:In this blind, randomized controlled clinical trial, 34 patients with schizophrenia were assigned to one of three groups: control (CTRL, n=13, resistance exercise (RESEX, n=12, or concurrent exercise (CONCEX, n=9. Symptoms, quality of life, strength, and other variables were assessed.Results:A significant time-by-group interaction was found for the RESEX and CONCEX groups on the Positive and Negative Syndrome Scale (PANSS total score for disease symptoms (p = 0.007, positive symptoms (p = 0.003, and on the arm extension one-repetition maximum (1RM test (p = 0.016. In addition, significant improvements on negative symptoms (p = 0.027, on the role-physical domain of the Short Form-36 Health Survey (p = 0.019, and on the chest press 1RM test (p = 0.040 were observed in the RESEX group. No changes were observed for the other variables investigated.Conclusions:In this sample of patients with schizophrenia, 20 weeks of resistance or concurrent exercise program improved disease symptoms, strength, and quality of life. ClinicalTrials.gov: NCT01674543.

  9. 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...

  10. 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...

  11. 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...

  12. 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....

  13. 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

  14. 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

  15. 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...

  16. 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

  17. 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.

  18. 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.

  19. 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

  20. 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,

  1. 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.

  2. 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.

  3. 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...

  4. 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...

  5. 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

  6. Effectiveness and cost of a transitional care program for heart failure: a prospective study with concurrent controls.

    Science.gov (United States)

    Stauffer, Brett D; Fullerton, Cliff; Fleming, Neil; Ogola, Gerald; Herrin, Jeph; Stafford, Pamala Martin; Ballard, David J

    2011-07-25

    Randomized controlled trials have demonstrated the efficacy of nurse-led transitional care programs to reduce readmission rates for patients with heart failure; the effectiveness of these programs in real-world health care systems is less well understood. We performed a prospective study with concurrent controls to test an advanced practice nurse-led transitional care program for patients with heart failure who were 65 years or older and were discharged from Baylor Medical Center Garland (BMCG) from August 24, 2009, through April 30, 2010. We compared the effect of the program on 30-day (from discharge) all-cause readmission rate, length of stay, and 60-day (from admission) direct cost for BMCG with that of other hospitals within the Baylor Health Care System. We also performed a budget impact analysis using costs and reimbursement experience from the intervention. The intervention significantly reduced adjusted 30-day readmission rates to BMCG by 48% during the postintervention period, which was better than the secular reductions seen at all other facilities in the system. The intervention had little effect on length of stay or total 60-day direct costs for BMCG. Under the current payment system, the intervention reduced the hospital financial contribution margin on average $227 for each Medicare patient with heart failure. Preliminary results suggest that transitional care programs reduce 30-day readmission rates for patients with heart failure. This underscores the potential of the intervention to be effective in a real-world setting, but payment reform may be required for the intervention to be financially sustainable by hospitals.

  7. 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...

  8. 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...

  9. 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...

  10. 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

  11. 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

  12. 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.

  13. 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...

  14. 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

  15. 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

  16. A Java program for LRE-based real-time qPCR that enables large-scale absolute quantification.

    Science.gov (United States)

    Rutledge, Robert G

    2011-03-02

    Linear regression of efficiency (LRE) introduced a new paradigm for real-time qPCR that enables large-scale absolute quantification by eliminating the need for standard curves. Developed through the application of sigmoidal mathematics to SYBR Green I-based assays, target quantity is derived directly from fluorescence readings within the central region of an amplification profile. However, a major challenge of implementing LRE quantification is the labor intensive nature of the analysis. Utilizing the extensive resources that are available for developing Java-based software, the LRE Analyzer was written using the NetBeans IDE, and is built on top of the modular architecture and windowing system provided by the NetBeans Platform. This fully featured desktop application determines the number of target molecules within a sample with little or no intervention by the user, in addition to providing extensive database capabilities. MS Excel is used to import data, allowing LRE quantification to be conducted with any real-time PCR instrument that provides access to the raw fluorescence readings. An extensive help set also provides an in-depth introduction to LRE, in addition to guidelines on how to implement LRE quantification. The LRE Analyzer provides the automated analysis and data storage capabilities required by large-scale qPCR projects wanting to exploit the many advantages of absolute quantification. Foremost is the universal perspective afforded by absolute quantification, which among other attributes, provides the ability to directly compare quantitative data produced by different assays and/or instruments. Furthermore, absolute quantification has important implications for gene expression profiling in that it provides the foundation for comparing transcript quantities produced by any gene with any other gene, within and between samples.

  17. A Java program for LRE-based real-time qPCR that enables large-scale absolute quantification.

    Directory of Open Access Journals (Sweden)

    Robert G Rutledge

    Full Text Available BACKGROUND: Linear regression of efficiency (LRE introduced a new paradigm for real-time qPCR that enables large-scale absolute quantification by eliminating the need for standard curves. Developed through the application of sigmoidal mathematics to SYBR Green I-based assays, target quantity is derived directly from fluorescence readings within the central region of an amplification profile. However, a major challenge of implementing LRE quantification is the labor intensive nature of the analysis. FINDINGS: Utilizing the extensive resources that are available for developing Java-based software, the LRE Analyzer was written using the NetBeans IDE, and is built on top of the modular architecture and windowing system provided by the NetBeans Platform. This fully featured desktop application determines the number of target molecules within a sample with little or no intervention by the user, in addition to providing extensive database capabilities. MS Excel is used to import data, allowing LRE quantification to be conducted with any real-time PCR instrument that provides access to the raw fluorescence readings. An extensive help set also provides an in-depth introduction to LRE, in addition to guidelines on how to implement LRE quantification. CONCLUSIONS: The LRE Analyzer provides the automated analysis and data storage capabilities required by large-scale qPCR projects wanting to exploit the many advantages of absolute quantification. Foremost is the universal perspective afforded by absolute quantification, which among other attributes, provides the ability to directly compare quantitative data produced by different assays and/or instruments. Furthermore, absolute quantification has important implications for gene expression profiling in that it provides the foundation for comparing transcript quantities produced by any gene with any other gene, within and between samples.

  18. 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.

  19. 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....

  20. 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.

  1. 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.

  2. 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

  3. 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,

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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...

  9. Documentation of Concurrent programs.

    Science.gov (United States)

    1983-07-01

    preparing the documentation formats, and Tom McDonald for preparing the supplemental materials and statistical analyses. 16 [ 1 -16- I j REFERENCES I Boehm...34*h (eeeeeotop to enter h, to IAmlOCSot land ,uoMXM to R&’T- kfC ’Cod At 1*1 ,lgo: 0) 4 O ~ en ttR .I SA’ tgOhegl that ’t to 40n. .hi &ren a ~ O toll s

  10. 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.

  11. Going back to Java.

    Science.gov (United States)

    Critchfield, R

    1985-01-01

    In Indonesia, achievements in food production have helped lower the country's deaths rates and increase life expectancy, making concern about the birthrate all the more critical, particularly in the already crowded Java. Indonesia's rice production in 1985 is expected to reach 26.3 million tons, 58% more than the 1975-79 average. With every country except Malaysia now self-sufficient or surplus in rice, the world market price for rice has dropped markedly. Indonesia's National Logistics Board (BULOG), which aims to establish a floor price for rice, has had to stockpile 3.5 million tons, double its normal reserve and enough for 3 years. Some of it has been kept 2 years already, but it cannot be exported as the quality is low and everybody else also has plenty of rice. Peasants and agriculture experts agree that alternatives to rice pose greater risks in terms of weather and disease. Whatever the government does, rice prices have dropped sharply and are likely to stay down. Fertilizer use can also be expected to decline for the 1st time in years. Indonesia is the scene of a scientific breakthrough, a new hybrid seed corn that grows in the tropics. If seed companies are able to sell seed for half of Indonesia's existing corn acreage, this would be an increase of 1.3 million tons, which would mostly be a surplus to be used for export, processing, or increased human or animal consumption. In revisiting Indonesia, the biggest dissapointment is the failure of family planning to slow the rate of population growth more drastically. 5 years ago, Indonesia's family planning program, started in 1970, appeared a great success. Countrywide, the proportion of women aged 15-44 using contraceptives increased from almost nothing to almost 40% and in Bali topped 60%. Indonesia's overall annual population growth rate had dropped to 1.7%, raising hopes it could be brought down to the 1.2% rate of East Java and Bali by 1985. What has happended instead is that an unexpectedly fast

  12. JAVA Stereo Display Toolkit

    Science.gov (United States)

    Edmonds, Karina

    2008-01-01

    This toolkit provides a common interface for displaying graphical user interface (GUI) components in stereo using either specialized stereo display hardware (e.g., liquid crystal shutter or polarized glasses) or anaglyph display (red/blue glasses) on standard workstation displays. An application using this toolkit will work without modification in either environment, allowing stereo software to reach a wider audience without sacrificing high-quality display on dedicated hardware. The toolkit is written in Java for use with the Swing GUI Toolkit and has cross-platform compatibility. It hooks into the graphics system, allowing any standard Swing component to be displayed in stereo. It uses the OpenGL graphics library to control the stereo hardware and to perform the rendering. It also supports anaglyph and special stereo hardware using the same API (application-program interface), and has the ability to simulate color stereo in anaglyph mode by combining the red band of the left image with the green/blue bands of the right image. This is a low-level toolkit that accomplishes simply the display of components (including the JadeDisplay image display component). It does not include higher-level functions such as disparity adjustment, 3D cursor, or overlays all of which can be built using this toolkit.

  13. Java Radar Analysis Tool

    Science.gov (United States)

    Zaczek, Mariusz P.

    2005-01-01

    Java Radar Analysis Tool (JRAT) is a computer program for analyzing two-dimensional (2D) scatter plots derived from radar returns showing pieces of the disintegrating Space Shuttle Columbia. JRAT can also be applied to similar plots representing radar returns showing aviation accidents, and to scatter plots in general. The 2D scatter plots include overhead map views and side altitude views. The superposition of points in these views makes searching difficult. JRAT enables three-dimensional (3D) viewing: by use of a mouse and keyboard, the user can rotate to any desired viewing angle. The 3D view can include overlaid trajectories and search footprints to enhance situational awareness in searching for pieces. JRAT also enables playback: time-tagged radar-return data can be displayed in time order and an animated 3D model can be moved through the scene to show the locations of the Columbia (or other vehicle) at the times of the corresponding radar events. The combination of overlays and playback enables the user to correlate a radar return with a position of the vehicle to determine whether the return is valid. JRAT can optionally filter single radar returns, enabling the user to selectively hide or highlight a desired radar return.

  14. 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

  15. 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

  16. 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.

  17. Building a Steganography Program Including How to Load, Process, and Save JPEG and PNG Files in Java

    Science.gov (United States)

    Courtney, Mary F.; Stix, Allen

    2006-01-01

    Instructors teaching beginning programming classes are often interested in exercises that involve processing photographs (i.e., files stored as .jpeg). They may wish to offer activities such as color inversion, the color manipulation effects archived with pixel thresholding, or steganography, all of which Stevenson et al. [4] assert are sought by…

  18. 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.

  19. 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....

  20. 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...

  1. 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.

  2. 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...

  3. 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...

  4. Comparing the effect of resistance, aerobic, and concurrent exercise program on the level of resistin and high reactive protein C of overweight and obese women

    Directory of Open Access Journals (Sweden)

    Zeynab Shafiee

    2017-01-01

    Full Text Available History and Objective: Obesity is one of the health risks factors, and aerobic exercise is one of the means to prevent and control obesity. The research was designed to compare methods of resistance, aerobic, and concurrent exercises on resistin and C-reactive protein (CRP serum level of overweight and obese women. Research Methodology: In this semi-experimental research, 36 voluntary overweight or obese women were randomly assigned into three groups (n = 12 of aerobic, resistance, and concurrent exercise programs. The training included 8 weeks of exercise performed with 55%–75% of 1-repetition maximum weight lifting. The aerobic exercise was performed at 55%–75% of maximum oxygen consumption and concurrent training included both programs for 3 days/week. The resistin and CRP serum level of the participant was measured 48 h before the start and again 48 h after the termination of the exercise protocol. The statistical analysis was performed on data using SPSS 22.0 (Chicago, USA. One-way analysis of variance and paired t-test was employed to test the hypothesis at significance level set to 0.05. Results: The result indicated that exercise program significantly decreased CRP level of blood serum (P 0.05. Discussion: Aerobic exercise regardless of types has a beneficiary effect on CPR, but resistin level needs different types of exercise to change in overweight and obese women. Conclusion: Some aerobic exercises are beneficiary for overweight and obese women health.

  5. 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...

  6. 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...

  7. 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...

  8. 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

  9. 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

  10. MEN`S PHYSICAL, PSYCHOLOGICAL AND SOCIAL RESPONSE TO VASECTOMY ACCEPTOR OF FAMILY PLANNING PROGRAM IN SUKOHARJO CENTRAL JAVA

    Directory of Open Access Journals (Sweden)

    Winarsih Nur Ambarwati

    2017-04-01

    Full Text Available Introduction: Indonesia is on the fourth position in the world as the most populated nation in 2009. Great number of people with lack of skill would give potential burden in the nation development. Generally, the outcome of Indonesian Family Planing Program(FPP acceptor to Indonesian women is sufficient which is ranging to 59 percent of the total 60,3 percent of participants but if compared to men's participation in is still insignificant. Husband's participation as participant is still low 1.3% consisted of 0.9 percent condom user, 0.4 percent vasectomy user. To describe experiences of Indonesian men following vasectomy in relation to their physical, psychological and social responses to vasectomy. Method: The research design of this research uses descriptive qualitative study. The sample selection was done using theoretical sampling technique. The data collection instrument of grounded theory research is the researcher herself, while other instruments are namely field report, audiotape, videotape, and notes. The data analysis is utilized Colaizzi`s method. Result: Numbers of participants were 7 persons. Physical change after the vasectomy surgery is on general physical change (there is no change felt, the body's stamina raises, healthier, less energy, or weary and physical change on reproduction organ is none. Sexual ability has no change, it increases, it also decreases. The sexual satisfaction is the same, more satisfi ed, or less satisfied. The characteristic change of spermatid is the same, there is change (lesser quantity, more dissolved, and ignore it. All participants said that they feel more comfortable in doing sex after vasectomy surgery. Most participants feel confidence of their sexual ability. The participants' perspective had no difference and feel difference, or there is a change. Most participants stated that vasectomy is the right decision, but few felt disappointed. The social environment response toward men as the

  11. The Effect of Two Different Concurrent Training Programs on Strength and Power Gains in Highly-Trained Individuals

    Science.gov (United States)

    Petré, Henrik; Löfving, Pontus; Psilander, Niklas

    2018-01-01

    The effects of concurrent strength and endurance training have been well studied in untrained and moderately-trained individuals. However, studies examining these effects in individuals with a long history of resistance training (RT) are lacking. Additionally, few studies have examined how strength and power are affected when different types of endurance training are added to an RT protocol. The purpose of the present study was to compare the effects of concurrent training incorporating either low-volume, high-intensity interval training (HIIT, 8-24 Tabata intervals at ~150% of VO2max) or high-volume, medium-intensity continuous endurance training (CT, 40-80 min at 70% of VO2max), on the strength and power of highly-trained individuals. Sixteen highly-trained ice-hockey and rugby players were divided into two groups that underwent either CT (n = 8) or HIIT (n = 8) in parallel with RT (2-6 sets of heavy parallel squats, > 80% of 1RM) during a 6-week period (3 sessions/wk). Parallel squat performance improved after both RT + CT and RT + HIIT (12 ± 8% and 14 ± 10% respectively, p HIIT (4 ± 3%, p HIIT in athletes with a prior history of RT. This indicates that the volume and/or intensity of the endurance training does not influence the magnitude of strength improvements during short periods of concurrent training, at least for highly-trained individuals when the endurance training is performed after RT. However, since VO2max improved only after RT + HIIT and this is a time efficient protocol, we recommend this type of concurrent endurance training. Key points Lower body maximal strength is improved after concurrent strength and endurance training in highly trained individuals. The magnitude of this strength improvement is not influenced by the type of endurance training, i.e. HIIT or CT. HIIT improves VO2max and is more time efficient than CT. HIIT is recommended to athletes when concurrently training for strength and endurance. PMID:29769816

  12. The Effect of Two Different Concurrent Training Programs on Strength and Power Gains in Highly-Trained Individuals.

    Science.gov (United States)

    Petré, Henrik; Löfving, Pontus; Psilander, Niklas

    2018-06-01

    The effects of concurrent strength and endurance training have been well studied in untrained and moderately-trained individuals. However, studies examining these effects in individuals with a long history of resistance training (RT) are lacking. Additionally, few studies have examined how strength and power are affected when different types of endurance training are added to an RT protocol. The purpose of the present study was to compare the effects of concurrent training incorporating either low-volume, high-intensity interval training (HIIT, 8-24 Tabata intervals at ~150% of VO 2max ) or high-volume, medium-intensity continuous endurance training (CT, 40-80 min at 70% of VO 2max ), on the strength and power of highly-trained individuals. Sixteen highly-trained ice-hockey and rugby players were divided into two groups that underwent either CT (n = 8) or HIIT (n = 8) in parallel with RT (2-6 sets of heavy parallel squats, > 80% of 1RM) during a 6-week period (3 sessions/wk). Parallel squat performance improved after both RT + CT and RT + HIIT (12 ± 8% and 14 ± 10% respectively, p HIIT (4 ± 3%, p HIIT in athletes with a prior history of RT. This indicates that the volume and/or intensity of the endurance training does not influence the magnitude of strength improvements during short periods of concurrent training, at least for highly-trained individuals when the endurance training is performed after RT. However, since VO 2max improved only after RT + HIIT and this is a time efficient protocol, we recommend this type of concurrent endurance training.

  13. The Effect of Two Different Concurrent Training Programs on Strength and Power Gains in Highly-Trained Individuals

    Directory of Open Access Journals (Sweden)

    Henrik Petré, Pontus Löfving, Niklas Psilander

    2018-06-01

    Full Text Available The effects of concurrent strength and endurance training have been well studied in untrained and moderately-trained individuals. However, studies examining these effects in individuals with a long history of resistance training (RT are lacking. Additionally, few studies have examined how strength and power are affected when different types of endurance training are added to an RT protocol. The purpose of the present study was to compare the effects of concurrent training incorporating either low-volume, high-intensity interval training (HIIT, 8-24 Tabata intervals at ~150% of VO2max or high-volume, medium-intensity continuous endurance training (CT, 40-80 min at 70% of VO2max, on the strength and power of highly-trained individuals. Sixteen highly-trained ice-hockey and rugby players were divided into two groups that underwent either CT (n = 8 or HIIT (n = 8 in parallel with RT (2-6 sets of heavy parallel squats, > 80% of 1RM during a 6-week period (3 sessions/wk. Parallel squat performance improved after both RT + CT and RT + HIIT (12 ± 8% and 14 ± 10% respectively, p < 0.01, with no difference between the groups. However, aerobic power (VO2max only improved after RT + HIIT (4 ± 3%, p < 0.01. We conclude that strength gains can be obtained after both RT + CT and RT + HIIT in athletes with a prior history of RT. This indicates that the volume and/or intensity of the endurance training does not influence the magnitude of strength improvements during short periods of concurrent training, at least for highly-trained individuals when the endurance training is performed after RT. However, since VO2max improved only after RT + HIIT and this is a time efficient protocol, we recommend this type of concurrent endurance training.

  14. 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...

  15. 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

  16. 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.

  17. 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...

  18. 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...

  19. 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...

  20. 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...

  1. 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...

  2. 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.

  3. 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.

  4. 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

  5. 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...

  6. 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

  7. 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.

  8. Prevention of overuse injuries by a concurrent exercise program in subjects exposed to an increase in training load: a randomized controlled trial of 1020 army recruits

    DEFF Research Database (Denmark)

    Brushøj, Christoffer; Larsen, Klaus; Albrecht-Beste, Elisabeth

    2008-01-01

    on a literature review of intrinsic risk factors, and performed concurrent with an increase in physical activity, can reduce the incidence of overuse knee injuries and medial tibial stress syndrome, as well as increase running distance. STUDY DESIGN: Randomized controlled trial; Level of evidence, 1. METHODS...... no significant differences in incidence of injury between the prevention group and the placebo group (incidence, 0.22 vs 0.19; P = .162; relative risk = 1.05 [range, 0.98-1.11]). The soldiers in the prevention group had the greater improvement in running distance in 12-minute run tests (82 vs 43 m; P = .037......BACKGROUND: It is unknown whether an exercise program can prevent overuse injuries in the lower extremity. An often encountered and important risk factor for the development of lower extremity overuse injuries is an abrupt increase in activity level. HYPOTHESIS: A preventive training program based...

  9. 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

  10. 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)....

  11. 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....

  12. 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.

  13. Helping concerned family members of individuals with substance use and concurrent disorders: An evaluation of a family member-oriented treatment program.

    Science.gov (United States)

    Denomme, William James; Benhanoh, Orry

    2017-08-01

    There is a growing body of research demonstrating that families of individuals with substance use and concurrent disorders (SUCD) experience a wide range of biopsychosocial problems that significantly impedes their quality of life and health. However, there has been a relative lack of treatment programs primarily focused on improving the well-being and quality of life of these family members. The current study assessed the efficacy of such a program at reducing stress, increasing perceived social support from family and friends, and increasing general, dyadic, and self-rated family functioning within these concerned family members. A sample of 125 family members of individuals with SUCDs was recruited, of which 97 participated in the treatment program and 28 were used as the comparison group. Results indicated that the treatment program significantly reduced stress, increased perceived social support from family and friends, and increased general, dyadic and self-rated family functioning. A perceived personal benefits questionnaire demonstrated that participants had a better understanding of SUCDs, better coping capabilities in regard to emotional difficulties, adopted stronger coping methods, participated in more leisure activities, and improved their relationship with the individual with a SUCD. The results of the current study further demonstrate the need to implement more of these family-member oriented psycho-educational treatment programs. Copyright © 2017 Elsevier Inc. All rights reserved.

  14. Mastering concurrency in Go

    CERN Document Server

    Kozyra, Nathan

    2014-01-01

    A practical approach covering everything you need to know to get up and running with Go, starting with the basics and imparting increasingly more detail as the examples and topics become more complicated. The book utilizes a casual, conversational style, rife with actual code and historical anecdotes for perspective, as well as usable and extensible example applications. This book is intended for systems developers and programmers with some experience in either Go and/or concurrent programming who wish to become fluent in building high-performance applications that scale by leveraging single-c

  15. 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...

  16. 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

  17. 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.

  18. 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

  19. 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

  20. 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…

  1. 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…

  2. 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....

  3. 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.

  4. 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

  5. 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.

  6. 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.

  7. Concurrent Programming in Mac OS X and iOS Unleash Multicore Performance with Grand Central Dispatch

    CERN Document Server

    Nahavandipoor, Vandad

    2011-01-01

    Now that multicore processors are coming to mobile devices, wouldn't it be great to take advantage of all those cores without having to manage threads? This concise book shows you how to use Apple's Grand Central Dispatch (GCD) to simplify programming on multicore iOS devices and Mac OS X. Managing your application's resources on more than one core isn't easy, but it's vital. Apps that use only one core in a multicore environment will slow to a crawl. If you know how to program with Cocoa or Cocoa Touch, this guide will get you started with GCD right away, with many examples to help you writ

  8. 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 ...

  9. 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...

  10. 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.

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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...

  16. 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

  17. 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

  18. 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...

  19. Concurrent weighted logic

    DEFF Research Database (Denmark)

    Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian

    2015-01-01

    We introduce Concurrent Weighted Logic (CWL), a multimodal logic for concurrent labeled weighted transition systems (LWSs). The synchronization of LWSs is described using dedicated functions that, in various concurrency paradigms, allow us to encode the compositionality of LWSs. To reflect these......-completeness results for this logic. To complete these proofs we involve advanced topological techniques from Model Theory....

  20. 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.

  1. Molecular Scanning of β-Thalassemia in the Southern Region of Central Java, Indonesia; a Step Towards a Local Prevention Program.

    Science.gov (United States)

    Rujito, Lantip; Basalamah, Muhammad; Mulatsih, Sri; Sofro, Abdul Salam M

    2015-01-01

    Thalassemia is the most prevalent genetic blood disorder worldwide, and particularly prevalent in Indonesia. The purpose of this study was to determine the spectrum of β-thalassemia (β-thal) mutations found in the southern region of Central Java, Indonesia. The subjects of the study included 209 β-thal Javanese patients from Banyumas Residency, a southwest region of Central Java Province. DNA analysis was performed using polymerase chain reaction-restriction fragment length polymorphism (PCR-RFLP), amplification refractory mutation system (ARMS), and the direct sequencing method. The results showed that 14 alleles were found in the following order: IVS-I-5 (G > C) (HBB: c.92 + 5G > C) 43.5%, codon 26 (Hb E; HBB: c.79G > A) 28.2%, IVS-I-1 (G > A) (HBB: c.92 + 1G > A) 5.0%, codon 15 (TGG > TAG) (HBB: c.47G > A) 3.8%, IVS-I-1 (G > T) (HBB: c.92 + 1G > T) 3.1%, codon 35 (-C) (HBB: c.110delC) 2.4%. The rest, including codons 41/42 (-TTCT) (HBB: c.126_129delCTTT), codons 8/9 (+G) (HBB: c.27_28insG), codon 19 (AAC > AGC) (HBB: c.59A > G), codon 17 (AAG > TAG) (HBB: c.52A > T), IVS-I-2 (T > C) (HBB: c.92 + 2T > C), codons 123/124/125 (-ACCCCACC) (HBB: c.370_378delACCCCACCA), codon 40 (-G) (HBB: c.123delG) and Cap +1 (A > C) (HBB: c.-50A > C), accounted for up to 1.0% each. The most prevalent alleles would be recommended to be used as part of β-thal screening for the Javanese, one of the major ethnic groups in the country.

  2. 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

  3. 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....

  4. 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....

  5. 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.

  6. 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.

  7. 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

  8. 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...

  9. 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...

  10. 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

  11. 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

  12. 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

  13. Cooperative and competitive concurrency in scientific computing. A full open-source upgrade of the program for dynamical calculations of RHEED intensity oscillations

    Science.gov (United States)

    Daniluk, Andrzej

    2011-06-01

    A computational model is a computer program, which attempts to simulate an abstract model of a particular system. Computational models use enormous calculations and often require supercomputer speed. As personal computers are becoming more and more powerful, more laboratory experiments can be converted into computer models that can be interactively examined by scientists and students without the risk and cost of the actual experiments. The future of programming is concurrent programming. The threaded programming model provides application programmers with a useful abstraction of concurrent execution of multiple tasks. The objective of this release is to address the design of architecture for scientific application, which may execute as multiple threads execution, as well as implementations of the related shared data structures. New version program summaryProgram title: GrowthCP Catalogue identifier: ADVL_v4_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADVL_v4_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.: 32 269 No. of bytes in distributed program, including test data, etc.: 8 234 229 Distribution format: tar.gz Programming language: Free Object Pascal Computer: multi-core x64-based PC Operating system: Windows XP, Vista, 7 Has the code been vectorised or parallelized?: No RAM: More than 1 GB. The program requires a 32-bit or 64-bit processor to run the generated code. Memory is addressed using 32-bit (on 32-bit processors) or 64-bit (on 64-bit processors with 64-bit addressing) pointers. The amount of addressed memory is limited only by the available amount of virtual memory. Supplementary material: The figures mentioned in the "Summary of revisions" section can be obtained here. Classification: 4.3, 7.2, 6.2, 8, 14 External routines: Lazarus [1] Catalogue

  14. 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.

  15. Generalization of concurrence vectors

    International Nuclear Information System (INIS)

    Yu Changshui; Song Heshan

    2004-01-01

    In this Letter, based on the generalization of concurrence vectors for bipartite pure state with respect to employing tensor product of generators of the corresponding rotation groups, we generalize concurrence vectors to the case of mixed states; a new criterion of separability of multipartite pure states is given out, for which we define a concurrence vector; we generalize the vector to the case of multipartite mixed state and give out a good measure of free entanglement

  16. 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....

  17. 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....

  18. 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/

  19. 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

  20. 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.

  1. 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...

  2. 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

  3. 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.

  4. 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

  5. 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

  6. 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.

  7. 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...

  8. 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.

  9. 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.

  10. 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.

  11. Decouplink: Dynamic Links for Java

    DEFF Research Database (Denmark)

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

    2011-01-01

    of dimensions of extension that can be exploited without performing modification of existing types. Thus, dynamic links make it possible to enforce the open/closed principle in situations where it would otherwise not be possible. We present Decouplink – a library-based implementation of dynamic links for Java...

  12. Jasmine JavaScript testing

    CERN Document Server

    Ragonha, Paulo

    2013-01-01

    The book uses a concise, to-the-point approach to help developers understand and use the power of Jasmine to create better and more maintainable codebases.This book is a must-have guide for web developers who are new to the concept of unit testing. It's assumed that you have a basic knowledge of JavaScript and HTML.

  13. Houttuynia cordata Thunb. in Java

    NARCIS (Netherlands)

    Steenis, van C.G.G.J.

    1937-01-01

    Towards the end of February 1936 we received living specimens of this species, which is hitherto known only from Japan, China, the Indochinese Peninsula und Himalaya, collected in West Java, Preanger Residency, by Mr H. W. Kluit, employé of the plantation Ardjoena, section Karang-Toemaritis. The

  14. 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 ...

  15. 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.

  16. 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...

  17. 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....

  18. 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

  19. 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

  20. 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

  1. 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...

  2. Optimasi Pengatur Siklus Waktu Lampu Lalu-Lintas Dinamik menggunakan metode Optimasi Goal Programming dengan Java dan OpenCV untuk meminimalisir kesenjangan kepadatan Lalu-Lintas

    Directory of Open Access Journals (Sweden)

    Rizky Praditya

    2017-01-01

    Full Text Available Peningkatan jumlah kepadatan lalu-lintas sedang menjadi perhatian khusus saat ini. Salah satu faktor signifikan yang mempengaruhi kepadatan lalu-lintas adalah sistem pengaturan siklus waktu lampu lintas. Perbaikan dalam sistem pengaturan siklus waktu lampu lintas yang mampu mengatur waktu siklusnya secara dinamis dan optimal akan menjadi suatu hal yang cukup penting di masa depan. Kami menggunakan metode Goal Programming yang dapat menyelesaikan permasalahan dengan fungsi tujuan beragam dan banyak. Kami menggunakan metode Haar Feature Cascade Classifier dalam mengidentifikasi objek kendaraan yang melewati persimpangan tersebut dan menggunakan machine vision OpenCV dalam memproses hasil training cascade tersebut. Hasil optimasi dengan menggunakan model Goal Programming didapatkan durasi lampu hijau optimal dibandingkan dengan kondisi realita  pada setiap jalur pada persimpangan sesuai kondisi lalu-lintas dengan memperhatikan redudansi kendaraan dan waktu tunggu serta batasan-batasan yang dimilikinya. Hasil optimasi lebih baik dibandingkan realita dengan melihat aspek Penurunan Redudansi kendaraan sebesar 45.95%, Percepatan Waktu Tunggu sebesar 39.43%, Penurunan Kendaraan Tersisa sebesar 29.88% dan Penurunan kendaraan Tersisa Terakhir sebesar 52.55%, namun lebih buruk pada aspek Peningkatan Kendaraan Melintas sebesar 41.50% dikarenakan oleh beberapa kondisi.

  3. Checklist of flora along tourist trails to Mt. Lamongan, East Java (Indonesia: misconception of restoration and ecotourism programs in mountain region?

    Directory of Open Access Journals (Sweden)

    Luchman Hakim

    2018-04-01

    Full Text Available The aim of this research was to evaluate the diversity of plant species along the tourist trails to Mt. Lamongan and combat any misconceptions about ecosystem restoration and the ecotourism development program in Mt. Lamongan. A floristic survey was done through flora identification along the hiking trail from the gate of Mt. Lamongan nature recreation area in Papringan Village to the slopes of Mt. Lamongan. The identified species were listed and their taxonomic status analyzed using information from the GRIN website. This study found that exotic plant species are abundant along the tourist tract. Human activities were identified as contributing to the introduction and establishment of exotic plant species. Result of the research indicate that restoration knowledge and techniques do not exist in the Mt. Lamongan region. A comprehensive evaluation of flora should be implemented to enhance the restoration program and protect forest area, especially the tourist corridor to the peak of Mt. Lamongan. Integrated actions to enhance restoration and promote tourism are needed. It encompasses strengthening the restoration concept and technology, eradication of exotic plant species, and establishing a proper tourism interpretive tract.

  4. 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

  5. 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.

  6. JESS: Java extensible snakes system

    Science.gov (United States)

    McInerney, Tim; Akhavan Sharif, M. Reza; Pashotanizadeh, Nasrin

    2005-04-01

    Snakes (Active Contour Models) are powerful model-based image segmentation tools. Although researchers have proven them especially useful in medical image analysis over the past decade, Snakes have remained primarily in the academic world and they have not become widely used in clinical practice or widely available in commercial packages. A number of confusing and specialized variants exist and there has been no standard open-source implementation available. To address this problem, we present a Java Extensible Snakes System (JESS) that is general, portable, and extensible. The system uses Java Swing classes to allow for the rapid development of custom graphical user interfaces (GUI's). It also incorporates the Java Advanced Imaging(JAI) class library, which provide custom image preprocessing, image display and general image I/O. The Snakes algorithm itself is written in a hierarchical fashion, consisting of a general Snake class and several subclasses that span the main variants of Snakes including a new, powerful, robust subdivision-curve Snake. These subclasses can be easily and quickly extended and customized for any specific segmentation and analysis task. We demonstrate the utility of these classes for segmenting various anatomical structures from 2D medical images. We also demonstrate the effectiveness of JESS by using it to rapidly build a prototype semi-automatic sperm analysis system. The JESS software will be made publicly available in early 2005.

  7. 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.

  8. 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...

  9. 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...

  10. 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.

  11. 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.

  12. Channel's Concurrence and Quantum Teleportation

    Institute of Scientific and Technical Information of China (English)

    LING Yin-Sheng

    2005-01-01

    Concurrence can measure the entanglement property of a system. If the channel is a pure state, positive concurrence state can afford the good performance in the teleportation process. If the channel ia a mixed state, positive concurrence state cannot assure the good performance in the teleportation. The conditions of the positive concurrence and the quantum teleportation in the Heisenberg spin ring is derived.

  13. 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.

  14. 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.

  15. 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.

  16. 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...

  17. 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...

  18. 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.

  19. 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

  20. Coalgebra, concurrency and control

    NARCIS (Netherlands)

    J.J.M.M. Rutten (Jan)

    1999-01-01

    textabstractCoalgebra is used to generalize notions and techniques from concurrency theory, in order to apply them to problems concerning the supervisory control of discrete event systems. The main ingredients of this approach are the characterization of controllability in terms of (a variant of)

  1. Correctness of concurrent processes

    NARCIS (Netherlands)

    E.R. Olderog (Ernst-Rüdiger)

    1989-01-01

    textabstractA new notion of correctness for concurrent processes is introduced and investigated. It is a relationship P sat S between process terms P built up from operators of CCS [Mi 80], CSP [Ho 85] and COSY [LTS 79] and logical formulas S specifying sets of finite communication sequences as in

  2. 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/.

  3. 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.

  4. JavaScript at scale

    CERN Document Server

    Boduch, Adam

    2015-01-01

    Have you ever come up against an application that felt like it was built on sand? Maybe you've been tasked with creating an application that needs to last longer than a year before a complete re-write? If so, JavaScript at Scale is your missing documentation for maintaining scalable architectures. There's no prerequisite framework knowledge required for this book, however, most concepts presented throughout are adaptations of components found in frameworks such as Backbone, AngularJS, or Ember. All code examples are presented using ECMAScript 6 syntax, to make sure your applications are ready

  5. Enterprise JavaBeans 31

    CERN Document Server

    Rubinger, Andrew

    2010-01-01

    Learn how to code, package, deploy, and test functional Enterprise JavaBeans with the latest edition of this bestselling guide. Written by the developers of JBoss EJB 3.1, this book not only brings you up to speed on each component type and container service in this implementation, it also provides a workbook with several hands-on examples to help you gain immediate experience with these components. With version 3.1, EJB's server-side component model for building distributed business applications is simpler than ever. But it's still a complex technology that requires study and lots of practi

  6. 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

  7. 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.

  8. A Class Coupling Analyzer for Java Programs

    African Journals Online (AJOL)

    PROF. O. E. OSUAGWU

    Increasingly, object-oriented measurements are being used to evaluate and predict ... and architecture investigations on already developed systems. ... coupling during design because we know ... applications and the projects that build them.

  9. 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.

  10. 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.

  11. 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.

  12. 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.

  13. 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

  14. 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.

  15. 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.

  16. 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.

  17. Concurrent credit portfolio losses.

    Science.gov (United States)

    Sicking, Joachim; Guhr, Thomas; Schäfer, Rudi

    2018-01-01

    We consider the problem of concurrent portfolio losses in two non-overlapping credit portfolios. In order to explore the full statistical dependence structure of such portfolio losses, we estimate their empirical pairwise copulas. Instead of a Gaussian dependence, we typically find a strong asymmetry in the copulas. Concurrent large portfolio losses are much more likely than small ones. Studying the dependences of these losses as a function of portfolio size, we moreover reveal that not only large portfolios of thousands of contracts, but also medium-sized and small ones with only a few dozens of contracts exhibit notable portfolio loss correlations. Anticipated idiosyncratic effects turn out to be negligible. These are troublesome insights not only for investors in structured fixed-income products, but particularly for the stability of the financial sector. JEL codes: C32, F34, G21, G32, H81.

  18. Concurrent radiotherapy and chemotherapy

    International Nuclear Information System (INIS)

    Fu, K.K.

    1985-01-01

    The principal objective of combining chemotherapy with radiotherapy (XRT) for the treatment of advanced head and neck cancer is to improve the therapeutic ratio through the enhancement of local control and reduction of distant metastases without excessively enhancing normal tissue effects. Improved tumour control can result from sole additivity of either therapy or direct interactions between drug and radiation leading to increased tumour cell kill. Chemotherapy may sensitize the cells to radiation, interfere with repair of sublethal or potentially lethal radiation damage, induce cell synchrony, and reduce tumour mass leading to reoxygenation and decreased fraction of resistant hypoxic cells. Radiation may improve drug accessibility to tumour cells and reduce tumour volume leading to increased cell proliferation and chemosensitivity. If the enhanced effects of combined therapy are purely additive, then the two modalities can be administered either sequentially or concurrently with the same results. However, if the enhanced effects result from the direct interaction between drug and radiation, it is necessary that the two modalities be administered concurrently and in close temporal proximity. This review summarizes the results of clinical studies in which chemotherapy was administered concurrently during the course of radiotherapy for patients with previously untreated advanced squamous cell carcinoma in the head and neck

  19. Angelic semantics of fine-grained concurrency

    OpenAIRE

    Dan R. Ghica; Andrzej S. Murawski

    2008-01-01

    We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplified version of Hyland–Ong-style games and it emphasizes the intuitive connection between the concurrent nature of games and that of computation. The model is fully abstract for may-equivalence.

  20. 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.

  1. 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.

  2. Concurrency at work with Go

    CERN Document Server

    CERN. Geneva

    2017-01-01

    High Energy and Nuclear Physics (HENP) libraries are now required to be increasingly multi-thread-safe, if not multi-thread-friendly and multi-threaded. This is usually done using the new constructs and library components offered by the C++11 and C++14 standards. These components are however quite low-level (threads, mutexes, locks, ...) and hard to use and compose, or easy to misuse. However, Go -- a somewhat new language -- provides a set of better building blocks for tackling concurrency: goroutines and channels. This language is now used by the cloud industry at large; docker/moby, rkt, Kubernetes, OpenShift, etc... are obvious flagships for Go. It is also used in other interesting places like SpaceX's telemetry monitoring system and in the New York Times', YouTube's or Disney's content delivery infrastructures. In this talk, we will describe the building blocks of Go and see how they are combined to easily create concurrent programs that grow with grace, are fast to compile and deploy, but also easy to...

  3. Exploring ethnomathematics in Central Java

    Science.gov (United States)

    Zaenuri; Dwidayati, N.

    2018-03-01

    This research was intended to: (1) explore the forms of ethnomathematics and (2) analyze the integration of ethnomathematic at elementary and intermediate educations. This research used surveys as the main method. The data were collected by means of questionnaires, observations and documentation as well as literature reviews. The data were then analyzed descriptively and qualitatively. The analyses showed the following results: (1) ethnomathematics within the cultures of communities in northern coastal areas of Java Island were in the forms of: (a) cultural buildings (Menara Kudus), (b) non-cultural buildings, traditional foods and (c) batik motifs, and (2) various forms of ethnomathematics in the communities studied relate to the concepts of mathematics that they could be integrated into mathematic learning-teaching activities both in elementary and intermediate levels.

  4. 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...

  5. 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

  6. 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!

  7. 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

  8. 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.

  9. 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.

  10. Concurrency in product realization

    Science.gov (United States)

    Kelly, Michael J.

    1994-03-01

    Technology per se does not provide a competitive advantage. Timely exploitation of technology is what gives the competitive edge, and this demands a major shift in the product development process and management of the industrial enterprise. `Teaming to win' is more than a management theme; it is the disciplined engineering practice that is essential to success in today's global marketplace. Teaming supports the concurrent engineering practices required to integrate the activities of people responsible for product realization through achievement of shorter development cycles, lower costs, and defect-free products.

  11. Domain Theory for Concurrency

    DEFF Research Database (Denmark)

    Nygaard, Mikkel

    and associated comonads, it highlights the role of linearity in concurrent computation. Two choices of comonad yield two expressive metalanguages for higher-order processes, both arising from canonical constructions in the model. Their denotational semantics are fully abstract with respect to contextual...... equivalence. One language, called HOPLA for Higher-Order Process LAnguage, derives from an exponential of linear logic. It can be viewed as an extension of the simply-typed lambda calculus with CCS-like nondeterministic sum and prefix operations, in which types express the form of computation path of which...

  12. Prevention of overuse injuries by a concurrent exercise program in subjects exposed to an increase in training load - A randomized controlled trial of 1020 army recruits

    DEFF Research Database (Denmark)

    Brushoj, C.; Larsen, K.; Albrecht-Beste, E.

    2008-01-01

    Background: It is unknown whether an exercise program can prevent overuse injuries in the lower extremity. An often encountered and important risk factor for the development of lower extremity overuse injuries is an abrupt increase in activity level. Hypothesis: A preventive training program base...

  13. 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

  14. 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.

  15. 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....

  16. 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...

  17. 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.

  18. 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.

  19. 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.

  20. 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

  1. 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.

  2. 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

  3. 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.

  4. Rethinking serializable multiversion concurrency control

    OpenAIRE

    Faleiro, Jose M.; Abadi, Daniel J.

    2014-01-01

    Multi-versioned database systems have the potential to significantly increase the amount of concurrency in transaction processing because they can avoid read-write conflicts. Unfortunately, the increase in concurrency usually comes at the cost of transaction serializability. If a database user requests full serializability, modern multi-versioned systems significantly constrain read-write concurrency among conflicting transactions and employ expensive synchronization patterns in their design....

  5. Quantify entanglement by concurrence hierarchy

    OpenAIRE

    Fan, Heng; Matsumoto, Keiji; Imai, Hiroshi

    2002-01-01

    We define the concurrence hierarchy as d-1 independent invariants under local unitary transformations in d-level quantum system. The first one is the original concurrence defined by Wootters et al in 2-level quantum system and generalized to d-level pure quantum states case. We propose to use this concurrence hierarchy as measurement of entanglement. This measurement does not increase under local quantum operations and classical communication.

  6. Concurrent Models for Object Execution

    OpenAIRE

    Diertens, Bob

    2012-01-01

    In previous work we developed a framework of computational models for the concurrent execution of functions on different levels of abstraction. It shows that the traditional sequential execution of function is just a possible implementation of an abstract computational model that allows for the concurrent execution of functions. We use this framework as base for the development of abstract computational models that allow for the concurrent execution of objects.

  7. 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).

  8. 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...

  9. Economic explanations for concurrent sourcing

    DEFF Research Database (Denmark)

    Mols, Niels Peter

    2010-01-01

    Concurrent sourcing is a phenomenon where firms simultaneously make and buy the same good, i.e. they simultaneously use the governance modes of market and hierarchy. Though concurrent sourcing seems to be widespread, few studies of sourcing have focused on this phenomenon. This paper reviews...... different economic explanations for why firms use concurrent sourcing. The distinctive features of the explanations are compared, and it is discussed how they may serve as a springboard for research on concurrent sourcing. Managerial implications are also offered....

  10. Concurrency Control for Transactional Drago

    OpenAIRE

    Patiño-Martinez, Marta; Jiménez-Peris, Ricardo; Kienzle, Jörg; Arévalo, Sergio

    2002-01-01

    The granularity of concurrency control has a big impact on the performance of transactional systems. Concurrency control granu- larity and data granularity (data size) are usually the same. The e ect of this coupling is that if a coarse granularity is used, the overhead of data access (number of disk accesses) is reduced, but also the degree of concurrency. On the other hand, if a ne granularity is chosen to achieve a higher degree of concurrency (there are less con icts), the cost of data ac...

  11. 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...

  12. 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)

  13. 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.

  14. Measuring coherence with entanglement concurrence

    Science.gov (United States)

    Qi, Xianfei; Gao, Ting; Yan, Fengli

    2017-07-01

    Quantum coherence is a fundamental manifestation of the quantum superposition principle. Recently, Baumgratz et al (2014 Phys. Rev. Lett. 113 140401) presented a rigorous framework to quantify coherence from the view of theory of physical resource. Here we propose a new valid quantum coherence measure which is a convex roof measure, for a quantum system of arbitrary dimension, essentially using the generalized Gell-Mann matrices. Rigorous proof shows that the proposed coherence measure, coherence concurrence, fulfills all the requirements dictated by the resource theory of quantum coherence measures. Moreover, strong links between the resource frameworks of coherence concurrence and entanglement concurrence is derived, which shows that any degree of coherence with respect to some reference basis can be converted to entanglement via incoherent operations. Our work provides a clear quantitative and operational connection between coherence and entanglement based on two kinds of concurrence. This new coherence measure, coherence concurrence, may also be beneficial to the study of quantum coherence.

  15. Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II)

    Science.gov (United States)

    2008-04-01

    structure of models without say- ing anything about how they operate. This syntax can be represented concretely in several ways, such as graphically, as...computation in terms of another. For example, stream based communication via FIFO channels are awkward in Wright [6]. We make these ideas concrete by...moving through a field of sensors (SoundSensor actors, which have translucent blue circle icons) that detect the sound and communicate with a

  16. Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture)

    Science.gov (United States)

    2008-04-01

    file (EPS) suitable for inclusion in word processors. The image in figure 7.3 is such an EPS file imported into FrameMaker . At this time, the EPS...can be imported into word processors. This figure was imported into FrameMaker . 152 Ptolemy II Plot Package 7.2.4 Modifying the format You can control...FixToken class 57 FrameMaker 149 full name 4 function closures 59 function dependency 48 FunctionDependency class 48 FunctionToken 122 FunctionToken

  17. Multiparty Compatibility for Concurrent Objects

    Directory of Open Access Journals (Sweden)

    Roly Perera

    2016-06-01

    Full Text Available Objects and actors are communicating state machines, offering and consuming different services at different points in their lifecycle. Two complementary challenges arise when programming such systems. When objects interact, their state machines must be "compatible", so that services are requested only when they are available. Dually, when objects refine other objects, their state machines must be "compliant", so that services are honoured whenever they are promised. In this paper we show how the idea of multiparty compatibility from the session types literature can be applied to both of these problems. We present an untyped language in which concurrent objects are checked automatically for compatibility and compliance. For simple objects, checking can be exhaustive and has the feel of a type system. More complex objects can be partially validated via test cases, leading to a methodology closer to continuous testing. Our proof-of-concept implementation is limited in some important respects, but demonstrates the potential value of the approach and the relationship to existing software development practices.

  18. 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 ...

  19. 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...

  20. 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.

  1. Real-world Bluetooth MANET Java Middleware

    DEFF Research Database (Denmark)

    Glenstrup, Arne John; Nielsen, Michael; Skytte, Frederik

    We present BEDnet, a Java based middleware for creating and maintaining a Bluetooth based mobile ad-hoc network (MANET). MANETs are key to nomadic computing: Mobile units can set up spontaneous local networks when needed, removing the need for fixed network infrastructure, either as wireless access....... Based on the Java JSR-82 specification, BEDnet is portable to a wide selection of mobile phones, and is publicly available as open source software. Experiments show that e.g. media streaming over Bluetooth is feasible, and that BEDnet is able to set up a scatternet within a couple of minutes...

  2. 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.

  3. 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...

  4. 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....

  5. 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.

  6. 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 .

  7. 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...

  8. 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

  9. Transactions Concurrency Control in Web Service Environment

    DEFF Research Database (Denmark)

    Alrifai, Mohammad; Dolog, Peter; Nejdl, Wolfgang

    2006-01-01

    an engineering point of view as it does not change the way consumers or clients of web services have to be programmed. Furthermore, it avoids direct communication between transaction coordinators which preserves security by keeping the information about business transactions restricted to the coordinators which......Business transactions in web service environments run with relaxed isolation and atomicity property. In such environments, transactions can commit and roll back independently on each other. Transaction management has to reflect this issue and address the problems which result for example from...... concurrent access to web service resources and data. In this paper we propose an extension to the WS-Transaction Protocol which ensures the consistency of the data when independent business transactions access the data concurrently under the relaxed transaction properties. Our extension is based...

  10. 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...

  11. 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.

  12. 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

  13. Compiler Construction Using Java, JavaCC, and Yacc

    CERN Document Server

    Dos Reis, Anthony J

    2012-01-01

    Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic essential to learning compilers from the ground up and is accompanied by a powerful and flexible software package for evaluating projects, as well as several tutorials, well-defined projects, and tes

  14. 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.

  15. Predictors of Errors of Novice Java Programmers

    Science.gov (United States)

    Bringula, Rex P.; Manabat, Geecee Maybelline A.; Tolentino, Miguel Angelo A.; Torres, Edmon L.

    2012-01-01

    This descriptive study determined which of the sources of errors would predict the errors committed by novice Java programmers. Descriptive statistics revealed that the respondents perceived that they committed the identified eighteen errors infrequently. Thought error was perceived to be the main source of error during the laboratory programming…

  16. Static Analysis for Java Servlets and JSP

    DEFF Research Database (Denmark)

    Kirkegaard, Christian; Møller, Anders

    2006-01-01

    We present an approach for statically reasoning about the behavior of Web applications that are developed using Java Servlets and JSP. Specifically, we attack the problems of guaranteeing that all output is well-formed and valid XML and ensuring consistency of XHTML form fields and session state...

  17. Java Web Frameworks Which One to Choose?

    OpenAIRE

    Nassourou, Mohamadou

    2010-01-01

    This article discusses web frameworks that are available to a software developer in Java language. It introduces MVC paradigm and some frameworks that implement it. The article presents an overview of Struts, Spring MVC, JSF Frameworks, as well as guidelines for selecting one of them as development environment.

  18. Inheemsche arbeid in de Java-suikerindustrie

    NARCIS (Netherlands)

    Levert, P.

    1934-01-01

    Levert analysed the dualistic character of the Java sugar industry (entailing the cultivation of sugar-cane on peasant farms). The significance and use of labour was discussed as a factor of production in indigenous societies. A historical analysis was presented on the use of native labour during

  19. Het proefveldonderzoek bij de rijstcultuur op Java

    NARCIS (Netherlands)

    Ossewaarde, J.G.

    1931-01-01

    A historical review was given of the development of rice cultivation in Java, of the influence of the Netherlands colonial government on the agricultural methods by advice before and after local research, and of the development of field trial techniques and the organization of systematic research.

  20. 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

  1. On a new Taphozous from Java

    NARCIS (Netherlands)

    Jentink, F.A.

    1907-01-01

    Dr. P. N. van Kampen offered some bats to our Museum, all from the neighborhood of Batavia, Java. Among them is a Taphozous, an adult male, with a radiometacarpal pouch and a gular sac. Among the very few Taphozous-species known from the East Indian Region, there only is a single one, presenting

  2. Rethinking erosion on Java: a reaction

    NARCIS (Netherlands)

    Graaff, de J.; Wiersum, K.F.

    1992-01-01

    In a recent article (Diemont et al., 1991) about erosion on Java, it has been postulated that low inputs, not surface erosion, is the main cause of low productivity of upland food crops on this island. In this article it is argued that this hypothesis is too simple. An analysis of empirical field

  3. Notes on the Flora of Java, VI

    NARCIS (Netherlands)

    Bakhuizen van den Brink, R.C.

    1950-01-01

    Koorders, Fl. v. Tjibodas 2 (1923) 32—46; Hochreutiner in Candollea 2 (1924—1926) 336—359; Ochse, Indische Groenten (1931) 719—722; Backer, Onkruidfl. Java Suiker (1930) 203—209; Aimshoff in Blumea 5 (1942—1945) 515—517. Miss Dr G. J. Amshoff started the revision of the Javanese Urticaceae, but left

  4. Habits of the Scaly Anteater from Java

    NARCIS (Netherlands)

    Jentink, F.A.

    1903-01-01

    Mr. Edward Jacobson from Semarang (Java), one of the zealed correspondents of our Museum, communicated me the other day some observations made by himself on living animals. Especially of a high scientific interest seemed to me what he wrote concerning the habits and behavior of a specimen of the

  5. Ueberreste vorweltlicher Proboscidier von Java und Banka

    NARCIS (Netherlands)

    Martin, K.

    1884-01-01

    Junghuhn führte in seinem Werke über Java nur einen einzigen Wirbelthierrest, Carcharias megalodon, an (7, IV, pag. 97); es war ihm nicht gelungen bei seinem ersten Aufenthalte auf der Insel Reste von Säugethieren zu finden, so eifrig er auch darnach in den Höhlen des Tertiaergebirges suchte (7, IV,

  6. Ephemeriden aus Java, gesammelt von Edw. Jacobson

    NARCIS (Netherlands)

    Ulmer, Georg

    1913-01-01

    Aus Java waren bisher 8 Arten bekannt, nämlich Palingenia javanica Etn., Palingenia tenera Etn., Rhoënanthus speciosus Etn., Thalerosphyrus determinatus Walk. (alle durch Eaton, Rev. Monogr. Ephemeridae, genannt), Compsoneuria spectabilis Etn., Caenis nigropunctata Klap., Pseudocloëon Kraepelini

  7. OntoCAT--simple ontology search and integration in Java, R and REST/JavaScript.

    Science.gov (United States)

    Adamusiak, Tomasz; Burdett, Tony; Kurbatova, Natalja; Joeri van der Velde, K; Abeygunawardena, Niran; Antonakaki, Despoina; Kapushesky, Misha; Parkinson, Helen; Swertz, Morris A

    2011-05-29

    Ontologies have become an essential asset in the bioinformatics toolbox and a number of ontology access resources are now available, for example, the EBI Ontology Lookup Service (OLS) and the NCBO BioPortal. However, these resources differ substantially in mode, ease of access, and ontology content. This makes it relatively difficult to access each ontology source separately, map their contents to research data, and much of this effort is being replicated across different research groups. OntoCAT provides a seamless programming interface to query heterogeneous ontology resources including OLS and BioPortal, as well as user-specified local OWL and OBO files. Each resource is wrapped behind easy to learn Java, Bioconductor/R and REST web service commands enabling reuse and integration of ontology software efforts despite variation in technologies. It is also available as a stand-alone MOLGENIS database and a Google App Engine application. OntoCAT provides a robust, configurable solution for accessing ontology terms specified locally and from remote services, is available as a stand-alone tool and has been tested thoroughly in the ArrayExpress, MOLGENIS, EFO and Gen2Phen phenotype use cases. http://www.ontocat.org.

  8. 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

  9. Concurrent engineering: effective deployment strategies

    Directory of Open Access Journals (Sweden)

    Unny Menon

    1996-12-01

    Full Text Available This paper provides a comprehensive insight into current trends and developments in Concurrent Engineering for integrated development of products and processes with the goal of completing the entire cycle in a shorter time, at lower overall cost and with fewer engineering design changes after product release. The evolution and definition of Concurrent Engineering are addressed first, followed by a concise review of the following elements of the concurrent engineering approach to product development: Concept Development: The Front-End Process, identifying Customer Needs and Quality Function Deployment, Establishing Product Specifications, Concept Selection, Product Architecture, Design for Manufacturing, Effective Rapid Prototyping, and The Economics of Product Development. An outline of a computer-based tutorial developed by the authors and other graduate students funded by NASA ( accessible via the world-wide-web . is provided in this paper. A brief discussion of teamwork for successful concurrent engineering is included, t'ase histories of concurrent engineering implementation at North American and European companies are outlined with references to textbooks authored by Professor Menon and other writers. A comprehensive bibliography on concurrent engineering is included in the paper.

  10. 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...

  11. 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.

  12. 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.

  13. 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.

  14. 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

  15. 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...

  16. Non-Interference and Erasure Policies for Java Card Bytecode

    DEFF Research Database (Denmark)

    Hansen, René Rydhof; Probst, Christian W.

    2006-01-01

    Non-interference is the property of a program not to leak any secret information. In this paper we propose a notion of non-interference for an abstract version of the Java Card bytecode language. Furthermore an information-flow analysis for verifying non-interference is developed and proved sound...... that confidential information is unavailable after a certain point---and that this unavailability is enforced by the system. This is a crucial requirement for systems like e-commerce or e-voting....... and correct with respect to the formal semantics of the language. The information-flow analysis can automatically verify the absence of leaks in a program, thus proving non-interference. Based on the definition of non-interference we propose a notion of simple erasure policies. These allow to statically check...

  17. Nitpicking C++ concurrency

    OpenAIRE

    Blanchette, Jasmin Christian; Weber, Tjark; Batty, Mark; Owens, Scott; Sarkar, Susmit

    2011-01-01

    Previous work formalized the C++ memory model in Isabelle/HOL in an effort to clarify the proposed standard's semantics. Here we employ the model finder Nitpick to check litmus test programs that exercise the memory model, including a simple locking algorithm. Nitpick is built on Kodkod (Alloy's backend) but understands Isabelle's richer logic; hence it can be applied directly to the C++ memory model. We only need to give it a few hints, and thanks to the underlying SAT solver it scales much ...

  18. 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

  19. 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.

  20. 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.