5343 search results - page 733 / 1069 » Keyword programming in java |
167
click to vote
ASIAN
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
206
click to vote
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
184
click to vote
ASPLOS
2006
ACM
16 years 22 days ago
2006
ACM
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...
176
click to vote
PLDI
2006
ACM
16 years 21 days ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
234
click to vote
PLDI
2005
ACM
16 years 9 days ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...