3872 search results - page 486 / 775 » The Java memory model |
210
click to vote
HASKELL
2009
ACM
16 years 28 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
207
Voted
PADS
2003
ACM
15 years 11 months ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...
150
click to vote
ICPP
1994
IEEE
15 years 10 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
159
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
While technology advances have made MPSoCs a standard architecture for embedded systems, their applicability is increasingly being challenged by dramatic increases in the amount o...
164
click to vote
CONCUR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...