438 search results - page 37 / 88 » Optimal Solvers for PDE-Constrained Optimization |
103
click to vote
SIAMJO
2008
14 years 11 months ago
2008
We present an algorithm for large-scale equality constrained optimization. The method is based on a characterization of inexact sequential quadratic programming (SQP) steps that ca...
98
Voted
CAV
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
101
click to vote
NTMS
2008
IEEE
15 years 6 months ago
2008
IEEE
—Peer-to-Peer (P2P) systems gain much attention in recent years. According to many statistics, P2P systems contribute a significant portion of the Internet traffic. Individual In...
105
click to vote
PARA
2004
Springer
15 years 5 months ago
2004
Springer
Cache optimizations typically include code transformations to increase the locality of memory accesses. An orthogonal approach is to enable for latency hiding by introducing prefet...
92
Voted
ECRTS
2004
IEEE
15 years 3 months ago
2004
IEEE
In [1], Jejurikar and Gupta investigated energy savings due to optimal slowdown of periodic tasks in real-time task systems, where tasks have varying power characteristics and task...