42507 search results - page 257 / 8502 » On the analysis of |
154
click to vote
SAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
156
click to vote
AMAST
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
155
Voted
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
The purpose of this paper is to report on experiments in (human) multi-issue negotiation and their analysis, and to present a generic software environment supporting such an analy...
181
click to vote
EMSOFT
2004
Springer
16 years 5 days ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
173
Voted
FSTTCS
2004
Springer
16 years 5 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...