5639 search results - page 588 / 1128 » Timed Abstract Non-interference |
196
click to vote
ASYNC
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
139
click to vote
OHS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The OHSWG has by now moved from specifications to running code. This is an important step, not only because this is the only way of maturing the specifications, but also ...
136
click to vote
PATAT
2000
Springer
15 years 10 months ago
2000
Springer
The concept of a hyperheuristic is introduced as an approach rates at a higher lever of abstraction than current metaheuristic approaches. The hyperheuristic manages the choice of ...
151
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Wavelet radiosity is, by its nature, restricted to parallelograms or triangles. This paper presents an innovative technique enabling wavelet radiosity computations on pla...
157
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we show how Metropolis Light Transport can be extended both in the underlying theoretical framework and the algorithmic implementation to incorporate volume...