Sciweavers

5171 search results - page 652 / 1035
» Deterministic Parallel Processing
Sort
View
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
ERLANG
2006
ACM
16 years 1 months ago
Concurrent caching
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
Jay Nelson
ASAP
2005
IEEE
112views Hardware» more  ASAP 2005»
16 years 1 months ago
The Midlifekicker Microarchitecture Evaluation Metric
We introduce the midlifekicker metric for evaluating microarchitectures mostly during the design process. We assume a microarchitecture designed at a time T-1 and estimate if a ne...
Stamatis Vassiliadis, Leonel Sousa, Georgi Gaydadj...