We present a method that is able to track several 3D objects simultaneously, robustly, and accurately in real-time. While many applications need to consider more than one object in practice, the existing methods for s...
详细信息
the real-timecomputing community uses the terms "predictability" and "determinism" - usually referring to timeliness - without defining them, or incorrectly as synonyms. that results in confusion,...
详细信息
ISBN:
(纸本)9780769531328
the real-timecomputing community uses the terms "predictability" and "determinism" - usually referring to timeliness - without defining them, or incorrectly as synonyms. that results in confusion, errors, and neglect of important mainstream real-time systems, especially dynamic distributed ones.
Several real-time executable software specification languages and techniques exist. However, there are aspects among these languages that are preventing these languages from being widely accepted and adopted. the pape...
详细信息
ISBN:
(纸本)9780769531328
Several real-time executable software specification languages and techniques exist. However, there are aspects among these languages that are preventing these languages from being widely accepted and adopted. the paper identifies three key areas contributing to this non-acceptability. the paper also suggests future directions and advancements needed in the identified areas.
the real-time specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps the Java garbage collector. While scope...
详细信息
ISBN:
(纸本)9780769531328
the real-time specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps the Java garbage collector. While scoped memory succeeds in protecting real-time tasks from execution time jitter, practical experience points to shortcomings. this paper takes stock of the state of the art in memory management for RTSJ programs.
Currently, the real-time Specification for Java (RTSJ) is silent on multiprocessor issues It attempts not to preclude multiprocessor implementations but provides no direct support. this paper discusses the issues that...
详细信息
Currently, the real-time Specification for Java (RTSJ) is silent on multiprocessor issues It attempts not to preclude multiprocessor implementations but provides no direct support. this paper discusses the issues that need to be addressed if the RTSJ is to be better defined for execution on a multiprocessor system. It proposes new dispatching and allocation models. Issues of cost enforcement, interrupts affinity and processor failure are covered.
In this paper, we propose a method to verify software executed on RTOS which conforms to mulTRON with a model checking tool Spin. the RTOS provides facilities such as priorities and service calls to control the execut...
详细信息
ISBN:
(纸本)9780769531328
In this paper, we propose a method to verify software executed on RTOS which conforms to mulTRON with a model checking tool Spin. the RTOS provides facilities such as priorities and service calls to control the execution of tasks, however, Spin does not provide them. thus, we implemented a middleware which allows us to use the facilities and simulate the execution of the tasks in Spin. the paper shows how it is implemented and its evaluation.
We give an introduction and survey of a formal modeling and verification approach that has been successfully applied to time-triggered protocols. this method allows us to capture and reason about real-time properties ...
详细信息
ISBN:
(纸本)9780769531328
We give an introduction and survey of a formal modeling and verification approach that has been successfully applied to time-triggered protocols. this method allows us to capture and reason about real-time properties of distributed systems. It relies on the modeling concept of calendar similar to what has been used for a long time in discrete event simulation. It is also supported by efficient symbolic verification tools provided by the SAL environment. We present the basis of the modeling method and discuss two related verification approaches for analyzing complex, real-timedistributed systems.
Several approaches for scalable interest management (IM) within real-timedistributed virtual environments (DVEs) have been proposed based upon some division of the data-space in to disjoint volumes or cells. Any such...
详细信息
ISBN:
(纸本)9780769531328
Several approaches for scalable interest management (IM) within real-timedistributed virtual environments (DVEs) have been proposed based upon some division of the data-space in to disjoint volumes or cells. Any such approach, however, must implement some mechanism for propagating the query and update messages around the distributed system. the efficiency of this process can greatly effect the scalability of such systems. In this paper we evaluate an adaptive approach to this problem.
this paper describes work to ease the resource allocation problem in the domain of game server hosting. A solution was sought that required no alteration to game server code and would not inhibit a player's gaming...
详细信息
ISBN:
(纸本)9780769531328
this paper describes work to ease the resource allocation problem in the domain of game server hosting. A solution was sought that required no alteration to game server code and would not inhibit a player's gaming experience. Although an academic work, the problem is tackled in a commercial setting.
暂无评论