8298 search results - page 152 / 1660 » On the Complexity of Numerical Analysis |
157
click to vote
SAS
1991
Springer
15 years 10 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
176
click to vote
BC
2008
15 years 6 months ago
2008
Abstract Stable signal transmission is crucial for information processing by the brain. Synfire-chains, defined as feedforward networks of spiking neurons, are a well-studied class...
156
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
179
click to vote
ASPLOS
1996
ACM
15 years 10 months ago
1996
ACM
This paper analyzes and quantifies the locality characteristics of numerical loop nests in order to suggest future directions for architecture and software cache optimizations. Si...
213
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...