1724 search results - page 70 / 345 » Models for Concurrency |
109
click to vote
ICESS
2007
Springer
15 years 9 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
114
click to vote
CAV
2006
Springer
15 years 6 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 ...
114
click to vote
FOSSACS
2008
Springer
15 years 4 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...
149
click to vote
AIA
2006
15 years 4 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....
102
click to vote
WSCG
2001
15 years 4 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 ...