The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
The Multics Input/Output system
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
Portability and adaptability in operating system design.
Portability and adaptability in operating system design.
Symmetric intertask communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Monitoring distributed systems
ACM Transactions on Computer Systems (TOCS)
High-performance operating system primitives for robotics and real-time control systems
ACM Transactions on Computer Systems (TOCS)
Reference models, window systems, and concurrency
ACM SIGGRAPH Computer Graphics
Communications of the ACM
Portability and the UNIX operating system
ACM SIGOPS Operating Systems Review
Single-user capabilities in interprocess communication
ACM SIGOPS Operating Systems Review
A survey of process migration mechanisms
ACM SIGOPS Operating Systems Review
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
A Kernel for High-Performance Multicast Communications
IEEE Transactions on Computers
Architectural support for synchronous task communication
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
Debugging distributed C programs by real time reply
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
User-level interprocess communication for shared memory multiprocessors
ACM Transactions on Computer Systems (TOCS)
ACM SIGOPS Operating Systems Review
The Probability of Load Balancing Success in a Homogeneous Network
IEEE Transactions on Software Engineering
Multiprocessor real-time threads
ACM SIGOPS Operating Systems Review
The integration of virtual memory management and interprocess communication in Accent
ACM Transactions on Computer Systems (TOCS)
Distributed process groups in the V Kernel
ACM Transactions on Computer Systems (TOCS)
Optimistic incremental specialization: streamlining a commercial operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Exploring operating system internals with workstations
CSC '87 Proceedings of the 15th annual conference on Computer Science
Should undergraduates explore internals of workstation operating systems
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Proceedings of the tenth ACM symposium on Operating systems principles
An object oriented architecture
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
The COSIE communications subsystem: support for distributed office applications
ACM Transactions on Information Systems (TOIS)
An experimental distributed modeling system
ACM Transactions on Information Systems (TOIS)
Surveyors' forum: Notations for concurrent programming
ACM Computing Surveys (CSUR)
Corrigenda: “Concepts and notations for concurrent programs”
ACM Computing Surveys (CSUR)
Medusa: an experiment in distributed operating system structure
Communications of the ACM
Exception handling in communication protocols
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
The message is the medium: Multiprocess structuring of an interactive paint program
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
A multi-microprocessor architecture with hardware support for communication and scheduling
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Microprocessors: A platform for true program portability with examples from MicroCobol
ICSE '79 Proceedings of the 4th international conference on Software engineering
The distributed V kernel and its performance for diskless workstations
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Experience designing the waterloo port user interface
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
SODA: A simplified operating system for distributed applications
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Message repository definitional facility: An architectural model for interprocess communication
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
The design of a distributed kernel
ACM '81 Proceedings of the ACM '81 conference
A progress report on the Desperanto research project: software support for distributed processing
ACM SIGOPS Operating Systems Review
Jade: a distributed software prototyping environment
ACM SIGOPS Operating Systems Review
SODA: a simplified operating system for distributed applications
ACM SIGOPS Operating Systems Review
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
UCSD Pascal™: a portable software environment for small computers
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Paper: A software architecture for distributed computer control systems
Automatica (Journal of IFAC)
| Hi-index | 48.26 |
Thoth is a real-time operating system which is designed to be portable over a large set of machines. It is currently running on two minicomputers with quite different architectures. Both the system and application programs which use it are written in a high-level language. Because the system is implemented by the same software on different hardware, it has the same interface to user programs. Hence, application programs which use Thoth are highly portable. Thoth encourages structuring programs as networks of communicating processes by providing efficient interprocess communication primitives.