1580 search results - page 194 / 316 » Non-Interference Through Determinism |
ISCC
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper, we present a novel approach for realizing adaptive QoS control in the Internet called the adaptive load service (ALS). ALS was designed in a similar fashion to the ...
IWPC
2000
IEEE
14 years 2 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
VISUALIZATION
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes a novel rendering technique for special relativistic visualization. It is an image-based method which allows to render high speed flights through real-world ...
VTS
2000
IEEE
14 years 2 months ago
2000
IEEE
1 This paper addresses the problem of testing path delay faults in a microprocessor using instructions. It is observed that a structurally testable path (i.e., a path testable thro...
IUI
2000
ACM
14 years 2 months ago
2000
ACM
Attentive systems pay attention to what users do so that they can attend to what users need. Such systems track user behavior, model user interests, and anticipate user desires an...