7393 search results - page 1447 / 1479 » Synthesis-for-testability using transformations |
GROUP
2003
ACM
15 years 2 months ago
2003
ACM
This paper presents a study of an organisation, which is undergoing a process transforming organisational and technological boundaries. In particular, we shall look at three kinds...
PPOPP
2003
ACM
15 years 2 months ago
2003
ACM
In an intelligent memory architecture, the main memory of a computer is enhanced with many simple processors. The result is a highly-parallel, heterogeneous machine that is able t...
113
click to vote
SI3D
2003
ACM
15 years 2 months ago
2003
ACM
This paper describes shear-image order ray casting, a new method for volume rendering. This method renders sampled data in three dimensions with image quality equivalent to the be...
SIGSOFT
2003
ACM
15 years 2 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
ESOP
2003
Springer
15 years 2 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...