1452 search results - page 139 / 291 » Algorithmic Analysis of Array-Accessing Programs |
98
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
ICPPW
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
100
Voted
EUSFLAT
2003
15 years 1 months ago
2003
Recently, several algorithms have been proposed for using neural networks in dynamic analysis of small structural systems, and also constructing adaptive material modeling subrout...
107
click to vote
PAMI
2010
14 years 11 months ago
2010
—Although significant efforts have been made in developing nonnegative blind source separation techniques, accurate separation of positive yet dependent sources remains a challen...
121
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...