1860 search results - page 113 / 372 » tools 2009 |
134
Voted
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
128
click to vote
IEEECGIV
2009
IEEE
14 years 10 months ago
2009
IEEE
Shape grammars play an important role in a new generation of tools for the analysis and design of products. In this work we present a general tool named Shape Grammar Interpreter (...
LREC
2010
15 years 2 months ago
2010
The performance of question answering system is evaluated through successive evaluations campaigns. A set of questions are given to the participating systems which are to find the...
INDIASE
2009
ACM
15 years 5 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
115
click to vote
PAM
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes a new tool for gathering (performance) data from optical network devices. During the last few years many National Research and Education Networks (NRENs) have ...