465 search results - page 93 / 93 » LCM: Memory System Support for Parallel Language Implementat... |
SI3D
2003
ACM
13 years 10 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...
MIDDLEWARE
2004
Springer
13 years 10 months ago
2004
Springer
The need for sharing is well known in a large number of distributed applications. These applications are difficult to develop either for fully wired or mobile wireless networks. ...
TOMACS
1998
13 years 4 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
CODES
2009
IEEE
13 years 9 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...