Search
Now showing items 31-40 of 41
To whom am I speaking? Remote booting in a hostile world
(University of Hertfordshire, 1994)
We consider the problem of booting a workstation across a network. We allow "maintenance" (that is, change without notice by untrusted parties such as adversaries and system managers) to be freely performed upon the network, ...
Reverse accumulation and attractive fixed points
(1994)
We apply reverse accumulation to obtain automatic gradients and error estimates of functions which include in their computation a convergent iteration of the form y= Φ(y,u), where y and u are vectors. We suggest an ...
Positive fixed points of lattices under semigroups of positive linear operators
(University of Hertfordshire, 1993)
Let Z be a Banach lattice endowed with positive cone C and an order-continuous norm [...]. Let G be a semigroup of positive linear endomorphisms of Z. We seek conditions on G sufficient to ensure that the positive fixed ...
Reverse accumulation of functions containing gradients
(1993)
We extend the technique of reverse accumulation so as to allow efficient extraction of gradients of scalar valued functions which are themselves constructed by composing operations which include taking derivatives of ...
Automatic Hessians by reverse accumulation
(1992)
Let n be the number of independent variables of a function f, and let W and S respectively be the time and space bounds for the joint evaluation of {f, f} using automatic differentiation with reverse accumulation. In this ...
Reverse accumulation and accurate rounding error estimates for taylor series coefficient
(1992)
We begin by extending the technique of reverse accumulation so as to obtain gradients of univariate Taylor series coefficients. This is done by re-interpreting the same formulae used to reverse accumulategradients in the ...
Why is software development so difficult to manage?
(University of Hertfordshire, 1992)
Software is extremely complex, invisible and easy to change. Because it's so plastic, it's tempting to make lots of changes. Software is also an amazingly unforgiving medium with which to work. Changes to software frequently ...
Testing should help to insert new bugs or how to modify programs predictably?
(University of Hertfordshire, 1992)
Software maintenance is often regarded as consisting of two different activities, fixing bugs and modifying the code to adapt to changing requirements. We argue that these activities are really two faces of the same coin, ...
Relative width of sublattices
(1991)
Kendall has given a geometrical characterization of vector lattices among the vector spaces with a generating cone. The characterizing property is that the cone should have a linearly compact simplex as a base. Among the ...
Optimizing real-time transport protocols
(University of Hertfordshire, 1990)
A real-time transport protocol must trade delay against loss. Here we consider the problem of minimizing the mean transport delay subject to a given maximum acceptable loss rate. This form of the trade-off is appropriate ...