1404 search results - page 32 / 281 » Increasing Concurrency in Databases Using Program Analysis |
210
click to vote
CONCUR
2011
Springer
14 years 2 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
143
Voted
EUROMICRO
2000
IEEE
15 years 6 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...
121
click to vote
APCSAC
2003
IEEE
15 years 5 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...
110
click to vote
COORDINATION
2004
Springer
15 years 7 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
116
Voted
ENTCS
2006
15 years 2 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...