1397 search results - page 65 / 280 » On the Need for Practical Formal Methods |
TOMS
2008
13 years 8 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...
HCI
2007
13 years 10 months ago
2007
Numerous methods have been developed to help designers to understand and consider the needs and desires of end-users, but many have had limited uptake in design practice. In order ...
CAISE
2010
Springer
13 years 10 months ago
2010
Springer
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
SIAMJO
2008
13 years 8 months ago
2008
Let A and B be nonempty, convex and closed subsets of a Hilbert space H. In the practical considerations we need to find an element of the intersection A B or, more general, to s...
SIAMJO
2010
13 years 7 months ago
2010
Abstract. Sequential quadratic programming (SQP) methods form a class of highly efficient algorithms for solving nonlinearly constrained optimization problems. Although second deri...