3218 search results - page 461 / 644 » Timed Extensions for SDL |
158
click to vote
ICLP
1997
Springer
15 years 10 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
173
click to vote
MM
1996
ACM
15 years 10 months ago
1996
ACM
We present a framework for integrated scheduling of continuous media (CM) and other applications. The framework, called ARC scheduling, consists of a rate-controlled on-line CPU sc...
151
click to vote
SAC
1996
ACM
15 years 10 months ago
1996
ACM
Gaining the code re-use advantages of object oriented programming requires dynamic function binding, which allows a new subclass to override a function of a superclass. Dynamic bi...
148
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
We present a simple method for rendering directly from compressed textures in hardware and software rendering systems. Textures are compressed using a vector quantization (VQ) met...
155
click to vote
MMB
1997
Springer
15 years 10 months ago
1997
Springer
The performance of current transaction processing systems largely depends on human experts for administration and tuning. These experts have to specify a multitude of internal con...