2520 search results - page 400 / 504 » Model-checking behavioral programs |
CLEIEJ
2002
13 years 10 months ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
CLUSTER
2002
IEEE
13 years 10 months ago
2002
IEEE
Active services are application-specified programs that are executed inside the network. The location where the active service is executed plays an important role. The dynamic beha...
CN
2002
13 years 10 months ago
2002
This paper proposes a method, called RLR (RSVP (Resource reSerVation Protocol) library redirection), which can transform legacy Internet applications into RSVP-aware applications ...
SIAMJO
2002
13 years 10 months ago
2002
Most local convergence analyses of the sequential quadratic programming (SQP) algorithm for nonlinear programming make strong assumptions about the solution, namely, that the activ...
MP
2010
13 years 8 months ago
2010
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...