1080 search results - page 19 / 216 » Improving Software Inspections by Using Reading Techniques |
CHI
2010
ACM
14 years 3 months ago
2010
ACM
In this paper, we present gBook, a prototype for a new style of e-Book reader that uses flexible inputs and page orientation to simulate the properties of reading a bound printed ...
STTT
2011
13 years 3 months ago
2011
Web-based applications are one of the most widely used types of software, and have become the backbone of many e-commerce and communications businesses. These applications are ofte...
SPIN
2009
Springer
14 years 3 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
IOLTS
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we propose a new SystemC-based fault injection technique that has improved fault representation in visible and on-the-fly data and signal registers. The technique ...
IOLTS
2006
IEEE
14 years 3 months ago
2006
IEEE
A significant fraction of soft errors in modern microprocessors has been reported to never lead to a system failure. Any concurrent error detection scheme that raises alarm every ...