5180 search results - page 97 / 1036 » Concurrency, Time, and Constraints |
130
click to vote
DEXAW
1997
IEEE
15 years 10 months ago
1997
IEEE
Existing concurrency control algorithms do not well conform to various environments, in the performance perspective. Each algorithm has some assumption on the conflict characteris...
150
click to vote
WSCG
2001
15 years 7 months ago
2001
In this paper we will be describing a new animation architecture and its implementation in our system LIVE. This model introduces a new blending layer approach which uses several ...
175
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
165
click to vote
JOC
2008
15 years 6 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
170
click to vote
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.