Sciweavers

566 search results - page 16 / 114
» Adaptive Online Program Analysis
Sort
View
PERSUASIVE
2009
Springer
14 years 1 months ago
Communication-based influence components model
This paper discusses problems faced by planners of real-world online behavioural change interventions who must select behavioural change frameworks from a variety of competing the...
Brian Cugelman, Mike Thelwall, Phil Dawes
ICDAR
2005
IEEE
14 years 1 months ago
Prototype Learning Methods for Online Handwriting Recognition
In this paper, we study different methods for prototype selection for recognizing handwritten characters of Tamil script. In the first method, cumulative pairwise- distances of th...
B. S. Raghavendra, C. K. Narayanan, G. Sita, A. G....
SERP
2007
13 years 8 months ago
Runtime Support of Speculative Optimization for Offline Escape Analysis
Escape analysis can improve the speed and memory efficiency of garbage collected languages by allocating objects to the call stack, but an offline analysis will potentially interf...
Kevin Cleereman, Michelle Cheatham, Krishnaprasad ...
ASPLOS
2006
ACM
14 years 1 months ago
Bell: bit-encoding online memory leak detection
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...
Michael D. Bond, Kathryn S. McKinley
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
13 years 11 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein