4067 search results - page 631 / 814 » Programs for Applying Symmetries |
157
click to vote
SBMF
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
167
click to vote
FOSSACS
2010
Springer
16 years 27 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 ...
162
click to vote
RECOMB
2010
Springer
16 years 27 days ago
2010
Springer
Given molecular genetic data from diploid individuals that, at present, reproduce mostly or exclusively asexually without recombination, an important problem in evolutionary biolog...
158
click to vote
CDC
2008
IEEE
16 years 27 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...
169
click to vote
CEC
2008
IEEE
16 years 27 days ago
2008
IEEE
—Genetic programming (GP), is a very general and efficient technique, often capable of outperforming more specialized techniques on a variety of tasks. In this paper, we suggest ...