1392 search results - page 151 / 279 » Dynamic Data Structure Analysis for Java Programs |
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Complex software programs are mostly characterized by phase behavior and runtime distributions. Due to the dynamism of the two characteristics, it is not efficient to m...
DEEC
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
100
click to vote
MICRO
2007
IEEE
15 years 4 months ago
2007
IEEE
The emergence of multicore processors has heightened the need for effective parallel programming practices. In addition to writing new parallel programs, the next generation of pr...
GW
2009
Springer
14 years 7 months ago
2009
Springer
In this paper we focus on the analysis of sound producing gestures in the musical domain. We investigate the behavior of intraoral pressure exerted by a trumpet performer in the pr...