Skip to search formSkip to main contentSkip to account menu

Kronos

Known as: CDC KRONOS 
Kronos is an operating system with time-sharing capabilities, written by Control Data Corporation in the 1970s. Kronos ran on the 60-bit CDC 6000… 
Wikipedia (opens in a new tab)

Related topics

Related topics

15 relations
CDC 6000 seriesCDC 6600CDC CyberCDC SCOPE

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
A study of multiple effects of nano-silica and hybrid fibres on the properties of Ultra-High Performance Fibre Reinforced Concrete (UHPFRC) incorporating waste bottom ash (WBA)
2009
2009
mæve - An Interactive Tabletop Installation for Exploring Background Information in Exhibitions
This paper introduces the installation maeve: a novel approach to present background information in exhibitions in a highly… 
Highly Cited
2009
Highly Cited
2009
Model-checking Timed Temporal Logics
Highly Cited
2008
Highly Cited
2008
Does Job Testing Harm Minority Workers? Evidence from Retail Establishments
Because minorities typically fare poorly on standardized tests, job testing is thought to pose an equality-efficiency trade-off… 
Highly Cited
2005
Highly Cited
2005
Facilitating the construction of specification pattern-based properties
Formal specification languages are often perceived as difficult to use by practitioners, and are therefore rarely-used in… 
Highly Cited
2004
Highly Cited
2004
A framework for malicious workload generation
Malicious traffic from self-propagating worms and denial-of-service attacks constantly threatens the everyday operation of… 
Highly Cited
2001
Highly Cited
2001
A Real-Time Execution Semantics for UML Activity Diagrams
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is… 
Highly Cited
1999
Highly Cited
1999
Timed automaton models for simple programmable logic controllers
  • A. MaderH. Wupper
  • Proceedings of 11th Euromicro Conference on Real…
  • 1999
  • Corpus ID: 7266288
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple… 
1998
1998
Automatic Proofs and Counterexamples for Some Ortholattice Identities
Highly Cited
1990
Highly Cited
1990
Using input command pre-shaping to suppress multiple mode vibration
Spacecraft, space-borne robotic systems, and manufacturing equipment often utilize lightweight materials and configurations that… 
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)