1226 search results - page 219 / 246 » Proofs, Programs and Abstract Complexity |
178
click to vote
CF
2009
ACM
16 years 11 days ago
2009
ACM
Hybrid architectures combining the strengths of generalpurpose processors with application-specific hardware accelerators can lead to a significant performance improvement. Our ...
156
click to vote
FOSSACS
2010
Springer
16 years 11 days ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
148
click to vote
CDC
2008
IEEE
16 years 10 days ago
2008
IEEE
Abstract— In this paper we demonstrate how one can reformulate the MPC problem for LPV systems to a series of mpLPs by a closed-loop minimax MPC algorithm based on dynamic progra...
160
click to vote
CSMR
2008
IEEE
16 years 10 days ago
2008
IEEE
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...
125
click to vote
ICDM
2008
IEEE
16 years 9 days ago
2008
IEEE
The task of aligning sequences arises in many applications. Classical dynamic programming approaches require the explicit state enumeration in the reward model. This is often impr...