1403 search results - page 60 / 281 » Quantitative Interprocedural Analysis |
58
Voted
ACL
1998
15 years 12 days ago
1998
In this paper I will report the result of a quantitative analysis of the dynamics of the constituent elements of Japanese terminology. In Japanese technical terms, the linguistic ...
CCA
2009
Springer
15 years 5 months ago
2009
Springer
We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an ...
COORDINATION
2008
Springer
15 years 25 days ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
108
click to vote
IWMM
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
PPOPP
1999
ACM
15 years 3 months ago
1999
ACM
Divide and conquer algorithms are a good match for modern parallel machines: they tend to have large amounts of inherent parallelism and they work well with caches and deep memory...