5775 search results - page 391 / 1155 » A Rationale-based Analysis Tool |
142
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Large-scale distributed systems provide the backbone for numerous distributed applications and online services. These systems span over a multitude of computing nodes located at d...
210
click to vote
TC
2010
15 years 5 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
246
Voted
PLDI
2003
ACM
16 years 3 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
179
Voted
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...
168
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
The problem of extracting information from large collections of imagery is a challenge with few good solutions. Computers typically cannot interpret imagery as effectively as huma...