73 search results - page 8 / 15 » Concurrency Annotations |
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
PPDP
2001
Springer
14 years 4 days ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
ECOOP
2010
Springer
14 years 16 days ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
BMCBI
2008
13 years 7 months ago
2008
Background: Sequences and structures provide valuable complementary information on protein features and functions. However, it is not always straightforward for users to gather in...