7766 search results - page 1378 / 1554 » Testing Nondeterminate Systems |
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...
PVLDB
2010
13 years 8 months ago
2010
As the amount of user generated content grows, personal information management has become a challenging problem. Several information management approaches, such as desktop search,...
PVLDB
2010
13 years 8 months ago
2010
In XML search systems twig queries specify predicates on node values and on the structural relationships between nodes, and a key operation is to join individual query node matche...
RE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
RTS
2010
13 years 8 months ago
2010
This article presents a detailed discussion of LRE-TL (Local Remaining Execution - TL-plane), an algorithm that schedules hard real-time periodic and sporadic task sets with uncon...