2467 search results - page 385 / 494 » Finite State Machines |
94
Voted
SIGCSE
1999
ACM
15 years 5 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...
102
Voted
IPPS
1999
IEEE
15 years 5 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...
113
Voted
ECAL
1999
Springer
15 years 5 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...
113
Voted
TPHOL
1998
IEEE
15 years 5 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...
110
click to vote
KR
1998
Springer
15 years 4 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,...