163 search results - page 14 / 33 » Shared Memory Implementations of Synchronous Dataflow Specif... |
105
click to vote
EUROPAR
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
80
Voted
PPOPP
2009
ACM
16 years 5 days ago
2009
ACM
Transactional Memory (TM) is being studied widely as a new technique for synchronizing concurrent accesses to shared memory data structures for use in multi-core systems. Much of ...
95
Voted
DAC
1999
ACM
16 years 18 days ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
170
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
94
Voted
IEEEPACT
2003
IEEE
15 years 4 months ago
2003
IEEE
Shared memory multiprocessor systems typically provide a set of hardware primitives in order to support synchronization. Generally, they provide single-word read-modify-write hard...