9316 search results - page 146 / 1864 » Analysis of traceback techniques |
157
click to vote
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
Noise analysis of higher-order translinear filters cannot be established through straight-forward extension of analysis techniques for first-order TL filters, due to the presence n...
140
click to vote
EDCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
138
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
140
Voted
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering tools. Although many points-to analysis algorithm...
131
click to vote
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...