Skip to search formSkip to main contentSkip to account menu

Ultrix

Known as: Ultrix-32, DEC ULTRIX, Ultrix-11 
Ultrix (officially all-caps ULTRIX) is the brand name of Digital Equipment Corporation's (DEC) discontinued native Unix operating systems. While… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
2000
2000
ROL is a deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform… 
1999
1999
In this paper we present an approach to reliable distributed computing, which incorporates fault tolerance into applications at… 
Review
1995
Review
1995
PVS stands for \Prototype Veriication System." It consists of a speciication language integrated with support tools and a theorem… 
1995
1995
  • C. Vibet
  • 1995
  • Corpus ID: 36375285
1993
1993
Abstract : DECWRL is a mail gateway computer operated by Digital's Network Systems Laboratory in Palo Alto, California. Its… 
1991
1991
CANASTA (crash analysis troubleshooting assistant) is a Digital proprietary knowledge-based system developed by the Artificial… 
1989
1989
New hardware is the bane and the boon of the research laboratory: the boon because it brings new power, new capabilities, and new… 
Review
1989
Review
1989
The successes and failures of the Macsyma algebraic manipulation system are reviewed from the point of view of one of the…