2467 search results - page 282 / 494 » Finite State Machines |
183
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We consider a product X of n finite intervals of integers, a map F from X to itself, the asynchronous state transition graph (F) on X that Thomas proposed as a model for the dynam...
174
click to vote
ENTCS
2006
15 years 6 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
177
click to vote
EOR
2006
15 years 6 months ago
2006
This paper models and analyzes serial production lines with specialists at each station and a single, cross-trained floating worker who can work at any station. We formulate Marko...
153
click to vote
JSA
2008
15 years 6 months ago
2008
Processor simulators are important parts of processor design toolsets in which they are used to verify and evaluate the properties of the designed processors. While simulating arch...
149
click to vote
ALGORITHMICA
2000
15 years 6 months ago
2000
We describe a programmable apparatus that uses a vibrating surface for sensorless, nonprehensile manipulation, where parts are systematically positioned and oriented without sensor...