8689 search results - page 332 / 1738 » Software: hard data |
225
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
In mission critical systems, such as those developed by NASA, it is very important that the test engineers properly recognize the severity of each issue they identify during testi...
160
Voted
BIRTHDAY
2007
Springer
16 years 27 days ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
157
click to vote
PROFES
2007
Springer
16 years 25 days ago
2007
Springer
The cost of a Software Product Line (SPL) development project sometimes exceeds the initially planned cost, because of requirements volatility and poor quality. In this paper, we p...
186
click to vote
MEMOCODE
2006
IEEE
16 years 22 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
180
click to vote
ISCC
2005
IEEE
16 years 9 days ago
2005
IEEE
—A framework for designing a family of novel fast CRC generation algorithms is presented. Our algorithms can ideally read arbitrarily large amounts of data at a time, while optim...