2137 search results - page 330 / 428 » Proving Abstract Non-interference |
108
click to vote
RT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Photo-realistic rendering algorithms such as Monte Carlo ray tracing sample individual paths to compute images. Noise and aliasing artefacts are usually reduced by supers...
SAS
2001
Springer
15 years 5 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
153
click to vote
HPCA
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract—Sharing patterns in shared-memory multiprocessors are the key to performance: uniprocessor latencytolerating techniques such as out-of-order execution and non-blocking c...
163
click to vote
NDSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract. Chameleon signatures simultaneously provide the properties of nonrepudiation and non-transferability for the signed message. However, the initial constructions of chamele...
123
click to vote
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...