2335 search results - page 344 / 467 » Functional Differentiation of Computer Programs |
116
click to vote
AUTOMATICA
2005
15 years 2 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
134
click to vote
SIMULATION
1998
15 years 2 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
113
Voted
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
A suite of scalable atomistic simulation programs has been developed for materials research based on space-time multiresolution algorithms. Design and analysis of parallel algorit...
101
click to vote
MP
2010
15 years 28 days 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...
155
Voted
CCS
2011
ACM
14 years 2 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...