1492 search results - page 101 / 299 » Concurrent programming in VISO |
IWMM
2004
Springer
15 years 5 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 ...
110
Voted
TAPSOFT
1995
Springer
15 years 4 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...
123
Voted
EUROMICRO
2000
IEEE
15 years 4 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...
111
Voted
APCSAC
2003
IEEE
15 years 4 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...
96
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...