Sciweavers

3575 search results - page 1 / 715
» Modeling Concurrency with Geometry
Sort
View
72
Voted
POPL
1991
ACM
15 years 4 months ago
Modeling Concurrency with Geometry
Vaughan R. Pratt
105
Voted
ENTCS
2010
113views more  ENTCS 2010»
15 years 18 days ago
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
Dan R. Ghica, Alex Smith
93
Voted
CONCURRENCY
2006
99views more  CONCURRENCY 2006»
15 years 17 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 12 days ago
A model for parallel job scheduling on dynamical computer Grids
Alfredo Goldman, Carlos Queiroz
95
Voted
CONCURRENCY
2004
76views more  CONCURRENCY 2004»
15 years 12 days ago
Resource Space Grid: model, method and platform
Hai Zhuge