124 search results - page 9 / 25 » Distributed Monitoring of Concurrent and Asynchronous System... |
CASES
2004
ACM
14 years 5 days ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...
TPPP
1994
14 years 15 days ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
PODC
1990
ACM
14 years 14 days ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
ISSTA
2009
ACM
14 years 1 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...