42507 search results - page 26 / 8502 » On the analysis of |
110
click to vote
ICDAR
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a region-representation scheme and comparative analysis methods based on a tesseral addressing system. The proposed scheme is described in the context of perfo...
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...
ECRTS
2005
IEEE
15 years 7 months ago
2005
IEEE
In previous work, we presented a tight approximate response-time analysis for tasks with offsets. While providing a tight bound on response times, the tight analysis exhibits simi...
108
click to vote
CC
2002
Springer
15 years 1 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
116
Voted
EDCC
2005
Springer
15 years 7 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...