You are here: silicon.com > Resources > White Papers > Software and Web Development > Software Development Tools > Java

Java White Papers

Scalable Dynamic Deadlock Analysis of Multi-Threaded Programs

Tags:
java

Overview This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running an instrumented version of the program. The algorithm is interesting because it can identify deadlock potentials even though no deadlocks occur in the examined execution, and therefore it scales very well in contrast to more formal approaches to deadlock detection. It is an improvement of an existing algorithm in that it reduces the number of false positives (false warnings). The paper describes an implementation, Java PathExplorer, for analyzing Java programs. An application of the implementation to two case studies is described.

Further White Paper Details
Publisher	Universite Joseph Fourier	File Format	PDF
Date Published	October 2005	Downloads	5
Format	White Papers
Topics	Java, Programming Languages, Application Development

Did you find this white paper useful? 2 out of 3 users found this white paper useful

'Human' computer to stamp out fraud

Luxuriating in the unwieldy title of Computational Immunology for Fraud Detection, the program, which is under development at King's College, London, will detect fraud, intrusions from hackers and viruses in much the same way as the human body...

Channel:
Security Strategy

AOL to crack down on spyware

Most spyware protection software, such as Spybot Search & Destroy, is designed to help web surfers detect and uninstall all variations of the software from their PCs. Some adware programs monitor users' surfing habits and report back aggregate data...

Channel:
Broadband & ISPs

Email patterns map corporate structure

The HP researchers examined the headers of the emails they studied to determine who was corresponding with whom. Figuring out a company's power and communication structure may be as simple as examining patterns of email exchanges, according to new...

Channel:
IT Director
Tags:
research,
hp,
email

Signing up the competition - have digital signatures met their match?

Here, the signature does not refer to the electronic equivalent of a hand-written signature, but to the typical trace a hacker leaves behind. It certainly takes longer to detect a hack than a virus, because viruses are spread between machines and...

Channel:
Comment & Analysis

MySQL worm spread halted

Anyone attempting to trace back the malicious activity will merely find the compromised computer. Such programs are numerous (Symantec's catalogue holds more than 6,500) and, as the MySQL worm demonstrates, can easily be turned into programs that...

Channel:
Malware
Tags:
spoolcll,
myspooler,
mysql

Symantec patents virus-detection technology

All of this is making it very difficult for traditional antivirus scanners to detect an infection, because the infection is located or spread into regions where you wouldn't expect to see them. Its researchers use the code to write simple programs...

Channel:
Security Strategy

Featured White Papers

IDC reports on Novell's Secure Desktop Solution: A Modern-Day Marriage of Business Benefit and Risk Reduction

This IDC whitepaper examines how companies are turning to integrated security solutions, such as Novell Secure Desktop Solution, to deal with the vulnerability of mobile assets and implement a comprehensive security strategy.

Publisher:
Novell

Getting Started with Master Data Management

Master data management forms part of an overall enterprise governance program that aims to establish trusted data throughout the enterprise. This white paper from Mike Ferguson of Intelligent Business Strategies defines master data, examines why it is needed, and explores methodologies for implementing master data management.

Publisher:
DataFlux

Balancing Security Against Productivity

What makes for great security? Is it about keeping the bad guys out or letting the good guys in? About defending attacks or preventing them? When IDG Research Services queried IT security professionals on the topic, intriguing insight into the effectiveness of security management came to light.