- Subscribe to this page:
- RSS
- Email Alert
java
(1187 results)-
White Papers
Overcoming JVM HotSwap Constraints Via Binary Rewriting
Sep 2008
Java HotSpot VM provides a facility for replacing classes at runtime called HotSwap. One design property of HotSwap is that the signature of a replaced class must remain the same between different...
Provided by Virginia Tech
-
White Papers
Enhancing Source-Level Programming Tools With an Awareness of Transparent Program Transformations
May 2009
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java byte code. The relative high level of Java byte code has engendered a...
Provided by Virginia Tech
-
White Papers
Flexible and Efficient In-Vivo Enhancement for Grid Applications
Feb 2009
In a grid application, some requirements may change while the execution is in progress. This paper presents in vivo enhancement - updating running grid applications to facilitate their perfective...
Provided by Virginia Tech
-
White Papers
Reusable Enterprise Metadata With Pattern-Based Structural Expressions
Jan 2010
An essential part of modern enterprise software development is metadata. Mainstream metadata formats, including XML deployment descriptors and Java 5 annotations, suffer from a number of...
Provided by Virginia Tech
-
White Papers
Language Design for Distributed Objects
Aug 2009
The fundamental ideas of distributed objects have changed little in the last 20 years. Existing languages are retrofitted with transparent distribution mechanisms based on proxies. Experiments...
Provided by Association for Computing Machinery
-
White Papers
Dynamic Software Updates for Accelerating Scientific Discovery
Feb 2009
Distributed parallel applications often run for hours or even days before arriving to a result. In the case of such long-running pro-grams, the initial requirements could change after the program...
Provided by Virginia Tech
-
White Papers
Annotation Refactoring: Inferring Upgrade Transformations for Legacy Applications
Oct 2008
Since annotations were added to the Java language, many frameworks have moved to using annotated Plain Old Java Objects (POJOs) in their newest releases. Legacy applications are thus forced to...
Provided by Association for Computing Machinery
-
White Papers
J-Orchestra: Enhancing Java Programs With Distribution Capabilities
Mar 2008
J-Orchestra is a system that enhances centralized Java programs with distribution capabilities. Operating at the byte code level, J-Orchestra transforms a centralized Java program (i.e., running...
Provided by Association for Computing Machinery
-
White Papers
Performance Comparison of Database Access Over the Internet - Java Servlets Vs CGI
Jan 2011
The recent work on database access using Java servlets (see Yang and Kim 1999) focused on the performance metering of sequential versus concurrent connection schemes between the web server and the...
Provided by James Madison University
-
White Papers
JIT Compilation Policy on Single-Core and Multi-Core Machines
Feb 2011
Dynamic or Just-In-Time (JIT) compilation is crucial to achieve acceptable performance for applications written in traditionally interpreted languages, such as Java and C#. Such languages enable...
Provided by University of Kansas
-
White Papers
Novel Online Profiling for Virtual Machines
Feb 2010
Application profiling is a popular technique to improve program performance based on its behavior. Offline profiling, although beneficial for several applications, fails in cases where prior...
Provided by University of Kansas
-
White Papers
Dynamic Compilation: The Benefits of Early Investing
Jun 2007
Dynamic compilation is typically performed in a separate thread, asynchronously with the remaining application threads. This compilation thread is often scheduled for execution in a simple...
Provided by Association for Computing Machinery
-
White Papers
Language Based Isolation of Untrusted JavaScript
Apr 2009
Web sites that incorporate untrusted content may use browser or language-based methods to keep such content from maliciously altering pages, stealing sensitive information, or causing other harm....
Provided by Stanford University
-
White Papers
Verifiable Functional Purity in Java
Oct 2008
Proving that particular methods within a code base are functionally pure - deterministic and side-effect free - would aid verification of security properties including function invertibility,...
Provided by Association for Computing Machinery
-
White Papers
Class Properties for Security Review in an Object-Capability Subset of Java
May 2010
In designing code for security review, it is helpful to make it easy to characterize the properties of objects in a program. A sufficiently rich type system can help with this goal: programmers...
Provided by Association for Computing Machinery
-
White Papers
Coqa: A Concurrent Programming Model With Ubiquitous Atomicity
Nov 2007
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in Coqa has the desirable built-in behaviors of quantized...
Provided by Johns Hopkins University
-
White Papers
Towards Efficient Java Virtual Machine Support for Dynamic Deployment of Inter-Type Declarations
Dec 2009
Dynamic deployment is an important feature of an aspect-oriented language design that has many applications, e.g. in runtime monitoring, runtime adaptation to fix bugs or add features to long...
Provided by Iowa State University
-
White Papers
Implementing Fast JVM Interpreters Using Java Itself
Sep 2007
Most Java Virtual Machines (JVMs) are themselves written in unsafe languages, making it unduly difficult to build trustworthy and safe JVM platforms. While some progress has been made on removing...
Provided by Association for Computing Machinery
-
White Papers
Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems
Aug 2008
Efficiency with respect to energy consumption has increasingly been recognized as an important quality attribute for distributed software systems in embedded and pervasive environments. In this...
Provided by Springer Science+Business Media
-
White Papers
Choosing Efficient Inheritance Patterns for Java Generics
Apr 2010
Java generic types allow a programmer to create parameterized data structures and methods. For instance, a generic Stack type may be used for integers in one instance and for strings in another....
Provided by University of Minnesota
-
White Papers
Effects of Generic Types Specialization on Program Behavior
Apr 2009
Generic types are a language feature of Java that allows writing program code that is parameterized over types. The Java implementation of generic types uses a mechanism called type erasure. Type...
Provided by University of Minnesota
-
White Papers
On the Algorithm for Specializing Java Programs With Generic Types
May 2008
Java 5.0 added classes with a type parameter, also known as generic types, to better support generic programming. Generic types in Java allow programmers to write code that works for different...
Provided by University of Minnesota
-
White Papers
Use of Profilers for Studying Java Dynamic Optimizations
Apr 2009
Java differs from many common programming languages in that Java programs are first compiled to platform-independent bytecode. Java bytecode is run by a program called the Java Virtual Machine...
Provided by University of Minnesota
-
White Papers
Bantam Java Compiler Project: Experiences and Extensions
Jan 2010
A compiler course is a critical component in an undergraduate computer science education. In this paper, the authors discuss the experiences in teaching a compiler course using the Bantam Java...
Provided by University of Wisconsin Oshkosh
-
White Papers
Design and Implementation of a Comprehensive Real-Time Java Virtual Machine
Oct 2007
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly language....
Provided by Association for Computing Machinery
-
White Papers
CMV: Automatic Verification of Complete Mediation for Java Virtual Machines
Mar 2008
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are growing in...
Provided by Association for Computing Machinery
-
Whitepapers
Emergency Telecommuting
Mar 2011
This comprehensive emergency telecommuting guide provides critical information and just-in-time solutions for those who find themselves unexpectedly working from a distance.
Provided by Citrix Online
-
White Papers
Toward an Error Handling Mechanism for Timing Errors With Java Pathfinder and Ptolemy II
Sep 2010
Designing effective error handling systems in an embedded software system is essential for acceptable and reliable functionality in cases of errors and for the recovery from faults. Errors in the...
Provided by University of California
-
White Papers
JSZap: Compressing JavaScript Code
May 2010
JavaScript is widely used in web-based applications, and gigabytes of JavaScript code are transmitted over the Internet every day. Current efforts to compress JavaScript to reduce network delays...
Provided by University of Texas
-
White Papers
Thorn-Robust, Concurrent, Extensible Scripting on the JVM
Oct 2009
Scripting languages enjoy great popularity due to their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powerful aggregate...
Provided by Association for Computing Machinery
-
White Papers
MTM2: Scalable Memory Management for Multi-Tasking Managed Runtime Environments
Apr 2008
Multi-tasking, Managed Runtime Environments (MREs) for modern type-safe, object-oriented programming languages enable isolated, concurrent execution of multiple applications within a single...
Provided by University of California
-
White Papers
Executing JML Specifications of Java Card Applications: A Case Study
Mar 2009
Executability provides an important mechanism for validating formal specifications and allows such specifications to serve as prototypes and test oracles. In this paper, the authors used the jmle...
Provided by Association for Computing Machinery
-
White Papers
The Essence of JavaScript
Mar 2010
The authors reduce JavaScript to a core calculus structured as a small-step operational semantics. They present several peculiarities of the language and show that the calculus models them. They...
Provided by Brown University
-
Whitepapers
Paper - IBM WebSphere® Application Server V7 vs. JBoss® Application Server V5 TCO Analysis
Apr 2011
You have a choice in application servers and this whitepaper will provide the valuable information you need to choose the right application server to deliver your business objectives.
Provided by IBM
-
Whitepapers
Sageza Group Whitepaper
Apr 2011
Few organizations can claim a homogeneous IT environment. For most, the reality is heterogeneous, and the ability of future IT investments to not only coexist, but even thrive in this environment...
Provided by IBM
-
White Papers
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
Dec 2010
The authors propose a light-weight approach for certification of monitor inlining for sequential Java bytecode using proof-carrying code. The goal is to enable the use of monitoring for quality...
Provided by KTH
-
White Papers
Linguistic Support for Unit Testing
Jun 2007
Existing systems for writing unit tests exploit built-in language constructs, such as reflection, to simulate the addition of testing constructs. While these simulations provide the minimally...
Provided by University of Utah
-
White Papers
A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines
Jan 2011
This paper shows that it is possible to dramatically reduce the memory consumption of classes loaded in an embedded Java virtual machine without reducing its functionalities. The authors describe...
Provided by INRIA
-
White Papers
Using Lightweight Formal Methods for JavaScript Security
May 2010
The goal of this investigation was to apply lightweight formal methods to the study of the security of the JavaScript language. Previous work has shown that lightweight formal methods present a...
Provided by Boston University
-
White Papers
A Semantics-Aware Editing Environment for Prolog in Eclipse
Mar 2009
The open-source Eclipse platform has become hugely popular as an Integrated Development Environment (IDE) for Java, mainly because of its editing features. The Java IDE comes with code...
Provided by Heinrich Heine University Dusseldorf
-
White Papers
Parallel Programming With Object Assemblies
Oct 2009
The authors present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an...
Provided by Association for Computing Machinery
-
White Papers
Using Exception Handling to Build Opaque Predicates in Intermediate Code Obfuscation Techniques
Jul 2008
Microsoft's .NET Framework, and JAVA platforms, are based in a just-in-time compilation philosophy. Software developed using these technologies is executed in a hardware independent framework,...
Provided by universidad nacional del comahue
-
White Papers
Dynamic Parallelization of JavaScript Applications Using an Ultra-lightweight Speculation Mechanism
Dec 2010
As the web becomes the platform of choice for execution of more complex applications, a growing portion of computation is handed off by developers to the client side to reduce network traffic and...
Provided by University of Michigan
-
White Papers
Dynamically Accelerating Client-Side Web Applications Through Decoupled Execution
Jan 2011
The emergence and wide adoption of web applications have moved the client-side component, often written in JavaScript, to the forefront of computing on the web. Web application developers try to...
Provided by University of Michigan
-
White Papers
Compiling Structural Types on the JVM
Jun 2009
This paper describes Scala's compilation technique of structural types for the JVM. The technique uses Java reflection and polymorphic inline caches. Performance measurements of this technique are...
Provided by Association for Computing Machinery
-
Whitepapers
Reducing Network Complexity, Boosting Performance with HP IRF Technology
Dec 2011
Purpose-built networking solutions, system architecture, and technology are streamlining the design of next-generation data centers and campus networks to ensure the superior resiliency,...
Provided by Global Knowledge
-
White Papers
On the Interplay Between the Semantics of Java's Finally Clauses and the JML Run-Time Checker
Jul 2009
This paper discusses how a subtle interaction between the semantics of Java and the implementation of the JML run-time checker can cause the latter to fail to report errors. This problem is due to...
Provided by Association for Computing Machinery
-
White Papers
A New Eclipse-Based JML Compiler Built Using AST Merging
Mar 2010
The Java Modeling Language (JML) is a formal interface specification language to document the behavior of Java program modules and has been used in many research and industrial projects. However,...
Provided by University of Texas
-
White Papers
Formal Semantics for the Java Modeling Language
Jan 2011
A common critique of formal methods in software development practise is, that they are not readily understandable and thus not widely used. The Java Modeling Language (JML) was created in an...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
The Design of SafeJML, a Specification Language for SCJ With Support for WCET Specification
Jun 2010
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear power plants....
Provided by University of Central Florida
-
White Papers
A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties
Jul 2010
Most mainstream specification languages primarily deal with a program's functional behavior. However, for many common problems, besides the system's functionality, it is necessary to be able to...
Provided by Institute of Electrical and Electronics Engineers
-
White Papers
An Annotation-Based Approach for JCSP Concurrent Programming: A Quantitative Study
Feb 2011
The construction of large scale parallel and concurrent applications is one of the greatest challenges faced by software engineers nowadays. Modern programming models for concurrency including...
Provided by Association for Computing Machinery
-
White Papers
AjaxTracker: Active Measurement System for High-Fidelity Characterization of AJAX Applications
May 2010
Cloud-based Web applications powered by new technologies such as Asynchronous Javascript and XML (Ajax) place a significant burden on network operators and enterprises to effectively manage...
Provided by Purdue University
-
White Papers
AnnaBot: A Static Verifier for Java Annotation Usage
Nov 2009
This paper describes AnnaBot, one of the first tools to verify correct use of Annotation-based metadata in the Java programming language. These Annotations are a standard Java 5 mechanism used to...
Provided by Hindawi Publishing
-
White Papers
Worst-Case Execution Time Analysis for a Java Processor
Dec 2009
In this paper, the authors propose a solution for a Worst-Case Execution Time (WCET) analyzable Java system: a combination of a time predictable Java processor and a tool that performs WCET...
Provided by John Wiley & Sons
-
White Papers
A Real-Time Java Chip-Multiprocessor
Aug 2009
Chip-multiprocessors are an emerging trend for embedded systems. In this paper, the authors introduce a real-time Java multiprocessor called JopCMP. It is a symmetric shared-memory multiprocessor...
Provided by Association for Computing Machinery
-
White Papers
Hard Real-Time Garbage Collection for a Java Chip Multi-Processor
Sep 2011
Garbage collection is a well known technique to increase program safety and developer productivity. Within the past few years, it has also become feasible for uniprocessor hard real-time systems....
Provided by Association for Computing Machinery
-
Whitepapers - Video
Find an Assured Unix Platform For Oracle Applications with SPARC and Solaris
Dec 2011
Organizations running Oracle software for their mission-critical applications need a clear roadmap for their server platform that offers assured support, along with best-in-class performance and...
Provided by Oracle
-
White Papers
Oracle x86 Rack Servers Optimized for Operational Efficiency
Dec 2011
Acquiring servers for IT infrastructure today is a study in balancing the need for capacity and price/performance with the need to reduce operational costs after the servers have been deployed....
Provided by Oracle
-
Whitepapers
How to Deliver the Java and .NET Application Performance Your Users Demand
May 2011
The Gomez Application Performance Management (APM) platform is the industry's leading solution for managing and optimizing the performance, availability and quality of web, non-web, mobile,...
Provided by Compuware
-
Whitepapers
Business rule modernization - Identify, capture, validate and manage business rules embedded in existing COBOL programs
Oct 2011
With most business rules encoded in applications and databases, companies face difficulties in verifying the accuracy of their execution. Business rule modernization provides the answer. Read the...
Provided by IBM
-
Webcasts
Faster Development with WebSphere Application Server V8
Oct 2011
Do you struggle with the business demands for fast delivery of innovative, high performing applications and services and the concurrent need to manage costs? This webcast explains how IBM's market...
Provided by IBM
-
White Papers
Exploiting Adaptation in a Java Virtual Machine to Enable Both Programmer Productivity and Performance for Heterogeneous Devices
Mar 2008
Computer systems with which people interact on a daily basis consist of a vast diversity of devices. At the low end, battery-powered, handheld devices with limited resources, e.g., Personal...
Provided by UC Regents
-
White Papers
Analysis, Detection, and Exploitation of Phase Behavior in Java Programs
Sep 2007
The Java programming language offers developers many productivity enhancing features, including high-level abstractions, extensive libraries, architecture-independent execution, and type safety....
Provided by UC Regents
-
White Papers
Memory Management for Multi-Application Managed Runtime Environments
Jun 2008
Modern computing platforms are pervasive, networked, heterogeneous and increasingly complex. These systems range from small hand-held devices such as cell phones, to large servers that run...
Provided by UC Regents
-
White Papers
Offline Framework for Performance Comparison of Software Revisions
Nov 2008
Repository-based version control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, manage conflicting...
Provided by Bharat Book Bureau
-
White Papers
Mining the Network Behavior of Bots
Jul 2009
A botnet is a network of compromised hosts that fulfills the malicious intents of an attacker. Once installed, a bot is typically used to steal sensitive information, send SPAM, perform DDoS...
Provided by UC Regents
-
White Papers
Concurrent Collection as an Operating System Service for Cross-Runtime Cross-Language Memory Management
Jul 2010
The authors present GC-as-a-Service (GaS), a cross-runtime, cross-language Garbage Collection (GC) library that can be used to simplify the implementation of runtime systems, and that exploits...
Provided by UC Regents
-
White Papers
Oracle Exalogic Elastic Cloud: Software Overview
Sep 2011
The need for enterprise IT organizations to provide next-generation cloud features such as elastic capacity while meeting ever more demanding performance and reliability requirements is driving...
Provided by Oracle
-
White Papers
Optimization is for the Clouds
Aug 2011
The cloud works best when it's invisible to end-users. For many scenarios it's an ideal deployment model—but one that can introduce network-related performance and productivity problems. Solving...
Provided by Riverbed
-
Whitepapers
How will a virtual management solution hold up under real pressure?
Aug 2011
Wondering how a virtual management solution scales and performs under high load? In this Quest white paper, see how Quest vWorkspace and Microsoft VDI Suite (including Hyper-V and System Center...
Provided by Dell Software
-
White Papers
Recency Types for Dynamically-Typed, Object-Based Languages: Strong Updates for JavaScript
Jan 2009
Object-based languages with dynamic type systems are popular because they accelerate the development of short programs. As larger programs are built with those languages, static analyses become...
Provided by Association for Computing Machinery
-
White Papers
An Analytic Framework for JavaScript
Apr 2011
As the programming language of the web, JavaScript deserves a principled yet robust framework for static analysis. To achieve both aims simultaneously, they start from an established reduction...
Provided by Northeastern University
-
White Papers
A Theorem Proving Approach to Analysis of Secure Information Flow
Jan 2011
Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feasible, these approaches suffer from the need for abstraction and the...
Provided by Chalmers University of Technology
-
White Papers
Timing Aware Information Flow Security for a JavaCard-Like Bytecode
Jan 2011
Common protection mechanisms fail to provide end-to-end security; programs with legitimate access to secret information are not prevented from leaking this to the world. Information-flow aware...
Provided by Reed Elsevier
-
White Papers
Safe Wrappers and Sane Policies for Self Protecting JavaScript
Nov 2010
The author describe a method for wrapping built-in methods of JavaScript programs in order to enforce security policies. The method is appealing because it requires neither deep transformation of...
Provided by Chalmers University of Technology
-
White Papers
An Operational Semantics for JavaScript
Sep 2008
The authors define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and...
Provided by Stanford University
-
White Papers
Automated Analysis of Security-Critical JavaScript APIs
Mar 2011
JavaScript is widely used to provide client-side functionality in Web applications. To provide services ranging from maps to advertisements, Web applications may incorporate untrusted JavaScript...
Provided by Stanford University
-
White Papers
Type Analysis for JavaScript
May 2009
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but there is still...
Provided by Aarhus University
-
White Papers
Tool-Supported Refactoring for JavaScript
Aug 2011
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...
Provided by Association for Computing Machinery
-
White Papers
Coqa: A Concurrent Programming Model With Ubiquitous Atomicity
Nov 2007
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in Coqa has the desirable built-in behaviors of quantized...
Provided by Johns Hopkins University
-
White Papers
Towards Efficient Java Virtual Machine Support for Dynamic Deployment of Inter-Type Declarations
Dec 2009
Dynamic deployment is an important feature of an aspect-oriented language design that has many applications, e.g. in runtime monitoring, runtime adaptation to fix bugs or add features to long...
Provided by Iowa State University
-
White Papers
Implementing Fast JVM Interpreters Using Java Itself
Sep 2007
Most Java Virtual Machines (JVMs) are themselves written in unsafe languages, making it unduly difficult to build trustworthy and safe JVM platforms. While some progress has been made on removing...
Provided by Association for Computing Machinery
-
White Papers
Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems
Aug 2008
Efficiency with respect to energy consumption has increasingly been recognized as an important quality attribute for distributed software systems in embedded and pervasive environments. In this...
Provided by Springer Science+Business Media
-
White Papers
Choosing Efficient Inheritance Patterns for Java Generics
Apr 2010
Java generic types allow a programmer to create parameterized data structures and methods. For instance, a generic Stack type may be used for integers in one instance and for strings in another....
Provided by University of Minnesota
-
White Papers
Effects of Generic Types Specialization on Program Behavior
Apr 2009
Generic types are a language feature of Java that allows writing program code that is parameterized over types. The Java implementation of generic types uses a mechanism called type erasure. Type...
Provided by University of Minnesota
-
White Papers
On the Algorithm for Specializing Java Programs With Generic Types
May 2008
Java 5.0 added classes with a type parameter, also known as generic types, to better support generic programming. Generic types in Java allow programmers to write code that works for different...
Provided by University of Minnesota
-
White Papers
Use of Profilers for Studying Java Dynamic Optimizations
Apr 2009
Java differs from many common programming languages in that Java programs are first compiled to platform-independent bytecode. Java bytecode is run by a program called the Java Virtual Machine...
Provided by University of Minnesota
-
White Papers
Bantam Java Compiler Project: Experiences and Extensions
Jan 2010
A compiler course is a critical component in an undergraduate computer science education. In this paper, the authors discuss the experiences in teaching a compiler course using the Bantam Java...
Provided by University of Wisconsin Oshkosh
-
White Papers
Design and Implementation of a Comprehensive Real-Time Java Virtual Machine
Oct 2007
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly language....
Provided by Association for Computing Machinery
-
White Papers
CMV: Automatic Verification of Complete Mediation for Java Virtual Machines
Mar 2008
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are growing in...
Provided by Association for Computing Machinery
-
Whitepapers
Emergency Telecommuting
Mar 2011
This comprehensive emergency telecommuting guide provides critical information and just-in-time solutions for those who find themselves unexpectedly working from a distance.
Provided by Citrix Online
-
White Papers
Toward an Error Handling Mechanism for Timing Errors With Java Pathfinder and Ptolemy II
Sep 2010
Designing effective error handling systems in an embedded software system is essential for acceptable and reliable functionality in cases of errors and for the recovery from faults. Errors in the...
Provided by University of California
-
White Papers
JSZap: Compressing JavaScript Code
May 2010
JavaScript is widely used in web-based applications, and gigabytes of JavaScript code are transmitted over the Internet every day. Current efforts to compress JavaScript to reduce network delays...
Provided by University of Texas
-
White Papers
Thorn-Robust, Concurrent, Extensible Scripting on the JVM
Oct 2009
Scripting languages enjoy great popularity due to their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powerful aggregate...
Provided by Association for Computing Machinery
-
White Papers
MTM2: Scalable Memory Management for Multi-Tasking Managed Runtime Environments
Apr 2008
Multi-tasking, Managed Runtime Environments (MREs) for modern type-safe, object-oriented programming languages enable isolated, concurrent execution of multiple applications within a single...
Provided by University of California
-
White Papers
Executing JML Specifications of Java Card Applications: A Case Study
Mar 2009
Executability provides an important mechanism for validating formal specifications and allows such specifications to serve as prototypes and test oracles. In this paper, the authors used the jmle...
Provided by Association for Computing Machinery
-
White Papers
The Essence of JavaScript
Mar 2010
The authors reduce JavaScript to a core calculus structured as a small-step operational semantics. They present several peculiarities of the language and show that the calculus models them. They...
Provided by Brown University
-
Whitepapers
Paper - IBM WebSphere® Application Server V7 vs. JBoss® Application Server V5 TCO Analysis
Apr 2011
You have a choice in application servers and this whitepaper will provide the valuable information you need to choose the right application server to deliver your business objectives.
Provided by IBM
-
Whitepapers
Sageza Group Whitepaper
Apr 2011
Few organizations can claim a homogeneous IT environment. For most, the reality is heterogeneous, and the ability of future IT investments to not only coexist, but even thrive in this environment...
Provided by IBM
-
White Papers
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
Dec 2010
The authors propose a light-weight approach for certification of monitor inlining for sequential Java bytecode using proof-carrying code. The goal is to enable the use of monitoring for quality...
Provided by KTH
-
White Papers
Linguistic Support for Unit Testing
Jun 2007
Existing systems for writing unit tests exploit built-in language constructs, such as reflection, to simulate the addition of testing constructs. While these simulations provide the minimally...
Provided by University of Utah
-
White Papers
A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines
Jan 2011
This paper shows that it is possible to dramatically reduce the memory consumption of classes loaded in an embedded Java virtual machine without reducing its functionalities. The authors describe...
Provided by INRIA
-
White Papers
Using Lightweight Formal Methods for JavaScript Security
May 2010
The goal of this investigation was to apply lightweight formal methods to the study of the security of the JavaScript language. Previous work has shown that lightweight formal methods present a...
Provided by Boston University
-
White Papers
A Semantics-Aware Editing Environment for Prolog in Eclipse
Mar 2009
The open-source Eclipse platform has become hugely popular as an Integrated Development Environment (IDE) for Java, mainly because of its editing features. The Java IDE comes with code...
Provided by Heinrich Heine University Dusseldorf
-
White Papers
Edison Group White Paper: Gaining Storage Management Efficiency with Oracle's Sun ZFS Storage Appliance
Mar 2011
Edison Group recently did an extensive study to compare the manageability of the Sun ZFS Storage Appliance against NetApp. The result? The Sun ZFS Storage Appliance delivers superior management...
Provided by Oracle
-
White Papers
Symmetric Cryptography in Javascript
Oct 2009
The authors take a systematic approach to developing a symmetric cryptography library in Javascript. They study various strategies for optimizing the code for the Javascript interpreter, and...
Provided by Stanford University
-
White Papers
JConstHide: A Framework for Java Source Code Constant Hiding
Apr 2009
Software obfuscation or obscuring a software is an approach to defeat the practice of reverse engineering a software for using its functionality illegally in the development of another software....
Provided by MG University
-
White Papers
An Intelligent Tutoring System for Learning Java Objects
Apr 2011
The paper describes the design of a web based intelligent tutoring system for teaching Java objects to students to overcome the difficulties they face. The basic idea of this system is a...
Provided by Al-Azhar University
-
White Papers
A Rich OPAC User Interface With AJAX
Jun 2007
Open Public Access Catalogs (OPACs) provide patrons with a User Interface (UI) to help their information seeking tasks. Even though many OPAC UIs are now web-based, their architectures are often...
Provided by Association for Computing Machinery
-
White Papers
Modular Workflow Engine for Distributed Services Using Lightweight Java Clients
Dec 2009
In this paper the authors introduce the concept and the first implementation of a lightweight client-server-framework as middleware for distributed computing. On the client side an installation...
Provided by Cornell University
-
White Papers
Advances in the Design and Implementation of a Multi-Tier Architecture in the GIPSY Environment
Jun 2009
The authors present advances in the software engineering design and implementation of the multi-tier run-time system for the General Intensional Programming System (GIPSY) by further unifying the...
Provided by Concordia University
-
White Papers
Deadlock Immunity: Enabling Systems To Defend Against Deadlocks
Dec 2008
Deadlock immunity is a property by which programs, once afflicted by a given deadlock, develop resistance against future occurrences of that and similar deadlocks. The authors describe a technique...
Provided by EPFL
-
White Papers
Drupal and Web Experience Management
May 2011
Drupal is more than a platform for publishing content on the web. It offers marketers the unparalleled capabilities to produce and maintain compelling interactive experiences. Web sites come alive...
Provided by Acquia
-
White Papers
Garbage Collection: Java Application Servers' Achilles Heel
Sep 2007
Java application servers are gaining popularity as a way for businesses to conduct day-to-day operations. While strong emphasis has been placed on how to obtain peak performance, only a few...
Provided by University of Nebraska-Lincoln
-
White Papers
Toward an Understanding of Bug Fix Patterns
Oct 2008
Twenty-seven automatically extractable bug fix patterns are defined using the syntax components and context of the source code involved in bug fix changes. Bug fix patterns are extracted from the...
Provided by Springer Science+Business Media
-
White Papers
Consideration Points: Detecting Cross-Site Scripting
Aug 2009
Web Application (WA) expands its usages to provide more and more services and it has become one of the most essential communication channels between service providers and the users. To augment the...
Provided by Hanyang University
-
White Papers
Real-Time Memory Management: Life and Times
Aug 2009
As high integrity real-time systems become increasingly large and complex, forcing a static model of memory usage becomes untenable. The challenge is to provide a dynamic memory model that...
Provided by Washington University in St. Louis
-
White Papers
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid
Sep 2009
This paper introduces Object-Oriented Intensional Programming (OO-IP), a new hybrid language between Object-Oriented and Intensional Programming Languages in the sense of the latest evolutions of...
Provided by Concordia University
-
White Papers
Safe, Multiphase Bounds Check Elimination in Java
Jan 2010
As part of its type-safety regime, the Java semantics require precise exceptions at runtime when programs attempt out-of-bound array accesses. This paper describes a Java implementation that...
Provided by University of Texas
