2278 search results - page 276 / 456 » Specification Techniques for Automatic Performance Analysis ... |
136
click to vote
IWMM
2010
Springer
15 years 8 months ago
2010
Springer
Shadow memory is used by dynamic program analysis tools to store metadata for tracking properties of application memory. The efficiency of mapping between application memory and s...
174
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
Operating systems are complex and their behavior depends on many factors. Source code, if available, does not directly help one to understand the OS's behavior, as the behavi...
155
click to vote
CICLING
2007
Springer
16 years 7 days ago
2007
Springer
The present paper describes how dependency analysis can be used to automatically extract from a corpus a set of cases - and an accompanying vocabulary - which enable a template-bas...
192
Voted
RE
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
143
click to vote
DRR
2003
15 years 7 months ago
2003
The difficulty with information retrieval for OCR documents lies in the fact that OCR documents comprise of a significant amount of erroneous words and unfortunately most informat...