2467 search results - page 385 / 494 » Finite State Machines |
144
click to vote
SIGCSE
1999
ACM
15 years 10 months ago
1999
ACM
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...
151
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
The JavaPorts system is an environment that facilitates the rapid development of modular, reusable, Java-based parallel and distributed applications for networked machines with het...
156
click to vote
ECAL
1999
Springer
15 years 10 months ago
1999
Springer
In this paper, we present a possible implementation of arithmetic functions (notably, addition and multiplication) using self-replicating cellular automata. The operations are per...
161
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
155
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...