4719 search results - page 201 / 944 » Newtonian program analysis |
152
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
130
click to vote
METRICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Software process improvement initiatives such as metrics programs have a high failure rate during their assimilation in a software organization. Social and individual issues are s...
130
click to vote
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
128
click to vote
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
128
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique ap...