2467 search results - page 263 / 494 » Finite State Machines |
183
click to vote
TCS
2008
15 years 5 months ago
2008
We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely non...
186
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
155
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper considers the queueing performance of a system that transmits coded data over a time-varying erasure channel. In our model, the queue length and channel state together f...
180
Voted
ENTCS
2010
15 years 4 months ago
2010
mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA ...
177
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies the infinite-horizon sensor scheduling problem for linear Gaussian processes with linear measurement functions. Several important properties of the optimal infin...