Results 1 - 10 of 19,230

An Overview of the Real-time CORBA Specification

by Douglas C. Schmidt, Fred Kuhns - IEEE COMPUTER , 2000
"... To be an effective platform for performance-sensitive real-time systems, distributed object computing middleware must support application quality of service (QoS) requirements end-toend. This article describes how the OMG's Real-time CORBA specification defines standard policies and mechanisms ..."
Abstract - Cited by 106 (14 self) - Add to MetaCart
To be an effective platform for performance-sensitive real-time systems, distributed object computing middleware must support application quality of service (QoS) requirements end-toend. This article describes how the OMG's Real-time CORBA specification defines standard policies and mechanisms

Techniques for Enhancing Real-time CORBA Quality of Service

by Irfan Pyarali, Douglas C. Schmidt, Ron K. Cytron - IEEE Proceedings Special Issue on Real-time Systems , 2002
"... End-to-end predictability of remote operations is essential for many fixed-priority distributed real-time and embedded (DRE) applications, such as command and control systems, manufacturing process control systems, large-scale distributed interactive simulations, and testbeam data acquisition system ..."
Abstract - Cited by 36 (5 self) - Add to MetaCart
systems. To enhance predictability, the Real-time CORBA specification defines standard middleware features that allow applications to allocate, schedule, and control key CPU, memory, and networking resources necessary to ensure end-to-end quality of service support.

Symbolic Model Checking for Real-time Systems

by Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - INFORMATION AND COMPUTATION , 1992
"... We describe finite-state programs over real-numbered time in a guarded-command language with real-valued clocks or, equivalently, as finite automata with real-valued clocks. Model checking answers the question which states of a real-time program satisfy a branching-time specification (given in an ..."
Abstract - Cited by 578 (50 self) - Add to MetaCart
We describe finite-state programs over real-numbered time in a guarded-command language with real-valued clocks or, equivalently, as finite automata with real-valued clocks. Model checking answers the question which states of a real-time program satisfy a branching-time specification (given

The Design and Performance of a Real-time CORBA Event Service

by Timothy Harrison, David L. Levine, Douglas C. Schmidt - in Proceedings of OOPSLA '97, (Atlanta, GA), ACM , 1997
"... The CORBA Event Service provides a flexible model for asynchronous communication among objects. However, the standard CORBA Event Service specification lacks important features required by real-time applications. For instance, operational flight programs for fighter aircraft have complex realtime pr ..."
Abstract - Cited by 274 (91 self) - Add to MetaCart
The CORBA Event Service provides a flexible model for asynchronous communication among objects. However, the standard CORBA Event Service specification lacks important features required by real-time applications. For instance, operational flight programs for fighter aircraft have complex realtime

Monetary Policy Rules Based on Real-Time Data

by Athanasios Orphanides - BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM FINANCE AND ECONOMICS DISCUSSION PAPER SERIES , 1997
"... In recent years, simple policy rules have received attention as a means to a more transparent and effective monetary policy. Often, however, the analysis is based on unrealistic assumptions about the timeliness of data availability. This permits rule specifications that are not operational and ignor ..."
Abstract - Cited by 431 (18 self) - Add to MetaCart
in real time. Using this data I reconstruct the policy recommendations which would have been obtained in real time. I demonstrate that the real-time policy recommendations differ considerably from those obtained with the ex post revised data. Within-year revisions in the policy recommendations are also

A theory of timed automata

by Rajeev Alur , 1999
"... Model checking is emerging as a practical tool for automated debugging of complex reactive systems such as embedded controllers and network protocols (see [23] for a survey). Traditional techniques for model checking do not admit an explicit modeling of time, and are thus, unsuitable for analysis of ..."
Abstract - Cited by 2651 (32 self) - Add to MetaCart
and logic, and much progress has been made in developing verification algorithms, heuristics, and tools. This paper provides a survey of the theory of timed automata, and their role in specification and verification of real-time systems.

Statecharts: A Visual Formalism For Complex Systems

by David Harel , 1987
"... We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the specification and design of complex discrete-event systems, such as multi-computer real-time systems, communication protocols and digital control units. Our diagrams, which we cal ..."
Abstract - Cited by 2704 (56 self) - Add to MetaCart
We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the specification and design of complex discrete-event systems, such as multi-computer real-time systems, communication protocols and digital control units. Our diagrams, which we

Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems

by Joseph Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt , 1992
"... Ptolemy is an environment for simulation and prototyping of heterogeneous systems. It uses modern object-oriented software technology (C++) to model each subsystem in a natural and efficient manner, and to integrate these subsystems into a whole. Ptolemy encompasses practically all aspects of design ..."
Abstract - Cited by 571 (89 self) - Add to MetaCart
of designing signal processing and communications systems, ranging from algorithms and communication strategies, simulation, hardware and software design, parallel computing, and generating real-time prototypes. To accommodate this breadth, Ptolemy must support a plethora of widely-differing design styles

Rapid object detection using a boosted cascade of simple features

by Paul Viola, Michael Jones - ACCEPTED CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION 2001 , 2001
"... This paper describes a machine learning approach for visual object detection which is capable of processing images extremely rapidly and achieving high detection rates. This work is distinguished by three key contributions. The first is the introduction of a new image representation called the " ..."
Abstract - Cited by 3283 (9 self) - Add to MetaCart
which unlike previous approaches provides statistical guarantees that discarded regions are unlikely to contain the object of interest. In the domain of face detection the system yields detection rates comparable to the best previous systems. Used in real-time applications, the detector runs at 15

Space-time block codes from orthogonal designs

by Vahid Tarokh, Hamid Jafarkhani, A. R. Calderbank - IEEE Trans. Inform. Theory , 1999
"... Abstract — We introduce space–time block coding, a new paradigm for communication over Rayleigh fading channels using multiple transmit antennas. Data is encoded using a space–time block code and the encoded data is split into � streams which are simultaneously transmitted using � transmit antennas. ..."
Abstract - Cited by 1524 (42 self) - Add to MetaCart
space–time block codes for both real and complex constellations for any number of transmit antennas. These codes achieve the maximum possible transmission rate for any number of transmit antennas using any arbitrary real constellation such as PAM. For an arbitrary complex constellation such as PSK
Results 1 - 10 of 19,230