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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The 2014 IEEE Visual Analytics Science and Technology (VAST) Challenge presented researchers with a single fictitious scenario… (More)
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • figure 1
Is this relevant?
2014
2014
This paper proposes a new approach to determining the order of interdependent operations in a distributed system. The key idea… (More)
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Program state-space exploration is central to software security, testing, and verification. In this paper, we propose a novel… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In this paper, we describe a novel approach to scalable group re-keying for secure multicast. Our approach, which we call Kronos… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The main purpose of this paper is to explain how to use Kronos, a tool for formally checking whether a real-time system meets its… (More)
Is this relevant?
1996
1996
In this paper we describe the KRONOS system, a tool for verifying real-time properties based on the model of timedautomata. As an… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 7
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Multirate timed automata 2] are an extension of timed automata 3] where each clock has its own speed varying between a lower and… (More)
Is this relevant?
Review
1995
Review
1995
KRONOS [6, 8] is a tool developed with the aim to assist the user to validate complex real-time systems. The tool checks whether… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 2
Is this relevant?
1994
1994
ET-LOTOS is a timed extension of LOTOS proposed for modeling real-time systems. Kronos is a tool that checks whether an automaton… (More)
Is this relevant?