Sciweavers

725 search results - page 103 / 145
» Escape Analysis for Java
Sort
View
CAV
2007
Springer
108views Hardware» more  CAV 2007»
13 years 11 months ago
Parametric and Sliced Causality
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
Feng Chen, Grigore Rosu
IWMM
2000
Springer
94views Hardware» more  IWMM 2000»
13 years 11 months ago
Dynamic Adaptive Pre-Tenuring
In a generational garbage collector, a pre-tenured object is one that is allocated directly in the old generation. Pretenuring long-lived objects reduces the number of times that ...
Timothy L. Harris
ECLIPSE
2005
ACM
13 years 9 months ago
Study of novice programmers using Eclipse and Gild
In this paper we discuss a pilot user study that compares the use of two integrated development environments (IDEs), Eclipse and Gild, by novice programmers. Gild is a perspective...
Peter C. Rigby, Suzanne Thompson
ESEM
2008
ACM
13 years 9 months ago
An empirical model to predict security vulnerabilities using code complexity metrics
Complexity is often hypothesized to be the enemy of software security. If this hypothesis is true, complexity metrics may be used to predict the locale of security problems and ca...
Yonghee Shin, Laurie Williams
ISTA
2003
13 years 9 months ago
Managing Business Logic with Symbolic Computation
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
Ruslan Shevchenko, Anatoly E. Doroshenko