Searching for "What's Real in "Real-Time Control Systems"? - Applying Formal Verification Methods and Real-Time Rule-Based Systems to Control Systems and Robotics." – sorted by Relevance.
621,824 documents found, showing 1 through 10.
Next 10 →
-
Real-time Graphics
- … Supercomputer Centre Contents Real-time graphics What is it? Hardware Software Performance Issues…
- Add To MetaCart
-
Real-Time Databases
- … vehicle's evasive action, determined based on a transaction retrieving environmental data from the real-time…
- Add To MetaCart
-
Taxonomy of Real-Time Scheduling
- …. Abstract In real-time systems, the basic criteria are to satisfy both timeliness and correctness of real-time…
- Add To MetaCart
-
Issues in the Design and Implementation of RealTime Java
- … of Real-Time Java duced the Java programming language environment. Since formal announcement of Java…
- Cited by 26 (1 self) – Add To MetaCart
-
Specification of Real-Time Interaction Constraints
- … is accompanied by a formal semantics that precisely defines what real-time constraints means, and what…
- Cited by 3 (0 self) – Add To MetaCart
-
Real-time Systems
- …Objectives ffl To define what is meant by a `real-time system' ffl To discuss why traditional…
- Add To MetaCart
-
Real-Time Imaging] (]]]])]]]–]]]
- …Real-Time Imaging ] (]]]]) ]]]–]]] Real-time scheduling based on imprecise computation…
- Add To MetaCart
-
Real-Time Databases
- … Typically, a real--time system consists of a a controlling system and a controlled system. For example…
- Cited by 181 (13 self) – Add To MetaCart
-
Misconceptions About Real-Time Databases
- … that must support real-time characteristics (such as the air traffic control system). Unfortunately, many…
- Cited by 32 (11 self) – Add To MetaCart
-
Real-Time Systems
- … in automobiles with the metropolitan real-time traffic-management systems that perform traffic-control…
- Cited by 49 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
