Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,754 papers from all fields of science
Search
Sign In
Create Free Account
Ultrix
Known as:
Ultrix-32
, DEC ULTRIX
, Ultrix-11
Expand
Ultrix (officially all-caps ULTRIX) is the brand name of Digital Equipment Corporation's (DEC) discontinued native Unix operating systems. While…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
AppleTalk
Armando Stettner
BSD
Central processing unit
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Resource Management Services
Gautam Gala
,
G. Fohler
,
C. Pagetti
Distributed Real-Time Architecture for Mixed…
2018
Corpus ID: 169762288
2000
2000
Design and Implementation of the ROL Deductive Object-Oriented Database System
Mengchi Liu
Journal of Intelligence and Information Systems
2000
Corpus ID: 21175187
ROL is a deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform…
Expand
1999
1999
Supporting Cost-Effective Fault Tolerance in Distributed Message-Passing Applications with File Operations
J. Ouyang
,
P. Maheshwari
Journal of Supercomputing
1999
Corpus ID: 2190793
In this paper we present an approach to reliable distributed computing, which incorporates fault tolerance into applications at…
Expand
Review
1995
Review
1995
A Tutorial on Using Pvs for Hardware Veriication ? Pvs Stands for \prototype Veriication System." It Consists of a Speciication Language Integrated with Support Tools and a Theorem Prover. Pvs Tries…
S. Owre
,
J. Rushby
,
N. Shankar
,
M. Srivas
,
The
,
User
1995
Corpus ID: 17556028
PVS stands for \Prototype Veriication System." It consists of a speciication language integrated with support tools and a theorem…
Expand
1995
1995
Symbolic modeling of robot kinematics and dynamics
C. Vibet
Robotics Auton. Syst.
1995
Corpus ID: 36375285
1993
1993
Measurement, Analysis, and Improvement of
Jonathan S. Kay
,
J. Pasquale
1993
Corpus ID: 61184487
1993
1993
The DECWRL Mail Gateway
B. Reid
1993
Corpus ID: 60177069
Abstract : DECWRL is a mail gateway computer operated by Digital's Network Systems Laboratory in Palo Alto, California. Its…
Expand
1991
1991
CANASTA: The Crash Analysis Troubleshooting Assistant
M. S. Register
,
A. Rewari
Conference on Innovative Applications of…
1991
Corpus ID: 1027207
CANASTA (crash analysis troubleshooting assistant) is a Digital proprietary knowledge-based system developed by the Artificial…
Expand
1989
1989
A General Device Driver for Ultrix or Leave the Driver to /dev/bus
Gaylord Holder
1989
Corpus ID: 59650006
New hardware is the bane and the boon of the research laboratory: the boon because it brings new power, new capabilities, and new…
Expand
Review
1989
Review
1989
A Review of Macsyma
R. Fateman
IEEE Transactions on Knowledge and Data…
1989
Corpus ID: 13650919
The successes and failures of the Macsyma algebraic manipulation system are reviewed from the point of view of one of the…
Expand
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)
ACCEPT & CONTINUE