Sciweavers

20 search results - page 1 / 4
» ifip 2005
Sort
View
IFIP
2005
Springer
13 years 10 months ago
Recent Advances in Bound Constrained Optimization
William W. Hager, Hongchao Zhang
IFIP
2005
Springer
13 years 10 months ago
Proof Obligations Preserving Compilation
Gilles Barthe, Tamara Rezk, Ando Saabas
IFIP
2005
Springer
13 years 10 months ago
Recovering Digital Evidence from Linux Systems
As Linux kernel-based operating systems gain market share there will be an inevitable increase in Linux systems that law enforcement agents must process at cybercrime scenes. The ...
Philip Craiger
IFIP
2005
Springer
13 years 10 months ago
Relative Trustworthiness
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
Johan W. Klüwer, Arild Waaler
IFIP
2005
Springer
13 years 10 months ago
On Warm Starts for Interior Methods
An appealing feature of interior methods for linear programming is that the number of iterations required to solve a problem tends to be relatively insensitive to the choice of in...
Anders Forsgren