We present a new way to implement ordinary programs with logic gates. and a new method of timing ... more We present a new way to implement ordinary programs with logic gates. and a new method of timing within circuits, and a new method of circuit verification. Application-specific circuit design can be done more effectively by using a standard programming language to describe the function that a circuit is intended to perform, rather than by describing a circuit that is intended to perform that function. The circuits are produced automatically; they behave according to the programs, and have the same structure as the programs. For timing we use local delays, rather than a global clock or local handshaking. We give a formal semantics for both programs and circuits in order to prove our circuits correct.
A demonstration of the integration of a program animation tool into a set of web based notes used... more A demonstration of the integration of a program animation tool into a set of web based notes used by instructors for lecturing and students for studying. Standard, conventionally prepared C++ and Java examples are dynamically incorporated into the class notes and can be interactively run in the animation tool directly from within the notes.
Mobile robots have the potential to be very useful within healthcare environments such as hospita... more Mobile robots have the potential to be very useful within healthcare environments such as hospitals and care homes. Operating semi-autonomously, mobile robots may be used as intelligent mobility aids, navigation systems, or delivery vehicles. A typical scenario envisioned is that of a patient pressing a bedside button to request an associative robotic device. The robot would then navigate to the
We present a new way to implement ordinary programs with logic gates. and a new method of timing ... more We present a new way to implement ordinary programs with logic gates. and a new method of timing within circuits, and a new method of circuit verification. Application-specific circuit design can be done more effectively by using a standard programming language to describe the function that a circuit is intended to perform, rather than by describing a circuit that is intended to perform that function. The circuits are produced automatically; they behave according to the programs, and have the same structure as the programs. For timing we use local delays, rather than a global clock or local handshaking. We give a formal semantics for both programs and circuits in order to prove our circuits correct.
A demonstration of the integration of a program animation tool into a set of web based notes used... more A demonstration of the integration of a program animation tool into a set of web based notes used by instructors for lecturing and students for studying. Standard, conventionally prepared C++ and Java examples are dynamically incorporated into the class notes and can be interactively run in the animation tool directly from within the notes.
Mobile robots have the potential to be very useful within healthcare environments such as hospita... more Mobile robots have the potential to be very useful within healthcare environments such as hospitals and care homes. Operating semi-autonomously, mobile robots may be used as intelligent mobility aids, navigation systems, or delivery vehicles. A typical scenario envisioned is that of a patient pressing a bedside button to request an associative robotic device. The robot would then navigate to the
Uploads
Papers by Theodore S . Norvell