Browsing by Subject "Real time systems"

Now showing items 21-40 of 42

    • Article  

      A multimedia programming model based on timed concurrent constraint programming 

      Papadopoulos, George Angelos (1998)
      We propose the development of multimedia programming frameworks based on the declarative logic programming setting and in particular the framework of object-oriented timed concurrent constraint programming (OO-TCCP). The ...
    • Article  

      PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling 

      Philippou, Anna; Lee, I.; Sokolsky, O. (2012)
      As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
    • Article  

      Probabilistic resource failure in real-time process algebra 

      Philippou, Anna; Cleaveland, R.; Lee, I.; Smolka, S.; Sokolsky, O. (1998)
      PACSR, a probabilistic extension of the real-time process algebra ACSR, is presented. The extension is built upon a novel treatment of the notion of a resource. In ACSR, resources are used to model contention in accessing ...
    • Article  

      A process algebraic framework for modeling resource demand and supply 

      Philippou, Anna; Lee, I.; Sokolsky, O.; Choi, J. -Y (2010)
      As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
    • Article  

      Process algebraic modelling and analysis of power-aware real-time systems 

      Lee, I.; Philippou, Anna; Sokolsky, O. (2002)
      A unified formal framework for designing and reasoning about power-constrained, real-time systems is described. The framework is based on process algebra, a formalism that has been developed to describe and analyse ...
    • Article  

      Real-Time Adaptation to Time-Varying Constraints for Medical Video Communications 

      Antoniou, Zinonas C.; Panayides, Andreas S.; Pantzaris, Marios C.; Constantinides, Anthony G.; Pattichis, Constantinos S.; Pattichis, Marios S. (2017)
      The wider adoption of mobile Health (mHealth) video communication systems in standard clinical practice requires real-time control to provide for adequate levels of clinical video quality to support reliable diagnosis. The ...
    • Conference Object  

      Real-Time Control of a Segmented Telescope Test-Bed 

      Abdullah, A. A.; Ioannou, Petros A. (2003)
      The control of large segmented telescopes is a challenging one due to the complexity and high order of the system. The high order dynamics lead to high order controllers that require more memory and faster computations for ...
    • Article  

      Real-time coordination in distributed multimedia systems 

      Limniotes, Theophilos A.; Papadopoulos, George Angelos (2000)
      The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software components involved have real-time requirements. ...
    • Conference Object  

      Real-time parallel parameter estimators for a second-order macroscopic traffic flow model 

      Wang, Y.; Ioannou, Petros A. (2006)
      The on-line estimation of traffic flow characteristics could be used for traffic control, incident management etc. This paper presents a real-time parameter estimation scheme based on a second-order macroscopic traffic ...
    • Conference Object  

      Real-time shadows for animated crowds in virtual cities 

      Loscos, C.; Tecchia, F.; Chrysanthou, Yiorgos L. (2001)
      In this paper, we address the problem of shadow computation for large environments including thousands of dynamic objects. The method we propose is based on the assumption that the environment is 2.5D, which is often the ...
    • Article  

      Resources in process algebra 

      Lee, I.; Philippou, Anna; Sokolsky, O. (2007)
      The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends ...
    • Conference Object  

      A scalable hash-based mobile agent location mechanism 

      Kastidou, G.; Pitoura, Evaggelia 1967-; Samaras, George S. (Institute of Electrical and Electronics Engineers Inc., 2003)
      In this paper, we propose a novel mobile agent tracking mechanism based on hashing. To allow our system to adapt to variable workloads, dynamic rehashing is supported The proposed mechanism scales well with both the number ...
    • Conference Object  

      Scalable pedestrian simulation for virtual cities 

      Stylianou, S.; Fyrillas, Marios M.; Chrysanthou, Yiorgos L. (2004)
      Most of the common approaches for the pedestrian simulation, used in the Graphics/VR community, are bottom-up. The avatars are individually simulated in the space and the overall behavior emerges from their interactions. ...
    • Conference Object  

      A simple roadway control system for freeway traffic 

      Zhang, J.; Chang, H.; Ioannou, Petros A. (2006)
      In this paper, a roadway control system that regulates variable speed limits along the freeway in addition to ramp metering is proposed to counteract traffic congestion and improve freeway efficiency. It treats the speed ...
    • Conference Object  

      A simplified 2D real time navigation system for hysteroscopy imaging 

      Herakleous, I.; Constantinos, I. P.; Michael, E.; Neofytou, Marios S.; Pattichis, Constantinos S.; Tanos, Vasilios (2011)
      In this paper, a simplified 2D navigation system for hysteroscopy imaging was introduced. This system was evaluated in virtual endometrium models, and the position sensor measurement errors were very small and acceptable ...
    • Conference Object  

      Symbolic schedulability analysis of real-time systems 

      Kwak, Hee-Hwan; Lee, Insup; Philippou, Anna; Choi, Jin-Young; Sokolsky, Oleg (IEEE, 1998)
      We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities. We use ACSR-VP to describe an instance of ...
    • Conference Object  

      Towards accurate hardware stereo correspondence: A real-time FPGA implementation of a segmentation-based adaptive support weight algorithm 

      Ttofis, C.; Theocharides, Theocharis (2012)
    • Article  

      Trade-off results for connection management 

      Mavronicolas, Marios; Papadakis, Nikos K. (2003)
      A connection management protocol establishes and handles a connection between two hosts across a wide-area network to allow reliable message delivery. We continue the previous work of Kleinberg et al. (Proceedings of the ...
    • Conference Object  

      An upper and a lower bound for tick synchronization 

      Mavronicolas, Marios (1992)
      The tick synchronization problem is defined and studied in the semi-synchronous complete network with n processes. An algorithm for the tick synchronization problem enables each process to make an estimate of real time ...
    • Conference Object  

      The use of microscopic traffic simulation model for traffic control systems 

      Chang, H.; Wang, Y.; Ioannou, Petros A. (2007)
      A highway network model is constructed using a microscopic traffic flow simulation model, VISSIM, and is intended to provide an evaluation environment for advanced traffic control systems. Since the microscopic traffic ...