Sciweavers

2227 search results - page 1 / 446
» Reversibility and Models for Concurrency
Sort
View
89
Voted
ENTCS
2007
111views more  ENTCS 2007»
15 years 11 days 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
83
Voted
ENTCS
2007
104views more  ENTCS 2007»
15 years 11 days 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
92
Voted
CONCURRENCY
2006
99views more  CONCURRENCY 2006»
15 years 14 days ago
Trust-based probabilistic search with the view model of peer-to-peer networks
Hai Zhuge, Xue Chen, Xiaoping Sun
77
Voted
CONCURRENCY
2004
84views more  CONCURRENCY 2004»
15 years 8 days ago
A model for parallel job scheduling on dynamical computer Grids
Alfredo Goldman, Carlos Queiroz
92
Voted
CONCURRENCY
2004
76views more  CONCURRENCY 2004»
15 years 8 days ago
Resource Space Grid: model, method and platform
Hai Zhuge