Sciweavers

1629 search results - page 223 / 326
» Infeasible Code Detection
Sort
View
JFP
2000
163views more  JFP 2000»
15 years 1 months ago
Automatic useless-code elimination for HOT functional programs
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
Ferruccio Damiani, Paola Giannini
IJPP
2002
107views more  IJPP 2002»
15 years 1 months ago
Efficiently Adapting Java Binaries in Limited Memory Contexts
This paper presents a compilation framework that allows executable code to be shared across different Java Virtual Machine (JVM) instances. All fully compliant JVMs that target se...
Pramod G. Joisha, Samuel P. Midkiff, Mauricio J. S...
ICIP
2006
IEEE
16 years 3 months ago
Image Compression using Object-Based Regions of Interest
A new architecture for region of interest (ROI) image coding is proposed. ROIs are defined as image regions containing objects of interest, and an efficient algorithm proposed for...
Sunhyoung Han, Nuno Vasconcelos
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 2 months ago
Type Analysis for JavaScript
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 ...
Anders Møller, Peter Thiemann, Simon Holm J...
100
Voted
IEEEARES
2010
IEEE
15 years 8 months ago
Program Obfuscation by Strong Cryptography
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...
Zeljko Vrba, Pål Halvorsen, Carsten Griwodz