java program

ZDNet Resources

• sort by:
• Relevance
• Date
• Popularity

Mostly-Functional Behavior in Java Programs

This paper presents a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which are writes to an object's state while it is being constructed, and quiescing fields, which are fields that are never written after an object is constructed. The...

Tags: University Of Wisconsin, Java Program, Object-oriented, Ooa/Ood/Oop, Java, Software Development, Software/Web Development, Programming Languages

White papers 2008-10-31

Chianti: A Tool for Change Impact Analysis of Java Programs

This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analyzes two versions of an application and decomposes their difference into a set of atomic changes. Change impact is then reported in...

Tags: Change, Association For Computing Machinery, Java Program, Analysis, Tool, Chianti, Productivity, Java, Programming Languages, Software Development, Software/Web Development

White papers 2008-01-01

jPredictor: A Predictive Runtime Analysis Tool for Java

jPredictor is a tool for detecting concurrency errors in Java programs. The Java program is instrumented to emit property-relevant events at runtime and then executed. The resulting execution trace is collected and analyzed by jPredictor, which extracts a causality relation sliced using static analysis and refined with lock-atomicity information. The...

Tags: Analysis Tool, Association For Computing Machinery, Java Program, Tool, Error, jPredictor, Java, Programming Languages, Productivity, Software Development, Software/Web Development

White papers 2008-01-01

Distributed, Multi-Threaded Verification of Java Programs

Extended Static Checking ESC is a fully automated formal verification technique and is generally quite efficient, as far as verification tools go, but it is still orders of magnitude slower than simple compilation. Verification in ESC is achieved by translating programs and their specifications into Verification Conditions VCs. Proof of...

Tags: Java Program, Concordia University, Extended Static Checking, Productivity, Java, Programming Languages, Software Development, Software/Web Development

White papers 2008-01-01

Heuristic Ranking of Java Program Edits for Fault Localization

In modern software development, regression tests are used to confirm the fundamental functionalities of an edited program and to assure the code quality. Difficulties occur when testing reveals unexpected behaviors, which indicate potential defects introduced by the edit. However, the changes that caused the failures are not always easy to...

Tags: Test, Association For Computing Machinery, Java Program, Heuristic, Software Development, Java, Development Tools, Software/Web Development, Programming Languages

White papers 2007-07-12

Gax Unit Converter 1 (Windows)

Gax Unit Converter is my first Java program. Not only doest it convert common units, but also let user tailor the conversion options and conversion factors. It is a Java program and should be able to run on any OS. This version is the first release on CNET Download.com. ...

Tags: Microsoft Windows, Java Program, Gax Unit Converter, Java, Programming Languages, Software Development, Software/Web Development

Software downloads 2007-06-25

Executing Java Programs With Transactional Memory

Parallel programming is difficult due to the complexity of dealing with conventional lock-based synchronization. To simplify parallel programming, there have been a number of proposals to support transactions directly in hardware and eliminate locks completely. Although hardware support for transactions has the potential to completely change the way parallel programs...

Tags: Transaction, Stanford University, Memory, Java Program, Java, Programming Languages, Development Tools, Software Development, Software/Web Development

White papers 2007-03-26

Finding Failure-Inducing Changes in Java Programs Using Change Classification

Testing and code editing are interleaved activities during program development. When tests fail unexpectedly, the changes that caused the failures are not always easy to find. The paper explores how change classification can focus programmer attention on failure-inducing changes by automatically labeling changes Red, Yellow, or Green, indicating the likelihood...

Tags: Change, Java Program, Classification, Productivity, Java, Java Development Tools, Open Source, Programming Languages, Software Development, Software/Web Development, Development Tools

White papers 2006-11-11

A Two-Phase Escape Analysis for Parallel Java Programs

Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes - finding races in multi-threaded programs, removing useless synchronization, allocating data to thread-local heaps, and compiling to target more strict consistency models. Thread escape analyses...

Tags: Java, Association For Computing Machinery, Java Program, Analysis

White papers 2006-09-20

Using Eclipse to Develop Java Programs on HP NonStop Servers

This paper describes how Eclipse can be used to develop and deploy Java applications on the HP NonStop server platform. Three different scenarios are used here to cover the different options available on this platform. These scenarios will cover almost all situations that users might encounter at a customer site.

Tags: Hewlett-Packard Co., Java Program, Eclipse, Java Development Tools, Java, Open Source, Programming Languages, Servers, Development Tools, Software Development, Software/Web Development, Hardware

White papers 2005-03-01

Java_WinIcon 2.0.1 (Windows)

