Results 251 to 260 of about 25,808,295 (305)
Some of the next articles are maybe not open access.
Software: Practice and Experience, 1983
AbstractA standard for BASIC is nearing completion. An integral part of that standard is a module of the language addressing the needs of real‐time applications. This paper describes the features of real‐time BASIC, highlighting the concurrency aspects, the mechanisms provided for inter‐process communication and synchronization, and for communication ...
Gordon M. Bull, Alan Lewis
openaire +3 more sources
AbstractA standard for BASIC is nearing completion. An integral part of that standard is a module of the language addressing the needs of real‐time applications. This paper describes the features of real‐time BASIC, highlighting the concurrency aspects, the mechanisms provided for inter‐process communication and synchronization, and for communication ...
Gordon M. Bull, Alan Lewis
openaire +3 more sources
Real-time simulation in non real-time environment
2016 21st International Conference on Methods and Models in Automation and Robotics (MMAR), 2016Simulation in real-time is a very useful tool because of didactical and practical benefits. Very important benefit of real-time simulation is a fact that operator's decision can be taken into account in the same time scale as the real system would work.
Jaroslaw Tarnawski, Tomasz Karla
openaire +1 more source
Real-time interfaces for composing real-time systems
Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06, 2006Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these approaches and proves properties like refinement and independent implementability. We also explicitly state the requirements to a framework for these properties to be fulfilled.
Lothar Thiele +2 more
openaire +1 more source
Real Time in Distributed Real Time Systems
IFAC Proceedings Volumes, 1983Any real time computer control system must have a capability to measure the duration between events in the metric of real time and must respond to a stimulus within a given real time interval. This paper discusses some of the implications which result from the inclusion of this real time metric on the specification, communication and error detection in
openaire +1 more source
J. Autom. Lang. Comb., 2001
We study here the class of timed automata with a single clock which is reset at each transition. We adapt for these automata the classical results for finite automata: the Kleene Theorem, the closure under complementation and the Pumping Lemma. We provide an algorithm for the elimination of stuttering steps, which is essential in complementation. This
openaire +3 more sources
We study here the class of timed automata with a single clock which is reset at each transition. We adapt for these automata the classical results for finite automata: the Kleene Theorem, the closure under complementation and the Pumping Lemma. We provide an algorithm for the elimination of stuttering steps, which is essential in complementation. This
openaire +3 more sources
Mathematical Logic Quarterly, 1986
In standard tense logic, tenses are defined linguistically as operator combinations in a Prior-type language. Here, however, tenses are studied as unary operations on sets of reals. Ordinary mathematical conditions (such as automorphism invariance, continuity) are then used to classify natural tenses.
openaire +2 more sources
In standard tense logic, tenses are defined linguistically as operator combinations in a Prior-type language. Here, however, tenses are studied as unary operations on sets of reals. Ordinary mathematical conditions (such as automorphism invariance, continuity) are then used to classify natural tenses.
openaire +2 more sources
The Real-Time Enterprise, the Real-Time Supply Chain
Information Systems Management, 2003Abstract The idea of a real-time enterprise is gaining momentum very quickly. Although implementing a real-time selection is a complex and significant undertaking, the ROI is intuitively obvious and quantitatively verifiable. Managers must be provided an environment that allows them to make quicker, more informed business decisions to achieve their ...
openaire +2 more sources
Real-Time Computation and Recursive Functions Not Real-Time Computable
IEEE Transactions on Electronic Computers, 1962As an attempt to investigate a general theory of real-time computability in digital computers, a subclass of Turing machines is formally introduced together with some classes of functions that are computable by them in real time. Then the existence is established of a class of recursive functions that are not computable in real time by use of a class ...
openaire +2 more sources
Journal of Graphics Tools, 2002
We present a real-time hardware accelerated method for rendering objects using halftoning. It is solely based on texture mapping and creates the impression of a printed image, although the lighting and objects can be changed and manipulated on the fly.
Kautz, J. +1 more
openaire +2 more sources
We present a real-time hardware accelerated method for rendering objects using halftoning. It is solely based on texture mapping and creates the impression of a printed image, although the lighting and objects can be changed and manipulated on the fly.
Kautz, J. +1 more
openaire +2 more sources
[1991] Proceedings Twelfth Real-Time Systems Symposium, 2002
A search algorithm called real-time search (RTS) for solving combinatorial optimization problems under real-time constraints is presented. The algorithm aims at finding the best possible solution within a given deadline. Since this objective is generally not achievable without first solving the problem, the authors use an alternative heuristic ...
Lon-Chan Chu, Benjamin W. Wah
openaire +2 more sources
A search algorithm called real-time search (RTS) for solving combinatorial optimization problems under real-time constraints is presented. The algorithm aims at finding the best possible solution within a given deadline. Since this objective is generally not achievable without first solving the problem, the authors use an alternative heuristic ...
Lon-Chan Chu, Benjamin W. Wah
openaire +2 more sources