Browsing by Subject "Real time systems"
Now showing items 21-40 of 42
-
Article
A multimedia programming model based on timed concurrent constraint programming
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
-
Article
Trade-off results for connection management
(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
(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
(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 ...