1347 search results - page 71 / 270 » A Web-based requirements analysis tool |
110
click to vote
ITC
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper explores defects found in a high volume microprocessor when shipping at a low defect level. A brief description of the manufacturing flow along with definition of DPM i...
86
Voted
LREC
2010
15 years 2 months ago
2010
The increasing amount of available textual information makes necessary the use of Natural Language Processing (NLP) tools. These tools have to be used on large collections of docu...
92
Voted
SOSP
2003
ACM
15 years 9 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
VISSYM
2004
15 years 2 months ago
2004
DNA sequences and their annotations form ever expanding data sets. Proper explorations of such data sets require new tools for visualization and analysis. In this case study, we h...
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...