2227 search results - page 24 / 446 » Reversibility and Models for Concurrency |
IJCSA
2007
13 years 9 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
FCSC
2010
13 years 7 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
ENTCS
2006
13 years 10 months ago
2006
The -calculus is destructive: its main computational mechanism
TWC
2008
13 years 9 months ago
2008
In this paper, we work on maximizing the capacity of the reverse link of a CDMA wireless network. Oh and Soong [1] presented an information
WCRE
2002
IEEE
14 years 2 months ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...