1701 search results - page 3 / 341 » Computer Science and State Machines |
STACS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
163
click to vote
NEUROSCIENCE
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Finite-state machines are the most pervasive models of computation, not only in theoretical computer science, but also in all of its applications to real-life problems, a...
152
click to vote
SIGCSE
2006
ACM
15 years 3 months ago
2006
ACM
The statistics show that the number of Computer Science majors is dropping across the United States. Possible reasons include a reduced number of jobs in the field, an incorrect p...
42
Voted
CACM
2005
14 years 9 months ago
2005
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...