20 search results - page 2 / 4 » A Fully Abstract May Testing Semantics for Concurrent Object... |
CONCUR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
FM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
IPPS
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Software transactional memory (STM) algorithms often rely on centralized components to achieve atomicity, isolation and consistency. In a distributed setting, centralized...
APCSAC
2003
IEEE
13 years 8 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...
ROOM
2000
13 years 6 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...