4400 search results - page 396 / 880 » A proposal for parallel self-adjusting computation |
205
click to vote
JLP
2007
15 years 7 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
212
click to vote
SPAA
1997
ACM
15 years 12 months ago
1997
ACM
- Partitioning unstructured graphs is central to the parallel solution of computational science and engineering problems. Spectral partitioners, such recursive spectral bisection (...
159
click to vote
ASAP
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper, we present a hardware solution to perform non cache-line aligned memory copies allowing the commonly used memcpy function to cope with word copies. The main purpose...
171
click to vote
HPCC
2005
Springer
16 years 1 months ago
2005
Springer
This paper proposes a new parity space approach to a fault detection for general systems with noises, actuator faults and sensor faults. The proposed parity space approach could be...
213
click to vote
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
In this work we propose a scanline optimization procedure for computational stereo using a linear smoothness cost model performed by programmable graphics hardware. The main idea ...