2227 search results - page 100 / 446 » Reversibility and Models for Concurrency |
153
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
We describe a formal verification of a recent concurrent list-based set algorithm due to Heller et al. The algorithm is optimistic: the add and remove operations traverse the list ...
139
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
187
click to vote
AIA
2006
15 years 7 months ago
2006
A system based on a neural network framework is considered. We used two neural networks, an Elman network [1][2] and a Kohonen (concurrent) network [3], for a categorization task....
141
Voted
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 ...
139
click to vote
PDPTA
2003
15 years 7 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...