2302 search results - page 113 / 461 » The Evolution of Concurrent Programs |
141
click to vote
IWMM
2004
Springer
15 years 11 months ago
2004
Springer
Concurrent garbage collectors require write barriers to preserve consistency, but these barriers impose significant direct and indirect costs. While there has been a lot of work ...
179
click to vote
TAPSOFT
1995
Springer
15 years 9 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
197
click to vote
ESOP
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
189
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
172
click to vote
APCSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...