Results 261 to 270 of about 21,518,469 (313)
Some of the next articles are maybe not open access.
Layering of real-time distributed processes
1994An assertional proof system is proposed for a shared variable language extended with real-time constructs and synchronization, and a layering operator. The proof system is used to check real-time side conditions for an extended Communication Closed Layers rule. Reversely, this rule extends the scope of applicability of the proof system.
Janssen, W.P.M. +3 more
openaire +2 more sources
Real-time analytics processing with MapReduce
2012 International Conference on Machine Learning and Cybernetics, 2012Many real-time analytical applications over massive data streams were performed by usually introducing a specific stream processing core. In general, these SPCs were not popularly applied to enterprises same as MapReduce, even if now real-time analytics applications are taken into attention more and more.
Cheng-Zhang Peng +3 more
openaire +2 more sources
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Real-Time Continuous Image Processing
International Journal of Image and Graphics, 2018In this work, we propose a framework that performs a number of popular image-processing operations in the continuous domain. This is in contrast to the standard practice of defining them as operations over discrete sequences of sampled values. The guiding principle is that, in order to prevent aliasing, nonlinear image-processing operations should ...
Leonardo Sacht +2 more
openaire +2 more sources
Networks of real-time processes
1993The input-output function computed by a network of asynchronous real-time processes is proved to be identical to the unique fixed point of a network functional even though the components of the network may compute nonmonotonic functions. The techniques used are those of contractive functions on metric spaces rather than the usual Scott continuity on ...
openaire +2 more sources
Axiomatising real-timed processes
1994In this paper, we present a relativised compositional proof system for real-timed processes. The proof system allows us to derive statements of the form A ⊢ E = F, where processes E, F may contain free time variables and A is a formula of the first order theory of time domain.
openaire +1 more source
Processing Panorama Video in Real-time
International Journal of Semantic Computing, 2014There are many scenarios where high resolution, wide field of view video is useful. Such panorama video may be generated using camera arrays where the feeds from multiple cameras pointing at different parts of the captured area are stitched together. However, processing the different steps of a panorama video pipeline in real-time is challenging due ...
Håkon Kvale Stensland +8 more
openaire +2 more sources
Real time animation of dynamic processes
Computers & Graphics, 1974Abstract Animation and simulation processes are facilitated by the use of high level graphic languages. The results of these processes are not generally available in real time, developing of microfilm delaying the screening of the process until some time after the computer run.
openaire +3 more sources
Processing Biological Data in Real Time
1987A laboratory computer monitors a gas chromatograph overnight. Results are available in the morning for immediate analysis.
G, Wiederhold, P D, Clayton
openaire +2 more sources
Real-Time Image Processing System
2020According to the video monitoring new requirements, this paper studies a set of intelligent video surveillance and retrieval system based on FPGA. The system can realize the video at the same time, face detection, intelligent background removal, and the video structural description.
Bo Zhao +3 more
openaire +1 more source