Sciweavers

8953 search results - page 1206 / 1791
» Parallel Query Processing
Sort
View
ICC
2007
IEEE
16 years 1 months ago
Orthogonal En/Decoders for Truly Asynchronous Spectral Amplitude Encoded OCDMA
— In this paper, theoretical results are presented on the modular construction of tree and cascade encoders/decoders of any size for truly asynchronous and orthogonal spectral am...
Bas Huiszoon, Laurens Bakker, Huug de Waardt, Giok...
ARC
2007
Springer
119views Hardware» more  ARC 2007»
16 years 1 months ago
Authentication of FPGA Bitstreams: Why and How
Abstract. Encryption of volatile FPGA bitstreams provides confidentiality to the design but does not ensure its authenticity. This paper motivates the need for adding authenticati...
Saar Drimer
EUROPAR
2007
Springer
16 years 1 months ago
On Detecting Termination in the Crash-Recovery Model
We investigate the problem of detecting termination of a distributed computation in an asynchronous message-passing system where processes may crash and recover. We show that it is...
Felix C. Freiling, Matthias Majuntke, Neeraj Mitta...
ISVLSI
2006
IEEE
82views VLSI» more  ISVLSI 2006»
16 years 1 months ago
Optimal Periodical Memory Allocation for Logic-in-Memory Image Processors
One major issue in designing image processors is to design a memory system that supports parallel access with a simple interconnection network. This paper presents a design method...
Masanori Hariyama, Michitaka Kameyama, Yasuhiro Ko...
LICS
2006
IEEE
16 years 1 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
« Prev « First page 1206 / 1791 Last » Next »