1816 search results - page 183 / 364 » Trace oblivious computation |
CONCUR
2006
Springer
14 years 23 days ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
EDCC
2006
Springer
14 years 21 days ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
CGI
2001
IEEE
14 years 21 days ago
2001
IEEE
We present a hardware-accelerated method for rendering high quality, antialiased shadows using the shadow map approach. Instead of relying on dedicated hardware support for shadow...
HPCN
1995
Springer
14 years 18 days ago
1995
Springer
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
SPIEVIP
2010
13 years 11 months ago
2010
An important aspect of spectral image analysis is identification of materials present in the object or scene being imaged. Enabling technologies include image enhancement, segment...