Skip to search formSkip to main contentSkip to account menu

WAITS

Known as: Wait 
WAITS was a heavily modified variant of Digital Equipment Corporation's Monitor operating system (later renamed to, and better known as, "TOPS-10… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
Incompatible Timesharing SystemList of operating systemsMark CrispinOperating system

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Robust supervisor synthesis for automated manufacturing systems using Petri nets
In order to engage automated manufacturing systems in practice, a prerequisite is that they must be immune to deadlocks, which… 
2012
2012
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
Highly Cited
2009
Highly Cited
2009
Analysis of opportunistic spectrum sharing with markovian arrivals and phase-type service
We develop a general framework for analyzing the performance of an opportunistic spectrum sharing (OSS) wireless system at the… 
2008
2008
KNOTS AS POSSIBLE EXCITATIONS OF THE QUANTUM YANG-MILLS FIELDS
It is a great honour and pleasure for me to participate in the conference, dedicated to 85 years celebration for Professor C. N… 
2007
2007
Estimation of position and orientation of mobile systems in a wireless LAN
In this paper, a method to estimate position and orientation of a mobile system in an indoor scenario is described. The proposed… 
2007
2007
Cooperation and Fairness for Slotted Aloha
Wireless access based on slotted Aloha with selfish users may result in very inefficient use of the system resources. To impose… 
2000
2000
Self-stabilizing mutual exclusion using unfair distributed scheduler
A self-stabilizing algorithm, regardless of the initial system state, converges infinite time to a set of states that satisfy a… 
Highly Cited
1992
Highly Cited
1992
Spatial machines: a more realistic approach to parallel computation
ion o f a concept that we had of a general physical compute r or "comput ing environment ." We pictured a finite set of elements… 
Highly Cited
1991
Highly Cited
1991
A model of Ada programs for static deadlock detection in polynomial times
We have designed a safe, polynomial time approximation algorithm for static deadlock detection in a subset of the Ada language… 
1977
1977
A Parallel Processor Operating System Comparison
Three different operating system strategies for a parallel processor computer system are compared, and the most effective… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)