5668 search results - page 409 / 1134 » Overlaps in Requirements Engineering |
168
click to vote
ISSTA
2006
ACM
16 years 24 days ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
164
click to vote
SIGDOC
2006
ACM
16 years 24 days ago
2006
ACM
This work will present elements of Genrich Altshuller’s Theory of Inventive Problem Solving, also known as TRIZ, and use them to describe the structural patterns found in the Ga...
158
click to vote
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
185
Voted
IOLTS
2003
IEEE
16 years 3 days ago
2003
IEEE
Fault tolerance requires the inclusion of redundant information. In this paper an on-line error detecting adder is presented in which the redundant information serves a dual purpo...
168
click to vote
WSC
2008
15 years 9 months ago
2008
Cluster tools, which combine several single-wafer processing modules with wafer handling robots in a closed environment, have been increasingly used for most wafer fabrication pro...