3307 search results - page 202 / 662 » The meaning of concurrent programs |
167
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Standard concurrency control mechanisms offer a trade-off: Transactional memory approaches maximize concurrency, but suffer high overheads and cost for retrying in the case of act...
143
click to vote
CACM
2010
15 years 4 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
145
Voted
CMMR
2005
Springer
15 years 6 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
127
click to vote
ISCAPDCS
2001
15 years 5 months ago
2001
The problem addressed in this paper deals with data sharing as a means to cooperate. Our main focus is on transactional mechanisms to manage concurrent accesses to (partially) sha...
113
click to vote
ECEASST
2008
15 years 4 months ago
2008
Abstract: A triangulated network of mobile units is modelled by means of a graph transformation system in which graph nodes are labelled with geometric coordinates and edges are la...