3221 search results - page 49 / 645 » Termination of Linear Programs |
150
click to vote
IWOMP
2009
Springer
15 years 11 months ago
2009
Springer
The UTS benchmark is used to evaluate task parallelism in OpenMP 3.0 as implemented in a number of recently released compilers and run-time systems. UTS performs parallel search of...
133
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
130
click to vote
AUTOMATICA
2010
15 years 4 months ago
2010
A recent lifting technique led to a computationally efficient Model Predictive Control (MPC) strategy in which the online optimization is performed using a univariate Newton-Raphs...
124
click to vote
SAT
2010
Springer
15 years 8 months ago
2010
Springer
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
116
click to vote
CATS
2007
15 years 5 months ago
2007
Financial derivatives are contracts concerning rights and obligations to engage in future transactions on some underlying financial instrument. A major concern in financial mark...