Sciweavers

2227 search results - page 1 / 446
» Reversibility and Models for Concurrency
Sort
View
93
Voted
ENTCS
2007
111views more  ENTCS 2007»
15 years 1 months ago
Reversibility and Models for Concurrency
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
Iain Phillips, Irek Ulidowski
86
Voted
ENTCS
2007
104views more  ENTCS 2007»
15 years 1 months ago
General Reversibility
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
Vincent Danos, Jean Krivine, Pawel Sobocinski
94
Voted
CONCURRENCY
2006
99views more  CONCURRENCY 2006»
15 years 1 months ago
Trust-based probabilistic search with the view model of peer-to-peer networks
Hai Zhuge, Xue Chen, Xiaoping Sun
79
Voted
CONCURRENCY
2004
84views more  CONCURRENCY 2004»
15 years 29 days ago
A model for parallel job scheduling on dynamical computer Grids
Alfredo Goldman, Carlos Queiroz
100
Voted
CONCURRENCY
2004
76views more  CONCURRENCY 2004»
15 years 29 days ago
Resource Space Grid: model, method and platform
Hai Zhuge