Sciweavers

1259 search results - page 71 / 252
» Operating System Support for Shared Memory Clusters
Sort
View
MICRO
2010
IEEE
215views Hardware» more  MICRO 2010»
13 years 7 months ago
A Task-Centric Memory Model for Scalable Accelerator Architectures
This paper presents a task-centric memory model for 1000-core compute accelerators. Visual computing applications are emerging as an important class of workloads that can exploit ...
John H. Kelm, Daniel R. Johnson, Steven S. Lumetta...
PDP
2002
IEEE
14 years 1 months ago
A Parametrized Algorithm that Implements Sequential, Causal, and Cache Memory Consistency
In this paper we present an algorithm that can be used to implement sequential, causal, or cache consistency in distributed shared memory (DSM) systems. For this purpose it has a ...
Ernesto Jiménez, Antonio Fernández, ...
CAV
2007
Springer
164views Hardware» more  CAV 2007»
14 years 25 days ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
KES
2005
Springer
14 years 2 months ago
Sustainable Memory System Using Global and Conical Spaces
: We present a concept and implementation of a computational support for spatial memory management and describe its temporal evolution. Our essential idea is to use an immersible g...
Hidekazu Kubota, Satoshi Nomura, Yasuyuki Sumi, To...
IPPS
2002
IEEE
14 years 1 months ago
Compile/Run-Time Support for Thread Migration
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
Hai Jiang, Vipin Chaudhary