• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 211,142
Next 10 →

Specifying Dynamic Real-Time Systems in CRP

by R. K. Shyamasundar , 1994
"... this paper, we show that the paradigm of Communicating Reactive Processes (CRP) can be effectively used for programming dynamic real-time systems. Timed CRP unifies ..."
Abstract - Add to MetaCart
this paper, we show that the paradigm of Communicating Reactive Processes (CRP) can be effectively used for programming dynamic real-time systems. Timed CRP unifies

Programming Dynamic Real-Time Systems In Crp

by Shyamasundar Tata, R. K. Shyamasundar - In Proc. of the CSA Jubilee Workshop on Computing and Intelligent Systems , 1994
"... In this paper, we show that the paradigm of Communicating Reactive Processes (CRP) unifying asynchronous and perfectly synchronous mechanisms can be adapted for programming dynamic real-time systems. ..."
Abstract - Add to MetaCart
In this paper, we show that the paradigm of Communicating Reactive Processes (CRP) unifying asynchronous and perfectly synchronous mechanisms can be adapted for programming dynamic real-time systems.

Resource reservation in dynamic real-time systems

by Luca Abeni, Giorgio Buttazzo - Real-Time Systems , 2004
"... Abstract. This paper focuses on the problem of providing ef®cient run-time support to multimedia applications in a real-time system, where different types of tasks (characterized by different criticality) can coexist.Whereas critical real-time tasks (hard tasks) are guaranteed based on worst-case ex ..."
Abstract - Cited by 62 (13 self) - Add to MetaCart
Abstract. This paper focuses on the problem of providing ef®cient run-time support to multimedia applications in a real-time system, where different types of tasks (characterized by different criticality) can coexist.Whereas critical real-time tasks (hard tasks) are guaranteed based on worst

On Scheduling Exception Handlers in Dynamic Real-Time Systems

by Binoy Ravindran, Edward Curley, E. Douglas Jensen
"... We consider the problem of scheduling exception handlers in real-time systems that operate under run-time uncertainties including those on execution times, activity arrivals, and failure occurrences. The applica-tion/scheduling model includes activities and their exception handlers that are subject ..."
Abstract - Add to MetaCart
We consider the problem of scheduling exception handlers in real-time systems that operate under run-time uncertainties including those on execution times, activity arrivals, and failure occurrences. The applica-tion/scheduling model includes activities and their exception handlers that are subject

Extending UPPAAL for the Modeling and Verification of Dynamic Real-time Systems

by Abdeldjalil Boudjadar, Frits Va, Jean-paul Bodeveix, Mamoun Filali
"... Abstract. Dynamic real-time systems, where the number of processes is not constant and new processes can be created on the fly like in object-based systems and ad-hoc networks, are still lacking a formal framework enabling their verification. Different toolboxes like Uppaal [21], Tina [10], Red [28] ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
Abstract. Dynamic real-time systems, where the number of processes is not constant and new processes can be created on the fly like in object-based systems and ad-hoc networks, are still lacking a formal framework enabling their verification. Different toolboxes like Uppaal [21], Tina [10], Red [28

On scheduling garbage collector in dynamic real-time systems with statistical timing assurances

by Hyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Douglas Jensen - In IEEE ISORC , 2006
"... We consider garbage collection (GC) in dynamic real-time systems. We consider the time-based GC approach of running the collector as a separate, concurrent thread, and focus on real-time scheduling to obtain assurances on mutator timing behavior, while ensuring that memory is never exhausted. We pre ..."
Abstract - Cited by 5 (1 self) - Add to MetaCart
We consider garbage collection (GC) in dynamic real-time systems. We consider the time-based GC approach of running the collector as a separate, concurrent thread, and focus on real-time scheduling to obtain assurances on mutator timing behavior, while ensuring that memory is never exhausted. We

PORTS: Experiences with a Scheduler for Dynamic Real-Time Systems (Extended Abstract)

by Kaushik Ghosh, Richard M. Fujimoto, Karsten Schwan - College of Computing, Georgia Institute of Technology , 1994
"... ) Kaushik Ghosh, Richard M. Fujimoto, and Karsten Schwan College of Computing Georgia Institute of Technology Atlanta, GA, 30332. June 24, 1994 Abstract This paper describes several of our experiences with a real-time scheduler. Using a robot control application program, we motivate the importance ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
the importance of supporting multiple schedulers within the same application program. We demonstrate the utility of speculative task execution in dynamic real-time systems, and describe the implementation of a scheduler for performing speculative execution and recovery. We show that existing real-time scheduler

QoS-based Resource Allocation in Dynamic Real-Time Systems

by R. Judd, F. Drews, D. Lawrence, D. Juedes, B. Leal, J. Deshpande, L. Welch , 2005
"... Dynamic real-time systems require adaptive resource management to accommodate varying processing needs. We address the problem of resource management with a single resources for soft real-time systems (no hard deadline requirements) consisting of tasks that have discrete QoS (Quality of Service) se ..."
Abstract - Add to MetaCart
Dynamic real-time systems require adaptive resource management to accommodate varying processing needs. We address the problem of resource management with a single resources for soft real-time systems (no hard deadline requirements) consisting of tasks that have discrete QoS (Quality of Service

Dynbench: A Benchmark Suite For Dynamic Real-Time Systems

by Behrooz Shirazi Lonnie WELCH, Behrooz Shirazi, Lonnie Welch, EUI-NAM HUH, Binoy Ravindran, CHARLES CAVANAUGH - Journal of Parallel and Distributed Computing Practices , 1999
"... . In this paper we present the architecture and framework for a benchmark suite that has been developed as part of the DeSiDeRaTa project. The benchmark suite is representative of the emerging generation of distributed, mission-critical, real-time control systems that operate in dynamic environments ..."
Abstract - Cited by 11 (7 self) - Add to MetaCart
. In this paper we present the architecture and framework for a benchmark suite that has been developed as part of the DeSiDeRaTa project. The benchmark suite is representative of the emerging generation of distributed, mission-critical, real-time control systems that operate in dynamic

Adaptive Resource Management in Distributed Dynamic Real-Time Systems

by unknown authors
"... The use of distributed computing technology in real-time systems is rapidly increasing. Distributed real-time and embedded applications occur in such different critical areas as air defense systems, car and ro-botic control, or satellite positioning. Examples of applications we have in mind are auto ..."
Abstract - Add to MetaCart
The use of distributed computing technology in real-time systems is rapidly increasing. Distributed real-time and embedded applications occur in such different critical areas as air defense systems, car and ro-botic control, or satellite positioning. Examples of applications we have in mind
Next 10 →
Results 1 - 10 of 211,142
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University