Java_WinIcon is a java program that can be used to add an icon representation for any java program under Windows OS. The program can be used by Java developers to give their Windows Customers an application icon for their java products to be placed on the desktop and on the...

Tags: Java Program, Java_WinIcon, Java, Programming Languages, Microsoft Windows, Software Development, Software/Web Development, Operating Systems, Software

Software downloads 2002-01-16

Additional Resources

ImageJ 1.43j (Mac)

ImageJ is a public domain Java image processing program inspired by NIH Image for the Macintosh. It runs, either as an online applet or as a downloadable application, on any computer with a Java 1.1 or later virtual machine. It can display, edit, analyze, process, save and print 8-bit, 16-bit...

Tags: Apple Macintosh, Image Processing, NIH, ImageJ

Software downloads 2009-10-28

Aquamacs Emacs 2.0preview3 (Mac)

Aquamacs is a Mac-like distribution of the powerful Emacs text editor. It looks and behaves like a Mac program - even though it's still GNU Emacs with all the extensibility that millions have come to appreciate.Emacs is a text editor of legendary power and configurability, but it also has an...

Tags: Apple Macintosh, Text Editor, C, Apple Inc., David Reitter, Aquamacs, Programming Languages, C/C++, Scripting Languages, Desktops, Software Development, Software/Web Development, Web Development, Hardware

Software downloads 2009-10-28

Rogue security programs are 'ongoing threat'

The sites of these 'rogue security programs'Should be immediately shut down when they are found, by doing a DDoS attack if necessary.There is no reason to allow these bastards to shill their break-ware on the rest of us in the world.Getting worse...I've seen a hugh increase in infections from these...

Tags: rogue security program, ad system, security program, Rogue security program, advertisement, ongoing threat, security, Web browser

Discussion threads 2009-10-20

iNMR 3.3.1 (Mac)

Today you can find many alternative NMR applications that run on Mac OS X, and all of them have been ported from some other operative system. Under a minimal cosmetic retouch, they still sport the original interface, be it X11, Windows95 or Windows XP. Some alternatives are written in Java,...

Tags: Apple Macintosh, iNMR, Desktops, Apple Mac OS X, Apple Mac OS, Hardware, Operating Systems, Software

Software downloads 2009-10-20

Microsoft breaks Firefox

IE Welded into WindowsIE is welded into the Windows Operating System,that is why Windows is so insecure and proneto viruses/worms.They thought by making IE basically explorer.exein concept they would ruin any competitor likeNetscape well they did in a way.Interesting part of it is, they failed becauseFirefox is the most popular...

Tags: Web browsers, SECURITY, Operating systems, Microsoft Internet Explorer, Mozilla Firefox, Microsoft Corp., flaw, Microsoft Windows

Discussion threads 2009-10-19

2Flyer Screensaver Builder Pro 8.5 (Windows)

Make your own professional screensavers with pictures, music, Flash, video, or even Web sites. 2Flyer Screensaver Builder Pro may be the most powerful tool that lets you create high-quality screensavers and share them with others. Its ease of use and robust features make it perfect for both beginner and expert...

Tags: Screensaver, Microsoft Windows, 2Flyer, Digital Media, Consumer Electronics, Personal Technology

Software downloads 2009-10-18

Motorola Dext (Gallery: 10 best open source mobiles)

Motorola Dext or CLIQ?I believe what you term the Motorola "Dext" is being offered here in the US as the "Cliq" again, exclusively by T-Mobile. It's available for pre-sale here in about a week on their website and has had great reviews.Open Source PhoneWhat I need in a smartphone:800 x...

Tags: Keyboards, Cellular phones, open source, Motorola Inc., Cliq

Discussion threads 2009-10-16

Should Google spin Android into a foundation?

I know that's supposed to be Hari Seldonbut it looks like the wacko from Heaven's Gate.RE: Should Google spin Android into a foundation?They should just turn Android into the funny car of smartphone OSes. Just smart whip the OS into so many variations that nobody will recognize it. ...

Tags: Linux, OPEN SOURCE, UNIX, Cellular phones, Google Inc.

Discussion threads 2009-10-15

iConquer Plug-in Kit 3.0 (Mac)

iConquer allows you to create plug-ins for both player personalities and maps. Use your artificial intelligence hacking ability to make the next great player algorithm. Or use your artistic talents to make stunning Aqua-licious game maps.To create player plug-ins, you'll need a basic understanding of developing Cocoa software for Mac...

Tags: Artificial Intelligence, Apple Macintosh, Plug-in, KavaSoft, iConquer, Hacking, Security

Software downloads 2009-10-15