42507 search results - page 26 / 8502 » On the analysis of |
150
click to vote
ICDAR
1999
IEEE
15 years 10 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...
121
click to vote
KBSE
2008
IEEE
16 years 10 days 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...
133
click to vote
ECRTS
2005
IEEE
15 years 11 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...
152
click to vote
CC
2002
Springer
15 years 5 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;...
175
click to vote
EDCC
2005
Springer
15 years 11 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...