1206 search results - page 68 / 242 » Concurrent Abstract Predicates |
103
click to vote
ISCIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of...
92
Voted
CONCURRENCY
2010
15 years 20 days ago
2010
Abstract. We introduce a distributed high performance hybrid Information Service Architecture, which forms a metadata replica hosting system to manage both highlydynamic, small-sca...
121
click to vote
CONCURRENCY
2008
15 years 4 days ago
2008
ce that allows navigation from an abstract model of the experiment to instance data collected during a specific experiment run. We outline modest extensions to a commercial workflo...
103
click to vote
MEMOCODE
2008
IEEE
15 years 7 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
131
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...