Open AccessBook Chapter
The Transterpreter: A Transputer Interpreter
TLDR
The Transterpreter: a virtual machine for executing the Transputer instruction set is reported on, which is a small, portable, efficient and ex- tensible run-time interpreter intended to be easily ported to handheld computers, mobile phones, and other embedded contexts.Abstract:
This paper reports on the Transterpreter: a virtual machine for executing the Transputer instruction set. This interpreter is a small, portable, efficient and ex- tensible run-time. It is intended to be easily ported to handheld computers, mobile phones, and other embedded contexts. In striving for this level of portability, occam programs compiled to Transputer byte-code can currently be run on desktop comput- ers, handhelds, and even the LEGO Mindstorms robotics kit.read more
Citations
More filters
Book ChapterDOI
Multicore Scheduling for Lightweight Communicating Processes
TL;DR: Initial performance analysis shows that, using the algorithms presented in this paper, process-oriented software can execute with an efficiency approaching that of optimised sequential and coarse-grain threaded designs.
Proceedings Article
Mobile Robot Control The Subsumption Architecture and occam-pi
TL;DR: The subsumption architecture can be put to use on general purpose modern robotics hardware, providing a clean and robust development approach for the creation of robot control systems.
Journal ArticleDOI
Towards concrete concurrency: occam-pi on the LEGO mindstorms
TL;DR: This paper ported occam π, a language whose expressive powers are especially compelling for describing communicating dynamic reactive processes, to the LEGO Mindstorms to provide an authentic, hands-on, and enjoyable introduction to concurrency.
Proceedings ArticleDOI
Exploiting a generic approach for constructing mobile device applications
Jó Ueyama,Vítor P. V. Pinto,Edmundo R. M. Madeira,Paul Grace,Thienne M. M. Jonhson,Raphael Y. de Camargo +5 more
TL;DR: This paper discusses the use of a generic component approach for the construction of adaptive applications that can integrate and re-use technologies and deploy them across heterogeneous devices.
Journal ArticleDOI
Santa Claus: Formal analysis of a process-oriented solution
Peter H. Welch,Jan Pedersen +1 more
TL;DR: It is proposed that process-oriented design, based on Hoare's algebra of Communicating Sequential Processes (CSP), leads to solutions that are manageable by novice programmers; that is, they are easy to design and maintain, that they are scalable for complexity, obviously correct, and relatively easy to verify using formal reasoning and/or model checkers.
References
More filters
Journal ArticleDOI
Revised Report on the Algorithmic Language Scheme
Harold Abelson,R. K. Dybvig,Christopher T. Haynes,G. J. Rozas,Norman Adams,Daniel Friedman,E. Kohlbecker,G. L. Steele,D. H. Bartley,R. Halstead,D. Oxley,Gerald Jay Sussman,G. Brooks,C. Hanson,K. M. Pitman,Mitchell Wand +15 more
TL;DR: The report gives a defining description of the programming language Scheme, a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele, Jr. and Gerald Jay Sussman.
Book
Gnu Autoconf, Automake, and Libtool
Gary V. Vaughan,Thomas Tromey +1 more
TL;DR: A primary author, two maintainers and a major contributor to the GNU Autotools team up in this unique guide to provide an insider's view on improving software portability and package building using the popular Open Source tools.
Book Chapter
CCSP - A portable CSP-based run-time system supporting C and occam
TL;DR: A number of features have emerged from industrial collaboration as essential for soft real-time systems in the real world: prioritised scheduling with 32 priority levels, integration of communications hardware to provide support for distributed processing, and access to a highly accurate real- time clock.
Book Chapter
Prioritised Dynamic Communicating Processes: Part II
TL;DR: The work extends the occam multiprocessing language, which is both sufficiently small to allow for easy experimentation and sufficiently powerful to yield results that are directly applicable to a wide range of industrial and commercial practice.