5775 search results - page 212 / 1155 » A Rationale-based Analysis Tool |
149
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
146
click to vote
VL
2006
IEEE
16 years 18 days ago
2006
IEEE
There is little understanding of how people describe software problems, but a variety of tools solicit, manage, and analyze these descriptions in order to streamline software deve...
195
click to vote
ESOP
2005
Springer
16 years 3 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
170
click to vote
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...
180
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
of a direct implementation of this criterion. This paper presents the first critical path finding tool based on the exact criterion. It offers therefore better results in compariso...