7311 search results - page 137 / 1463 » Time in State Machines |
SIAMSC
2008
15 years 4 months ago
2008
In this paper, we propose an efficient and accurate numerical method for computing the ground state of spin-1 Bose
157
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
121
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Recent analysis of sequential algorithms resulted in their axiomatization and in a representation theorem stating that, for any sealgorithm, there is an abstract state ma...
134
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 10 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
129
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
In this article, we investigate real-time estimation of flow states, average velocity and stage (water depth), in open channels using the measurements obtained from Lagrangian sens...