Search
Now showing items 1-5 of 5
TBSM : a task-based specification methodology for expert systems
(1993)
There has been an increasing interest in improving the quality and reliability of artificial intelligence systems. As a result, several methodologies for specifying expert systems have been proposed. However, these approaches ...
A generalized utilization bound test for fixed-priority real-time scheduling
(1993)
Liu & Layland provided a utilization bound test which is applicable to rate-monotonic priority assignment, when all tasks deadlines axe at the end of their periods. Subsequently, Lehoczky and others provided an exact ...
Validation and verification of Finite State Machines
(1993)
This dissertation presents several new results for automatically generating conformance test sequences for communication protocols by means of Unique Input/Output (UIO) sequences based on Finite State Machine (FSM). UIO ...
Combinatorial aspects of point visibility
(1993)
This dissertation is concerned with the combinatorics of visibility graphs of simple polygons. We seek to obtain combinatorial properties that characterize such visibility graphs. A key algorithmic problem that arises in ...
Image synthesis with adaptive cone tracing
(1993)
Ray tracing is a simple, yet powerful, image synthesis technique that can produce realistic images. Unfortunately, ray tracing creates several artifacts because of the mathematical properties of a ray. A new technique ...