Sciweavers

1204 search results - page 59 / 241
» Parallel concurrent ML
Sort
View
TCS
2002
15 years 4 months ago
A truly concurrent semantics for a process algebra using resource pomsets
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
Paul Gastin, Michael W. Mislove
PODC
2011
ACM
14 years 7 months ago
Scalability versus semantics of concurrent FIFO queues
Maintaining data structure semantics of concurrent queues such as first-in first-out (FIFO) ordering requires expensive synchronization mechanisms which limit scalability. Howev...
Hannes Payer, Harald Röck, Christoph M. Kirsc...
ERLANG
2006
ACM
15 years 10 months ago
Concurrent caching
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
Jay Nelson
CONCUR
2003
Springer
15 years 9 months ago
Distributed Monitoring of Concurrent and Asynchronous Systems
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
Albert Benveniste, Stefan Haar, Eric Fabre, Claude...
ISCIS
2003
Springer
15 years 9 months ago
Gene Level Concurrency in Genetic Algorithms
This study describes an alternative concurrency approach in genetic algorithms. Inspiring from implicit parallelism in a physical chromosome, a vertical concurrency is introduced. ...
Onur Tolga Sehitoglu, Göktürk Ü&cce...