Results 281 to 290 of about 6,185,437 (319)
Some of the next articles are maybe not open access.
Time and real-time in programs
1989There a several interesting and important problems in the study of real-time programs, of which just a few have been described here. The area is significant both because of the need for a sound theory and because the implementation of such systems is often in safety-critical applications.
openaire +1 more source
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
Distributed and Parallel Databases, 1993
Data in real-time databases has to be logically consistent as well as temporally consistent. The latter arises from the need to preserve the temporal validity of data items that reflect the state of the environment that is being controlled by the system. Some of the timing constraints on the transactions that process real-time data come from this need.
openaire +1 more source
Data in real-time databases has to be logically consistent as well as temporally consistent. The latter arises from the need to preserve the temporal validity of data items that reflect the state of the environment that is being controlled by the system. Some of the timing constraints on the transactions that process real-time data come from this need.
openaire +1 more source
2004
We present a theory for the design and analysis of concurrent/distributed systems with real-time and stochastic time aspects. We start by presenting the model of Interactive Generalized Semi-Markov Processes (IGSMP): a compositional model for representing the class of stochastic processes known as Generalised Semi-Markov Processes (GSMPs), i.e ...
openaire +1 more source
We present a theory for the design and analysis of concurrent/distributed systems with real-time and stochastic time aspects. We start by presenting the model of Interactive Generalized Semi-Markov Processes (IGSMP): a compositional model for representing the class of stochastic processes known as Generalised Semi-Markov Processes (GSMPs), i.e ...
openaire +1 more source
ACM SIGOPS Operating Systems Review, 1991
Portability is an important attribute of real-time operating systems because their target hardware environments routinely vary from special purpose processors to parallel machines to distributed execution environments. In this paper, we address the issue of operating systems portability by development of a real-time threads ...
Karsten Schwan +2 more
openaire +1 more source
Portability is an important attribute of real-time operating systems because their target hardware environments routinely vary from special purpose processors to parallel machines to distributed execution environments. In this paper, we address the issue of operating systems portability by development of a real-time threads ...
Karsten Schwan +2 more
openaire +1 more source
Information Processing Letters, 1989
We try to say what constitutes real-time programming by looking at some examples. We also comment on the kind of communication primitives that aid this programming, and the kind of formal semantics that is required.
openaire +2 more sources
We try to say what constitutes real-time programming by looking at some examples. We also comment on the kind of communication primitives that aid this programming, and the kind of formal semantics that is required.
openaire +2 more sources
Forensic Science, Medicine, and Pathology, 2007
Research into the field of DNA has increased dramatically in the years since DNA profiling was first identified. Since then, techniques have been developed to identify individuals from DNA samples equivalent to a single cell. Development of these techniques meant that the ability to accurately quantitate the DNA in such samples was required to evolve ...
openaire +2 more sources
Research into the field of DNA has increased dramatically in the years since DNA profiling was first identified. Since then, techniques have been developed to identify individuals from DNA samples equivalent to a single cell. Development of these techniques meant that the ability to accurately quantitate the DNA in such samples was required to evolve ...
openaire +2 more sources
Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems, 2003
A merge element combines two, concurrent, handshake streams. For every request received from a client, a merge element may send a request to its parent, and for each acknowledgement received from its parent, the merge element may send an acknowledgement to a client.
openaire +1 more source
A merge element combines two, concurrent, handshake streams. For every request received from a client, a merge element may send a request to its parent, and for each acknowledgement received from its parent, the merge element may send an acknowledgement to a client.
openaire +1 more source
2005
The refinement calculus is extended for real-time system development. Heuristic rules for deriving high-level designs from Z specifications are also given. A detailed example of real-time refinement is presented.
openaire +2 more sources
The refinement calculus is extended for real-time system development. Heuristic rules for deriving high-level designs from Z specifications are also given. A detailed example of real-time refinement is presented.
openaire +2 more sources
A Survey of Real-Time Ethernet Modeling and Design Methodologies: From AVB to TSN
ACM Computing Surveys, 2023Libing Deng, Guoqi Xie, Renfa Li
exaly